Experimental assessment of Astrée on safety-critical avionics software

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4680 LNCS, Issue , 2007, Pages 479-490

  Souyris, Jean ^a   Delmas, David ^a  

^a AIRBUS   (France)

Author keywords

Abstract interpretation; Astr e; Avionics software; Run time errors; Safety; Static analysis; Verification

Indexed keywords

ABSTRACTING; COMPUTER SOFTWARE; VERIFICATION;

ABSTRACT INTERPRETATION; AVIONICS SOFTWARE; STATIC ANALYSERS;

AVIONICS;

EID: 38149118086     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75101-4_45     Document Type: Conference Paper

References (7)

1. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Proc. ACM SIGPLAN'2003 Conf. PLDI, San Diego, CA, US, 7-14 June 2003, pp. 196-207. ACM Press, New York (2003)
2. Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: The ASTRE'E analyser. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 21-30. Springer, Heidelberg (2005)
3. Cousot, P.: Interprétation abstraite. Technique et Science Informatique 19(1-2-3), 155-164 (2000)
4. Cousot, P.: Abstract Interpretation Based Formal Methods and Future Challenges. In: Wilhelm, R. (ed.) Informatics. LNCS, vol. 2000, pp. 138-156. Springer, Heidelberg (2001)
5. Cousot, P., Cousot, R.: Basic Concepts of Abstract Interpretation. In: Jacquard, R. (ed.) Building the Information Society, pp. 359-366. Kluwer Academic Publishers, Dordrecht (2004)
6. Souyris, J., Le Pavee, E., Himbert, G., Jégu, V., Borios, G., Heckmann, R.: Computing the worst case execution time of an avionics program by abstract interpretation. In: Proceedings of the 5th Intl Workshop on Worst-Case Execution Time (WCET) Analysis, pp. 21-24 (2005)
7. Goubault, E., Martel, M., Putot, S.: Static Analysis-Based Validation of Floating-Point Computations. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Numerical Software with Result Verification. LNCS, vol. 2991, pp. 306-313. Springer, Heidelberg (2004)