Time4Sys – Integrating Timing Verification in your Engineering Practices

Loïc Fejoz (1) , Lionel Havet (1) , Aurélien Didier (2) , Benoit Viaud (2) , Anh Toan Bui Long (3, 4) , Thanh Dat Nguyen (3, 4) , Yassine Ouhammou (3, 4) , Emmanuel Grolleau (3, 4) , Adriana Gogonel (5, 6) , Cristian Maxim (5, 6) , Liliana Cucu-Grosjean (6, 5) , Rafik Henia (7) , Laurent Rioux (7) , Nicolas Sordon (8) , Nicolas Ayache (8) , Joris Rehm (8)

1 RTaW - Realtime-at-Work
2 ARTAL Technologies
3 LIAS [Poitiers] - Laboratoire d'informatique et d'automatique pour les systèmes [EA 6315]
4 SETR - Systèmes Embarqués Temps Réel
5 KOPERNIC - Adapter le raisonnement pire cas à différentes criticités
6 AOSTE2 - Models and methods of analysis and optimization for systems with real-time and embedded contraints
7 Thales Research and Technology [Palaiseau]
8 ClearSy Systems Engineering

Domaines: Systèmes embarqués

Loïc Fejoz, Lionel Havet, Aurélien Didier, Benoit Viaud, Anh Toan Bui Long, et al.. Time4Sys – Integrating Timing Verification in your Engineering Practices. RTSS@Work 2018 - 39th IEEE Real-Time Systems Symposium Workshop, Dec 2018, Nashville, United States. , 2018. ⟨hal-01957504⟩