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 Alexandre Cortier 2 Marc Pantel 2 Martin Strecker 2 Gérald Garcia 3 Ana-Elena Rugina 4 Jérémy Buisson 5 Fabien Dagnat 5
1 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 IRIT - Institut de recherche en informatique de Toulouse
3 Thales Alenia Space [Cannes]
4 Astrium [Toulouse]
5 INFO - Département informatique
Abstract : 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.
Document type :
Journal articles
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download
https://hal.archives-ouvertes.fr/hal-00624134
Contributor : Bibliothèque Télécom Bretagne <>
Submitted on : Thursday, September 15, 2011 - 8:21:28 PM
Last modification on : Thursday, October 24, 2019 - 2:44:06 PM
Long-term archiving on: Tuesday, November 13, 2012 - 10:52:04 AM

File

Synoptic_EPTCS.pdf
Publisher files allowed on an open archive

Identifiers

Collections

INSTITUT-TELECOM | CNRS | UNIV-RENNES1 | IRISA | INRIA | IRISA-D4 | UNIV-TLSE2 | SMS | UR1-UFR-ISTIC | UNIV-RENNES | IMT-ATLANTIQUE | INSA-GROUPE | UNIV-TLSE3 | UT1-CAPITOLE

Citation

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. Formal methods for aerospace, 2010, 18, pp.80-87. ⟨10.4204/EPTCS.20.9⟩. ⟨hal-00624134⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

694

Files downloads

249

CONTACT

scd.ao@univ-tlse3.fr