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

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

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⟩

Share

Metrics

Record views

694

Files downloads

249