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

TL;DR

This paper presents Synoptic, a domain-specific modeling language for embedded flight software, with semantics based on polychronous Signal models, aiming to improve the development process in satellite industry.

Contribution

It introduces Synoptic, a new modeling language with polychronous semantics for embedded flight software, integrating hierarchical and real-time features for satellite applications.

Findings

Semantic foundation in polychronous Signal model

Hierarchical decomposition of modules in Synoptic

Alignment with real-time modeling approaches

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.