Title :
Efficient Monitoring of Embedded Real-Time Systems
Author_Institution :
Univ. Tecnol. Fed. do Parana (UTFPR), Curitiba
Abstract :
Verification of time constraints in embedded real-time systems is particularly hard due to resource restrictions on the target hardware and lack of methods and support tools. In an attempt to overcome this last limitation, a monitoring approach based on hybrid monitoring is proposed. This approach is a part of a project devoted to the verification of time constraints in embedded real-time systems..
Keywords :
embedded systems; program verification; embedded real-time systems; hybrid monitoring; real-time systems; resource restrictions; time constraints; Computer architecture; Computer displays; Computerized monitoring; Embedded system; Hardware; Instruments; Memory management; Real time systems; Time factors; Timing; Embedded Real-Time Systems; Execution time monitoring;
Conference_Titel :
Information Technology: New Generations, 2008. ITNG 2008. Fifth International Conference on
Conference_Location :
Las Vegas, NV
Print_ISBN :
0-7695-3099-0
DOI :
10.1109/ITNG.2008.118
