Méthodes formelles

Thierry Jéron - Model-based conformance test generation for timed systems

Ocan Sankur - Contôle des systèmes temporisés

Frédéric Lang - Vérification de systèmes concurrents asynchrones par des méthodes compositionnelles

Travaux pratiques sur les outils

Frédéric Lang - CADP

François Vernadat - TINA

Etienne André - IMITATOR

Ordonnancement et supports d’exécution

Giuseppe Lipari - Real-Time scheduling from hard to soft real-time systems

Sébastien Faucou - Systèmes d'exploitation temps réel pour l'informatique embarquée

Eric Noulard - Real-time scheduling on multi/many-processor: from specification to real-time execution partie1  -  partie2

Frank Singhoff - Real Time Scheduling Analysis Lab, an example with Cheddar

Enjeux industriels

Jean-Baptiste Chaudron - TTEthernet: Theory, Concepts and Applications

Développement d’applications temps réel

Jean-Pierre Talpin - Sémantique formelle de modèles d’architecture

Sébastien Gérard - les contours de MARTE par l'exemple

Marc Pantel - The UML/MARTE Verifier: A Property Driven toolchain for model checking real time systems

Réseaux temps réel et qualité de service

Luis Almeida - Flexible Time-Triggered Switched Ethernet: Towards Flexible/Open Cyber-Physical Systems

Jean-Luc Scharbarg - solutions Ethernet commuté pour réseaux embarqués temps réel

Thomas Watteyne et Pascal Thubert - réseaux de capteurs sans fil et déterministe (IEEE802.15.4e, OpenWSN et IETF 6TiSCH)