Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software

Loïc Besnard (1) , Thierry Gautier (1) , Julien Ouy (1) , Jean-Pierre Talpin (1) , Jean-Paul Bodeveix (2, 3) , Alexandre Cortier (2) , Marc Pantel (2, 4) , Martin Strecker (2) , Gérald Garcia (5) , Ana-Elena Rugina (6) , Jérémy Buisson (7) , Fabien Dagnat (7)

1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
3 UT3 - Université Toulouse III - Paul Sabatier
4 Toulouse INP - Institut National Polytechnique (Toulouse)
5 TAS - Thales Alenia Space [Toulouse]
6 Astrium [Toulouse]
7 INFO - Département informatique

The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software indus- try, advocates a top-down approach built on a domain-specific modeling language named Synoptic. In line with previous approaches to real-time modeling such as Statecharts and Simulink, Synoptic features hierarchical decomposition of application and control modules in synchronous block dia- grams and state machines. Its semantics is described in the polychronous model of computation, which is that of the synchronous language SIGNAL.

Domaines: Systèmes embarqués

Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, et al.. Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software. FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩. ⟨hal-00624134⟩