Qualitative formal method for requirements specification and validation of hybrid real-time safety systems

J. S. Lee, S. D. Cha

Research output: Contribution to journalArticle

6 Citations (Scopus)

Abstract

The difficulties that engineers have in understanding and applying the quantitative methods in an abstract requirements phase are major obstructions in using formal methods for hybrid real-time safety systems. While formal methods technology in safety-critical systems can help increase confidence of software, the difficulty and complexity in using them can cause another hazard. The authors have proposed a framework for requirements engineering, called the qualitative formal method (QFM) for the specification and validation of hybrid real-time safety systems. The QFM emphasizes the idea of a causal and qualitative reasoning in formal methods to reduce the difficulty of specifying and validating the software requirements of hybrid safety systems. They use the qualitative formal languages, Compositional Modelling Language, and Causal Functional Representation Language in particular, to specify hybrid system dynamics and the required behaviour, respectively. The system behaviour has been simulated by the Device Modelling Environment, and validated against the required behaviour. Using the Shutdown System 2 of Wolsong nuclear power plants as a realistic example, they demonstrate the effectiveness of their approach.

Original languageEnglish
Pages (from-to)1-11
Number of pages11
JournalIEE Proceedings: Software
Volume147
Issue number1
DOIs
Publication statusPublished - 2000
Externally publishedYes

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design

Fingerprint Dive into the research topics of 'Qualitative formal method for requirements specification and validation of hybrid real-time safety systems'. Together they form a unique fingerprint.

  • Cite this