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 |
