Title :
Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing Systems
Author_Institution :
University of California at Irvine
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;
Conference_Titel :
Object-Oriented Real-Time Dependable Systems, 2003. WORDS 2003 Fall. The Ninth IEEE International Workshop on
Print_ISBN :
0-1795-2054-5
DOI :
10.1109/WORDS.2003.1267544