Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

Loïc Besnard
(INRIA-IRISA Rennes, FR)
Thierry Gautier
(CNRS-IRISA Rennes, FR)
Julien Ouy
(INRIA-IRISA Rennes, FR)
Jean-Pierre Talpin
(INRIA-IRISA Rennes, FR)
Jean-Paul Bodeveix
(IRIT, FR)
Alexandre Cortier
(IRIT, FR)
Marc Pantel
(IRIT, FR)
Martin Strecker
(IRIT, FR)
Gérald Garcia
(Thales Alenia Space, FR)
Ana-Elena Rugina
(EADS Astrium, FR)
Jérémy Buisson
(Télécom Bretagne, FR)
Fabien Dagnat
(Télécom Bretagne, FR)

The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software industry, 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 diagrams and state machines. Its semantics is described in the polychronous model of computation, which is that of the synchronous language SIGNAL.

In Manuela Bujorianu and Michael Fisher: Proceedings FM-09 Workshop on Formal Methods for Aerospace (FMA 2009), Eindhoven, The Netherlands, 3rd November 2009, Electronic Proceedings in Theoretical Computer Science 20, pp. 80–87.
Published: 28th March 2010.

ArXived at: http://dx.doi.org/10.4204/EPTCS.20.9 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org