Abstract
The avionics domain and its environment are changing rapidly. Current engineering can hardly address the new verification problems. Orientations for the development of adequate enabling verification techniques are presented.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
RTCA-EUROCAE: DO-178B/ED-12B, Software considerations in airborne systems and equipment certification (1992)
C.A.R. Hoare: An axiomatic basis for computer programming, Comm ACM 12(10), pp. 567–580 (1969)
Patrick Cousot, Radhia Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, in: Proc. 4th ACM Symp. On Principles of Programming languages, pp. 238–252 (1977)
Patrick Cousot: Progress on Abstract Interpretation Based Formal Methods and Future Challenges in Reinhard Wilhelm (Ed.): Informatics: 10 Years Back-10 Years Ahead, Springer Verlag, LNCS 2000
Rustan M. Leino: Extended Static Checking: a Ten-Year Perspective in Reinhard Wilhelm (Ed.): Informatics: 10 Years Back-10 Years Ahead, Springer Verlag, LNCS 2000
Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith: Progress on the State Explosion Problem in Model Checking in Reinhard Wilhelm (Ed.): Informatics: 10 Years Back-10 Years Ahead, Springer Verlag, LNCS 2000
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Randimbivololona, F. (2001). Orientations in Verification Engineering of Avionics Software. In: Wilhelm, R. (eds) Informatics. Lecture Notes in Computer Science, vol 2000. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44577-3_9
Download citation
DOI: https://doi.org/10.1007/3-540-44577-3_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41635-7
Online ISBN: 978-3-540-44577-7
eBook Packages: Springer Book Archive