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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE software Ročník 26; číslo 3; s. 42 - 49
Hlavní autoři:	Yoo, Junbeom, Jee, Eunkyoung, Cha, Sungdeok (Steve)
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Los Alamitos IEEE 01.05.2009 IEEE Computer Society
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!