Abstract
This paper presents two Abstract Interpretation-based static analysers used by Airbus on safety-critical avionics programs: aiT [Thesing et al., 2003], a Worst case Execution Time analyzer developed by AbsInt, and ASTRÉE [Blanchet et al., 2003], aiming at the proof of absence of Run Time Errors and developed by the École normale superieure.
Keywords
- Abstract Interpretation
- Worst Case Execution Time
- Run Time errors
- Product Based Assurance
Download conference paper PDF
References
Randimbivololona, F., Souyris, J., Baudin, P., Pacalet, A., Raguideau, J., and Schoen, D. (1999). Applying formal proof techniques to avionics software: A pragmatic approach. In Wing, J.M., Woodcock, J., and Davies, J., editors, Proceedings of the World Congress on Formal Methods in the Development of Computing Systems, FM’ 99, volume II of Toulouse, France, Lecture Notes in Computer Science 1709, pages 1798–1815. Springer.
Thesing, S., Souyris, J., Heckmann, R., Randimbivololona, F., Langenbach, M., Wilhelm, R., and Ferdinand, C. (2003). Abstract interpretation-based timing validation of hard real-time avionics software. In Proceedings of the International Conference on Dependable Systems and Networks (DSN2003), San Francisco, California, United States, pages 625–634. IEEE Computer Society Press, Los Alamitos, California.
Cousot, P. (2000). Interprétation abstraite. Technique et science informatique, 19(1-2-3): 155–164.
Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., and Rival, X. (2003). A static analyzer for large safety-critical software. In Proceedings of the ACM SIGPLAN’ 2003 Conference on Programming Language Design and Implementation (PLDI), pages 196–207, San Diego, California, United States. ACM Press.
Goubault, É., Mattel, M., and Putot, S. (2002). Asserting the precision of floating-point computations: A simple abstract interpreter. In Le Métayer, D., editor, Proceedings of the Eleventh European Symposium on Programming Languages and Systems, ESOP’ 2002, Grenoble, France, Lecture Notes in Computer Science 2305, pages 209–212. Springer.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this paper
Cite this paper
Souyris, J. (2004). Industrial Experience of Abstract Interpretation-Based Static Analyzers. In: Jacquart, R. (eds) Building the Information Society. IFIP International Federation for Information Processing, vol 156. Springer, Boston, MA. https://doi.org/10.1007/978-1-4020-8157-6_31
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8157-6_31
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8156-9
Online ISBN: 978-1-4020-8157-6
eBook Packages: Springer Book Archive