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

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.