5, Jul, 2012 12:00-13:00 (1 hour)
Seminar Series 2012 - André PedroTowards runtime verification of timed constraints for real-time systems
CISTER, Porto, Portugal
Talk abstract: Real-time systems are systems where clearly the runtime verification is indispensable, not only due to the high complexity which make static approaches practically unfeasible, but also due to their high dependence of temporal constraints (e.g., models that becomes undecidable to check due to the time clock operations: addiction, subtraction by a constant, etc.). The research of techniques for such systems has been growing progressively along the past years due to high need of reliable and safe development alternatives to static approaches. However, the trend towards the research of new dynamic approaches has been higher for soft real-time systems rather than for hard real-time systems (i.e., focusing essentially on the functional aspects).
The talk presents briefly the underlying concepts of runtime verification and introduces the generation of monitors for a practical case study in Ada.
SPEAKERS BIO: 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 has concluded the Master's degree in Computer science engineering at Universidade do Minho, Braga with thesis "Learning and testing Stochastic discrete event systems". Now, he begin his PhD studies where must be highlighted the dynamic contracts for verification of real-time system properties. His research interests include: discrete event systems, real-time scheduling, and model-checking.
CISTER's main roles: