DocumentCode
3288526
Title
Efficient Monitoring of Embedded Real-Time Systems
Author
Cadamuro, J.
Author_Institution
Univ. Tecnol. Fed. do Parana (UTFPR), Curitiba
fYear
2008
fDate
7-9 April 2008
Firstpage
651
Lastpage
656
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Technology: New Generations, 2008. ITNG 2008. Fifth International Conference on
Conference_Location
Las Vegas, NV
Print_ISBN
0-7695-3099-0
Type
conf
DOI
10.1109/ITNG.2008.118
Filename
4492555
Link To Document