Skip to Main content Skip to Navigation
Book sections

Synoptic: a domain-specific modeling language for space on-board application software

Abstract : The ANR project SPaCIFY has designed and partially implemented a domain-specific environment, called Synoptic, for real-time embedded on-board space application, and especially control and command software. Synoptic is an Eclipse-based modeling workbench which supports many aspects of aerospace software design. As such, it is a domain-specific framework which provides the engineer with a unified modeling environment to handle all heterogeneous analysis, design, implementation and verification tasks, as defined in collaboration with the industrial end users of the project. Relying on the standard modeling languages used in the domain such as simulink/stateflow and AADL, Synoptic DSML covers the design of on-board applications, control and command modules using imperative synchronous programs, data-flow diagrams, mode automata, and also the partitioning, timing and mapping of these modules onto satellite architectures. An application is modeled as a set of synchronous parts called islands, communicating through asynchronous shared variables managed by the middleware. Synoptic thus provides GALS capacities for space applications.
Complete list of metadata
Contributor : Bibliothèque Télécom Bretagne <>
Submitted on : Friday, March 8, 2019 - 1:11:30 PM
Last modification on : Thursday, March 18, 2021 - 2:34:32 PM

Links full text



Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, et al.. Synoptic: a domain-specific modeling language for space on-board application software. Synthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩. ⟨hal-02061818⟩



Record views