The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (1997 vol.23)
pp: 267-278
ABSTRACT
<p><b>Abstract</b>—We report on a formal requirements analysis experiment involving an avionics control system. We 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. We critically analyze methodological issues of large scale verification and propose some practical ways of structuring verification activities for optimizing the benefits.</p>
INDEX TERMS
Formal specification, formal verification, safety critical systems, requirements analysis, avionics systems.
CITATION
Bruno Dutertre, Victoria Stavridou, "Formal Requirements Analysis of an Avionics Control System", IEEE Transactions on Software Engineering, vol.23, no. 5, pp. 267-278, May 1997, doi:10.1109/32.588520
33 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool