By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $31
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Lee, J.-S. ; Korea Adv. Inst. of Sci. & Technol., Taejon, South Korea ; Cha, S.D.

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 emphasises 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

Published in:

Software, IEE Proceedings -  (Volume:147 ,  Issue: 1 )