The authors report on a formal requirements analysis experiment involving an avionics control system. They describe a method for specifying and verifying real-time systems with PVS. The experiment involves the formalization of the functional and safety requirements of the avionics system as well as its multilevel verification. First level verification demonstrates the consistency of the specifications whilst the second level shows that certain system safety properties are satisfied by the specification. They critically analyze methodological issues of large scale verification and propose some practical ways of structuring verification activities for optimizing the benefits.
Formal requirements analysis of an avionics control system
Formale Anforderungsanalyse eines Avionik-Regelungssystems
IEEE Transactions on Software Engineering ; 23 , 5 ; 267-278
1997
12 Seiten, 28 Quellen
Article (Journal)
English
formale Spezifikation , formale Sprache , Echtzeitbetrieb , Prozessdatenverarbeitung , Programmverifikation , Programmzuverlässigkeit , Avionik , Flugregelung , Sicherheitssystem , Sicherheit , Software-Qualität , Programmprüfung , militärisches Gerät , Luftwaffe , Flugzeug , Systemanalyse , Regelungssystem , Software-Engineering , formale Überprüfung , Militärflugzeug
Packaging requirements (avionics)
Tema Archive | 1990
|Future Space Transportation System Architecture: Avionics Requirements
British Library Conference Proceedings | 1994
|