HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Synoptic: a domain specific modeling language for embedded flight-software

Alexandre Cortier 1 Loïc Besnard 2 Jean-Paul Bodeveix 1, 3 Jérémy Buisson 4 Fabien Dagnat 4 M Filali 1, 5 G. Garcia 6 Thierry Gautier 2 Julien Ouy 2 Marc Pantel 1, 7 Ana-Elena Rugina 8 Martin Strecker 9 Jean-Pierre Talpin 2
1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
2 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 UT3 - Université Toulouse III - Paul Sabatier
4 INFO - Département informatique
5 CNRS - Centre National de la Recherche Scientifique
6 TAS - Thales Alenia Space [Toulouse]
7 Toulouse INP - Institut National Polytechnique (Toulouse)
8 ASTRIUM
9 IRIT - Institut de recherche en informatique de Toulouse
Abstract : In collaboration with major European manufacturers, the SPaCIFY project aims at bringing advances in MDE to the satellite flight software industry. It focuses on software development and maintenance phases of satellite lifecycle. The project advocates a top-down approach built on a Domain-Specific Modeling Language (DSML) named Synoptic. The aim of Synoptic is to support all aspects of embedded flight-software design. As such, Synoptic consists of heterogeneous modeling and programming principles defined in collaboration with the industrial partners and end users of the SPaCIFY project. Used as the central modeling language of the SPaCIFY model driven engineering process, Synoptic allows to describe different layers of abstraction: at the highest level, the software architecture models the functional decomposition of the flight software. This is mapped to a dynamic architecture which defines the thread structure of the software. It consists of a set of threads, where each thread is characterized by properties such as its frequency, its priority and its activation pattern (periodic, sporadic).
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-00788450
Contributor : Ist Rennes Connect in order to contact the contributor
Submitted on : Thursday, February 14, 2013 - 2:47:41 PM
Last modification on : Tuesday, April 5, 2022 - 3:42:33 AM

Identifiers

  • HAL Id : hal-00788450, version 1

Collections

INSTITUT-TELECOM | UNIV-RENNES1 | CNRS | INRIA | IRISA | IRISA-D4 | UNIV-TLSE2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | IMT-ATLANTIQUE | INSA-GROUPE | UNIV-TLSE3 | UT1-CAPITOLE | INSA-RENNES | UR1-MATH-NUM | IRIT-ACADIE | IRIT-FSL | IRIT | IRIT-CNRS | IRIT-INPT | IRIT-UT3 | EC-PARIS | INRIA2

Citation

Alexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, et al.. Synoptic: a domain specific modeling language for embedded flight-software. FMA 2009 : Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. ⟨hal-00788450⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

231

 

Contact                    Legal Notice                    Personal Data