Formal Modeling and Verification of Safety-Critical Software

Rigorous quality demonstration is important when developing safety-critical software such as a reactor protection system (RPS) for a nuclear power plant. Although using formal methods such as formal modeling and verification is strongly recommended, domain experts often reject formal methods for fou...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE software Vol. 26; no. 3; pp. 42 - 49
Main Authors:	Yoo, Junbeom, Jee, Eunkyoung, Cha, Sungdeok (Steve)
Format:	Journal Article
Language:	English
Published:	Los Alamitos IEEE 01.05.2009 IEEE Computer Society
Subjects:	Automation Computer aided software engineering Computer programs Control systems Embedded software Failure analysis Formal method formal methods Formalism function block diagram (FBD) Language Logic testing modeling Nuclear engineering Nuclear power generation Nuclear power plants Nuclear reactors Product development Program verification (computers) Programmable control Protection systems Requirements analysis Safety management safety-critical software Semantics Software Software development Software engineering Software safety Software testing Software tools Subject specialists US Department of Transportation verification United States > US
ISSN:	0740-7459, 1937-4194
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!