Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

Details Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software

2010-03-02

arxiv.org/abs/1003.0554v1

EPTCS 20, 2010, pp. 80-87

Computer Science

Programming Languages

Workshop on Formal Methods for Aerospace (FMA 2009)

Scientific paper

10.4204/EPTCS.20.9

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.

Affiliated with

Also associated with

No associations

Rating

Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-663816