A case study in the analysis of safety requirements

Stuart Anderson, Glenn Bruns

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract / Description of output

We show how formal methods can be used to assist in developing requirements of a safety-critical system. The approach is to express the requirements in temporal logic, and then to develop a process model satisfying the requirements. The existence of such a model ensures the requirements are consistent, and also helps in their validation.
Original languageEnglish
Title of host publicationSafety of Computer Control Systems 1992 (Safecomp ' 92)
Number of pages7
Publication statusPublished - 1992

Publication series

NameIFAC Symposia Series

Keywords / Materials (for Non-textual outputs)

  • Safety
  • computer software
  • concurrency
  • temporal logic
  • formal methods


Dive into the research topics of 'A case study in the analysis of safety requirements'. Together they form a unique fingerprint.

Cite this