Title of article
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
Author/Authors
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، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2010
Pages
8
From page
80
To page
87
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
Journal title
Electronic Proceedings in Theoretical Computer Science
Serial Year
2010
Journal title
Electronic Proceedings in Theoretical Computer Science
Record number
679832
Link To Document