Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software
2010
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.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
2
References
0
Citations
NaN
KQI