Seminar Series 2014 - André Pedro

Seminar Series 2014 - André Pedro

A Compositional Monitoring Framework for Hard Real-Time Systems
8, Jul, 2014 11:30-12:30 (1 hour)
CISTER, Porto, Portugal

Runtime Monitoring of hard real-time embedded systems is a promising technique for ensuring that a running system respects timing constraints, possibly combined with faults originated by the software and/or hardware. This is particularly important when we have real-time embedded systems made of several components that must combine different levels of criticality, and different levels of correctness requirements. The talk will introduce a compositional monitoring framework coupled with guarantees that include time isolation and the response time of a monitor for a predicted violation. The monitors are automatically generated by synthesizing logic formulas of a timed temporal logic, and their correctness is ensured by construction.

At CISTER's Facebook page

CISTER's main roles:
André Pedro

S101 Auditorium/Seminar Room
1st Floor