Identifying Safety-Critical Requirement Defects Using a Tool-Based, Iterative Process

Keywords Identifying Safety-Critical Requirement Defects Using a Tool-Based Iterative Process
Standards groups

This work can help eliminate safety-critical
hazards by providing a way to assist in deriving
improved system requirements. This paper
demonstrated a safety-centered process to refine
requirements written in natural language into a more
accurate and detailed specification of system
requirements. A simple requirements model of a safetycritical
coal mine methane-monitoring subsystem was
introduced and used to illustrate the approach. It did
this through an iterative verification and validation of a
prototype specified in SpecTRM. Further work is
planned to address environment-model interaction for
improved dynamic evaluation of the prototype. A
human control component also needs to be introduced
into the model.

Date published
Defines standard
Replaced/Superseded by document(s)
Cancelled by
Amended by
File MIME type Size (KB) Language Download
Paper Safety-Critical Requirement Defects CMMMCS.pdf application/pdf   54.67 KB English DOWNLOAD!
File attachments
Visit also