Aus SDQ-Wiki
Zur Navigation springen Zur Suche springen
Datum 2019/01/16 11:15:00 – 2019/01/16 12:15:00
Ort Gebäude 50.34, Raum 348
Vortragende(r) Nico Kopp
Forschungsgruppe MDSD
Titel Verification of Safety
Autoren N.G.Leveson
URL https://doi.org/10.1016/S1474-6670(17)61779-8
Abstract Safety has often been equated with reliability and robustness. However, safety needs to be treated as a separate and important system quality. In this paper, software safety is distinguished from these other qualities and formally defined. The paper also examines the possibility of using three different verification approaches - state machines, temporal logic, and fault trees - to verify software safety.