 |
 |
Conference papers
Synoptic: a domain specific modeling language for embedded flight-software
Alexandre Cortier
1
Loïc Besnard
2
Jean-Paul Bodeveix
1
Jérémy Buisson
3
Fabien Dagnat
3
Mamoun Filali
1
G. Garcia
4
Thierry Gautier
2
Julien Ouy
2
Marc Pantel
1
Ana-Elena Rugina
5
Martin Strecker
6
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
5
ASTRIUM
Alexandre Cortier 1
Author
Loïc Besnard 2
Author Employer institution : Centre National de la Recherche Scientifique
Jean-Paul Bodeveix 1
Author IdHAL : jean-paul-bodeveix IdRef : https://www.idref.fr/033384940 ORCID : https://orcid.org/0000-0002-4179-6063
Jérémy Buisson 3
Author IdHAL : jeremy-buisson ORCID : https://orcid.org/0000-0001-5127-689X
Fabien Dagnat 3
Author IdHAL : fabien-dagnat ORCID : https://orcid.org/0000-0002-2419-7587
Mamoun Filali 1
Author IdHAL : mamoun-filali-amine IdRef : https://www.idref.fr/033384959 ORCID : https://orcid.org/0000-0001-5387-6805
G. Garcia 4
Author
Thierry Gautier 2
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Julien Ouy 2
Author Employer institution : Institut National de Recherche en Informatique et en Automatique
Marc Pantel 1
Author Employer institution : Institut National Polytechnique (Toulouse) IdHAL : marc-pantel
Ana-Elena E. Rugina 5
Author
Martin Strecker 6
Author
Jean-Pierre Talpin 2
Author Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : jean-pierretalpin ORCID : https://orcid.org/0000-0002-0556-4265
1
IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT
118 Route de Narbonne
31062 Toulouse Cedex 9 - France)
- IRIT - Institut de recherche en informatique de Toulouse (118 Route de Narbonne, F-31062 Toulouse Cedex 9 - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France)
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5505 (France)
- Toulouse INP - Institut National Polytechnique (Toulouse) (France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
2
ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems (Campus de Beaulieu 35042 Rennes cedex - France)
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Campus universitaire de Beaulieu - 35042 Rennes - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
3
INFO - Département informatique (Télécom Bretagne Technopole Brest Iroise CS 83818 29238 Brest Cedex 3 - France)
- UEB - Université européenne de Bretagne - European University of Brittany (5 boulevard Laënnec - 35000 Rennes - France)
- Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
6
IRIT - Institut de recherche en informatique de Toulouse (118 Route de Narbonne, F-31062 Toulouse Cedex 9 - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France)
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5505 (France)
- Toulouse INP - Institut National Polytechnique (Toulouse) (France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
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
Domain :
Complete list of metadatas
https://hal.inria.fr/hal-00788450
Contributor : Ist Rennes <>
Submitted on : Thursday, February 14, 2013 - 2:47:41 PM
Last modification on : Friday, January 8, 2021 - 3:40:40 AM
Contributor : Ist Rennes <>
Submitted on : Thursday, February 14, 2013 - 2:47:41 PM
Last modification on : Friday, January 8, 2021 - 3:40:40 AM
Identifiers
- HAL Id : hal-00788450, version 1
Collections
INSTITUT-TELECOM | UNIV-RENNES1 | CNRS | INRIA | IRISA | IRISA-D4 | UNIV-TLSE2 | SMS | UR1-UFR-ISTIC | UNIV-RENNES | IMT-ATLANTIQUE | INSA-GROUPE | UNIV-TLSE3 | UT1-CAPITOLE | IRIT | IRIT-ACADIE | INSA-RENNES
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⟩
Metrics
Record views