Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

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

Jérémy Buisson
Fabien Dagnat

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.
Fichier principal
Vignette du fichier
Synoptic_EPTCS.pdf (150.36 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

hal-00624134 , version 1 (15-09-2011)

Identifiers

Cite

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⟩
545 View
172 Download

Altmetric

Share

Gmail Facebook X LinkedIn More