- Record: found
- Abstract: found
- Article: found
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Preprint
L. Besnard ,
T. Gautier ,
J. Ouy ,
J. -P. Talpin ,
J. -P. Bodeveix ,
A. Cortier ,
M. Pantel ,
M. Strecker ,
G. Garcia ,
A. Rugina ,
J. Buisson ,
F. Dagnat
02 March 2010
Read this article at
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
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.
Related collections
Most cited references1
- Record: found
- Abstract: not found
- Article: not found
