2002

SyncCharts : High level design using SyncCharts
C. André
Formal Design of Safety Critical Embedded Systems (FemSys 2001), Research tools exhibition, March 21-23, 2001, Munich (D).
Get PDF

Paradigmes objets et synchrones dans les systèmes temps réel.
C. André
Journée SEE-SIC Objectif Zéro Défaut, 18 janvier 2001, ENST, Paris (F) .
Get summary (PDF file), Get slides(PDF file).

Une méthodologie basée sur UML pour la programmation synchrone: Etude d'un contrôleur de siège automobile .
M.-A. Peraldi-Frati
Journée SEE-SIC Objectif Zéro Défaut, 20 Septembre 2001, ENST, Paris (F) .
Get summary (PDF file), Get slides part 1 (zip file). Get slides part 2 (zip file).

Checking UML Dynamic Diagrams: A Synchronous Approach.
C. André, M.-A. Peraldi-Frati, J.-P. Rigault.
3rd International Conference on the Unified Modeling Language, UML2000, Formal Design Techniques for Real-Time UML Workshop, York (UK). ( Get PDF).

Behavioral specification of Java component using SyncCharts.
P.Rapicault, F.Mallet
ECOOP2000- Workshop on Pervasive Component Systems. juin 2000, Cannes, France. Get PDF