Skip to Main content Skip to Navigation
Conference papers

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 :
Conference papers
Complete list of metadata

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, March 18, 2021 - 2:34:32 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. FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩. ⟨hal-00624134⟩

Share

Metrics

Record views

941

Files downloads

870