SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software
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ésOrigine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...