Efficient Monitoring of Embedded Real-Time Systems

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.