 |
 |
Book sections
Synoptic: a domain-specific modeling language for space on-board application software
Alexandre Cortier
1
Loïc Besnard
2
Jean-Paul Bodeveix
1
Jérémy Buisson
3
Fabien Dagnat
4
M Filali
1
Gérald Garcia
5
Julien Ouy
2
Marc Pantel
1
Ana-Elena Rugina
6
Martin Strecker
1
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
Alexandre Cortier 1
Author
Loïc Besnard 2
Author
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 Employer institution : Institut National de Recherche en Informatique et en Automatique IdHAL : jeremy-buisson ORCID : https://orcid.org/0000-0001-5127-689X
Fabien Dagnat 4
Author IdHAL : fabien-dagnat ORCID : https://orcid.org/0000-0002-2419-7587
M Filali 1
Author IdHAL : mamoun-filali-amine IdRef : https://www.idref.fr/033384959 ORCID : https://orcid.org/0000-0001-5387-6805
Gérald Garcia 5
Author
Julien Ouy 2
Author
Marc Pantel 1
Author Employer institution : Institut National Polytechnique (Toulouse) IdHAL : marc-pantel
Ana-Elena Rugina 6
Author
Martin Strecker 1
Author
Jean-Pierre Talpin 2
Author 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
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc
Campus de Beaulieu
35042 RENNES CEDEX - France)
- INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6074 (France)
- ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France)
- UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France)
- UNIV-RENNES - Université de Rennes (France)
- CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France)
3
VALORIA - Laboratoire de recherche en informatique et ses applications (Université de Bretagne Sud) (France)
4
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)
5
Thales Alenia Space (Thales) (France)
6
EADS Astrium (EADS) (France)
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.
Document type :
Book sections
Complete list of metadata
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, March 18, 2021 - 2:34:32 PM
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
Identifiers
- HAL Id : hal-02061818, version 1
- DOI : 10.1007/978-1-4419-6400-7_3
Collections
INSTITUT-TELECOM | CNRS | UNIV-RENNES1 | SMS | UNIV-TLSE2 | IRISA | INRIA | IMT-ATLANTIQUE | UNIV-RENNES | INSA-GROUPE | UR1-UFR-ISTIC | UNIV-TLSE3 | UT1-CAPITOLE | IRIT | IRIT-ACADIE | INSA-RENNES | IRIT-FSL
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⟩
Metrics
Record views