An abstract interpretation-based timing validation of hard real-time avionics software

Author

Thesing, Stephan ; Souyris, Jean ; Heckmann, Reinhold ; Randimbivololona, Famantanantsoa ; Langenbach, Marc ; Wilhelm, Reinhard ; Ferdinand, Christian

Author_Institution

Universitat des Saarlandes

fYear

2003

Firstpage

625

Lastpage

632

Keywords

Aerospace control; Aerospace electronics; Application software; Hardware; History; Pipelines; Real time systems; Safety; Timing; Upper bound;

fLanguage

English

Publisher

ieee

Conference_Titel

Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on

Print_ISBN

0-7695-1952-0

Type

DOI

10.1109/DSN.2003.1209972

Filename

1209972

Link To Document