Industrial experience of Abstract Interpretation-based static analyzers

IFIP Advances in Information and Communication Technology

Volumn 156, Issue , 2004, Pages 393-400

  Souyris, Jean ^a  

^a AIRBUS   (France)

Author keywords

Abstract Interpretation; Product based assurance; Run time errors; Worst case execution time

Indexed keywords

MODEL CHECKING; SAFETY ENGINEERING;

ABSTRACT INTERPRETATION BASED STATIC ANALYZERS; ABSTRACT INTERPRETATIONS; INDUSTRIAL EXPERIENCE; PRODUCT BASED ASSURANCE; RUN-TIME ERRORS; WORST-CASE EXECUTION TIME;

ABSTRACTING;

EID: 84902492218     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-1-4020-8157-6_31     Document Type: Conference Paper

References (5)

1. 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.
2. 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 (DSN 2003), San Francisco, California, United States, pages 625-634. IEEE Computer Society Press, Los Alamitos, California.
3. Cousot, P. (2000). Interprétation abstraite. Technique et science informatique, 19(1-2-3): 155-164.
4. 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.
5. Goubault, É., Martel, 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.