Welcome to our new site version. Your web page bookmarks may have changed, please search for pages by title to update them. Having problems ? Please try clearing your web browser cache and hard-reloading your web page first before contacting our webmaster.

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

[document] Submitted on 15 August, 2019 - 09:17
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