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

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

J Buisson
  • Fonction : Auteur
G Cannenterre
  • Fonction : Auteur
D Chemouil
  • Fonction : Auteur
Fabien Dagnat
G Garcia
  • Fonction : Auteur
G Sutre
A Rugina
  • Fonction : Auteur

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.
Fichier principal
Vignette du fichier
6A-4.pdf (270.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

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⟩
72 Consultations
79 Téléchargements

Partager

Gmail Facebook X LinkedIn More