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

P. Arberet,J Bodeviex,F. Boniol,Jérémy Buisson,G Cannenterre,D Chemouil,Alexandre Cortier,Fabien Dagnat,F. Dupont,Mamoun Filali,Emmanuel Fleury,J. Forget,Gerald Garcia,F. Herbreteau,E. Morand,Julien Ouy,G Sutre,Ana-Elena Rugina,M. Streker,Jean-Pierre Talpin

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

2010

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.

Keywords:

Software development
Software
on board
Model-driven architecture
Spacecraft
Asynchronous communication
Software engineering
synchronous language
Code generation
Computer science

Correction
Source
Cite
Save
Machine Reading By IdeaReader

References

Citations