DocumentCode
388768
Title
Constructing high assurance asynchronous real-time distributed systems: a proof-based system engineering approach
Author
Ravindran, Binoy ; Lann, Gérard Le ; Li, Peng
Author_Institution
Bradley Dept. of Electr. & Comput. Eng., Virginia Polytech. Inst. & State Univ., Blacksburg, VA, USA
fYear
2002
fDate
2002
Firstpage
89
Lastpage
90
Abstract
Asynchronous real-time distributed systems raise fundamental issues of how to build timely systems that operate in the presence of uncertain timeliness, and furthermore, how to certify that such systems will deliver properties including timeliness and safety. In this paper, we discuss an approach for constructing certifiable asynchronous real-time distributed systems.
Keywords
certification; distributed processing; formal verification; real-time systems; software quality; software reliability; asynchronous distributed systems; certifiable systems; high assurance systems; proof-based system engineering; real-time systems; safety; timeliness; Certification; Computational modeling; Detectors; Distributed computing; Real time systems; Safety; Systems engineering and theory; Timing; Uncertainty; Upper bound;
fLanguage
English
Publisher
ieee
Conference_Titel
High Assurance Systems Engineering, 2002. Proceedings. 7th IEEE International Symposium on
ISSN
1530-2059
Print_ISBN
0-7695-1769-2
Type
conf
DOI
10.1109/HASE.2002.1173108
Filename
1173108
Link To Document