Design and Analysis of Reconfigurable Multi-view Embedded Systems

Workshop marking the end of the CASERM project
November 4, 2019 at IMAG (Auditorium, ground floor)

 

9:00 Welcome
9:30-10:30

CASERM
contributions

  • Introduction
    Sophie Quinton
  • Hypercells: Sharing and Encapsulation in Dynamic Software Architectures
    Jean-Bernard Stefani
10:30-11:00 Coffee break
11:00-12:30

CASERM
contributions

  • Saving Energy by Tuning Processor Speed in Real-Time Systems
    Stéphan Plassart, Alain Girault and Bruno Gaujal
  • A Coq-Based Proof Library for Real-Time Systems
    Pascal Fradet, Xiaojie Guo, Maxime Lesourd, Jean-François Monin, Sophie Quinton
12:30-14:00 Lunch break
14:00-15:30

Related work

  • A Verified Lustre Compiler in Coq 
    Timothy Bourke
  • Formal Proofs for Real-Time Networks
    Lucien Rakotomalala and Pierre Roux
15:00-15:30 Coffee break
15:30-16:15

Related work

  • Timing Contracts for Embedded Control Systems
    Antoine Girard
16:15-17:30
  • Open discussion
  • Group discussions about research perspectives
17:30 Closing

Comments are closed.