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.

André Pedro was born in Covilhã, Portugal, in 1987. In 2009 he received his degree in Computer Science Engineering at Universidade da Beira Interior, Covilhã. In 2011 he concluded his Master's degree in Computer Science Engineering at Universidade do Minho, Braga with the thesis "Learning and testing Stochastic discrete event systems". Currently, he is doing his PhD on the dynamics of contracts for verification of Real-Time Systems properties at CISTER Research Unit.

CISTER's main roles:
André Pedro

S101 Auditorium/Seminar Room
1st Floor