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 metadatas

https://hal.archives-ouvertes.fr/hal-02061818
Contributor : Bibliothèque Télécom Bretagne <>
Submitted on : Friday, March 8, 2019 - 1:11:30 PM
Last modification on : Thursday, October 24, 2019 - 2:44:12 PM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

74