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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE software Jg. 26; H. 3; S. 42 - 49
Hauptverfasser:	Yoo, Junbeom, Jee, Eunkyoung, Cha, Sungdeok (Steve)
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Los Alamitos IEEE 01.05.2009 IEEE Computer Society
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!