DocumentCode :
1613910
Title :
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 :
conf
DOI :
10.1109/DSN.2003.1209972
Filename :
1209972
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1613910
