 |
 |
Conference papers
Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software
Loïc Besnard
1
Thierry Gautier
1
Julien Ouy
1
Jean-Pierre Talpin
1
Jean-Paul Bodeveix
2
Alexandre Cortier
2
Marc Pantel
2
Martin Strecker
2
Gérald Garcia
3
Ana-Elena Rugina
4
Jérémy Buisson
5
Fabien Dagnat
5
1
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
2
IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
Loïc Besnard 1
Author
Thierry Gautier 1
Author
Julien Ouy 1
Author
Jean-Pierre Talpin 1
Author IdHAL : jean-pierretalpin ORCID : https://orcid.org/0000-0002-0556-4265
Jean-Paul Bodeveix 2
Author IdHAL : jean-paul-bodeveix IdRef : https://www.idref.fr/033384940 ORCID : https://orcid.org/0000-0002-4179-6063
Alexandre Cortier 2
Author
Marc Pantel 2
Author Employer institution : Institut National Polytechnique (Toulouse) IdHAL : marc-pantel
Martin Strecker 2
Author
Gérald Garcia 3
Author
Ana-Elena Rugina 4
Author
Jérémy Buisson 5
Author Employer institution : Télécom Bretagne IdHAL : jeremy-buisson ORCID : https://orcid.org/0000-0001-5127-689X
Fabien Dagnat 5
Author IdHAL : fabien-dagnat ORCID : https://orcid.org/0000-0002-2419-7587
1
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)
2
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)
4
Astrium [Toulouse] (31 rue des Cosmonautes, Z.I. du Palays, F-31402 Toulouse Cedex 4 - France)
5
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)
Abstract : The SPaCIFY project, which aims at bringing advances in MDE to the satellite flight software indus- try, advocates a top-down approach built on a domain-specific modeling language named Synoptic. In line with previous approaches to real-time modeling such as Statecharts and Simulink, Synoptic features hierarchical decomposition of application and control modules in synchronous block dia- grams and state machines. Its semantics is described in the polychronous model of computation, which is that of the synchronous language SIGNAL.
Document type :
Conference papers
Domain :
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-00624134
Contributor : Bibliothèque Télécom Bretagne <>
Submitted on : Thursday, September 15, 2011 - 8:21:28 PM
Last modification on : Friday, January 8, 2021 - 3:40:39 AM
Long-term archiving on: : Tuesday, November 13, 2012 - 10:52:04 AM
Contributor : Bibliothèque Télécom Bretagne <>
Submitted on : Thursday, September 15, 2011 - 8:21:28 PM
Last modification on : Friday, January 8, 2021 - 3:40:39 AM
Long-term archiving on: : Tuesday, November 13, 2012 - 10:52:04 AM
File
Synoptic_EPTCS.pdf
Publisher files allowed on an open archive
Identifiers
- HAL Id : hal-00624134, version 1
- DOI : 10.4204/EPTCS.20.9
Collections
INSTITUT-TELECOM | CNRS | UNIV-RENNES1 | IRISA | INRIA | IRISA-D4 | UNIV-TLSE2 | SMS | UR1-UFR-ISTIC | UNIV-RENNES | IMT-ATLANTIQUE | INSA-GROUPE | UNIV-TLSE3 | UT1-CAPITOLE | IRIT | IRIT-ACADIE | INSA-RENNES
Citation
Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, et al.. Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software. FM 09 - Workshop on Formal Methods for Aerospace, Nov 2009, Eindhoven, Netherlands. pp.80-87, ⟨10.4204/EPTCS.20.9⟩. ⟨hal-00624134⟩
Metrics
Record views
923
Files downloads