Presenter: Ismael SAMAYE

Abstract:
Timed systems are those that require adherence to physical time constraints to function correctly. This includes real-time embedded systems, communication protocols relying on synchronization, and transmission delay constraints. The standard formalism for describing these systems is that of timed automata, governed by variables known as clocks. These clocks progress in synchronization with time and condition transitions, with the ability to reset individually during transitions. We will use examples created with the UPPAAL STRATEGO system, as described in the seminar, to illustrate the formalism and methods of expressing properties to be verified. Finally, we will demonstrate how the formalism of timed automata is used to model a mini data center Genesis.

Date: December 12, 2023 from 2 to 4 pm (salle de séminiaires, LIRMM*)