SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software

P Arberet
  • Fonction : Auteur
Centre National d’Études Spatiales [Paris]
Jean-Paul Bodeveix
Assistance à la Certification d’Applications DIstribuées et Embarquées
Université Toulouse III - Paul Sabatier
F. Boniol
  • Fonction : Auteur
ONERA - The French Aerospace Lab [Toulouse]
J Buisson
  • Fonction : Auteur
G Cannenterre
  • Fonction : Auteur
D Chemouil
  • Fonction : Auteur
A Cortier
  • Fonction : Auteur
Centre National d’Études Spatiales [Paris]
Fabien Dagnat
CV
F. Dupont
Geometry Processing and Constrained Optimization
M Filali
Assistance à la Certification d’Applications DIstribuées et Embarquées
Centre National de la Recherche Scientifique
Etienne Fleury
  • Fonction : Auteur
Laboratoire Bordelais de Recherche en Informatique
J Forget
  • Fonction : Auteur
Laboratoire Bordelais de Recherche en Informatique
G Garcia
  • Fonction : Auteur
THALES [France]
F Herbreteau
  • Fonction : Auteur
Laboratoire Bordelais de Recherche en Informatique
E Morand
  • Fonction : Auteur
Centre National d’Études Spatiales [Paris]
J Ouy
  • Fonction : Auteur
Institut de Recherche en Informatique et Systèmes Aléatoires
G Sutre
Laboratoire Bordelais de Recherche en Informatique
A Rugina
  • Fonction : Auteur
Martin Strecker
Assistance à la Certification d’Applications DIstribuées et Embarquées
Université Toulouse III - Paul Sabatier
J P Talpin
  • Fonction : Auteur
Institut de Recherche en Informatique et Systèmes Aléatoires

Résumé

The aim of this article is to present a model- driven approach proposed by the SPaCIFY project for spacecraft on-board software development. This ap- proach is based on a formal globally asynchronous lo- cally synchronous language called Synoptic, and on a set of transformations allowing code generation and model verification.

Domaines

Systèmes embarqués
Fichier principal
Vignette du fichier
6A-4.pdf (270.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Axelle PAGNIER  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02267838

Soumis le : lundi 19 août 2019-19:49:21

Dernière modification le : vendredi 20 décembre 2024-09:44:42

Archivage à long terme le : jeudi 9 janvier 2020-14:55:29

Télécharger pour visualiser

Dates et versions

hal-02267838 , version 1 (19-08-2019)

Identifiants

  • HAL Id : hal-02267838 , version 1

Citer

P Arberet, Jean-Paul Bodeveix, F. Boniol, J Buisson, G Cannenterre, et al.. SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software. 5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), AAAF : Association Aéronautique et Astronautique de France; SEE : French Electrical, Electronics, and Information & Communication Technologies Society; SIA: Société des Ingénieurs de l'Automobile, May 2010, Toulouse, France. ⟨hal-02267838⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-TLSE2 UNIV-RENNES1 ONERA CNRS INRIA UNIV-LYON1 UNIV-LYON2 INSA-LYON INSA-RENNES EC-LYON IRISA UNIV-BORDEAUX LIRIS UT1-CAPITOLE UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE ERTS2010 UDL IRIT IRIT-ACADIE UR1-MATH-NUM IRIT-FSL TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
94 Consultations
105 Téléchargements

Partager

More