DocumentCode :
2863189
Title :
Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing Systems
Author :
Kim, K.H.
Author_Institution :
University of California at Irvine
fYear :
2003
fDate :
01-03 Oct. 2003
Firstpage :
307
Lastpage :
307
Abstract :
Techniques for systematic derivation of tight service time bounds of subsystems of distributed real-time embedded computing systems, are a key for enabling practical and highly meaningful certification of timeliness of systems, which is the most challenging part of the reliability certification process. An approach which uses a hybrid of measurement-based statistical derivation approaches and worst-case analysis approaches in deriving tight service time bounds, is proposed. The use of this hybrid approach together with a divide-and-conquer strategy in deriving the service time bounds of complex systems, is also proposed. Major research issues that need to be resolved before the hybrid approach can be practiced are mentioned.
Keywords :
TMO; analytical derivation; certification; embedded computing; guarantee; hybrid approach; object; real time; service time bound; soft-firm bound; statistical derivation; timeliness; Certification; Conferences; Programming; Real time systems; Reliability; Servers; Time measurement; TMO; analytical derivation; certification; embedded computing; guarantee; hybrid approach; object; real time; service time bound; soft-firm bound; statistical derivation; timeliness;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Object-Oriented Real-Time Dependable Systems, 2003. WORDS 2003 Fall. The Ninth IEEE International Workshop on
Print_ISBN :
0-1795-2054-5
Type :
conf
DOI :
10.1109/WORDS.2003.1267544
Filename :
1410977
Link To Document :
بازگشت