Open AccessSPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software
Author(s) -
Paul Arberet,
J Bodeviex,
Frédéric Boniol,
Jean Buisson,
G Cannenterre,
David Chemouil,
Alexandre Cortier,
Fabien Dagnat,
Francis Dupont,
Mamoun Filali,
Emmanuel Fleury,
J Forget,
G. Garcia,
F Herbreteau,
Eric Morand,
Julien Ouy,
Grégoire Sutre,
Ana-Elena Rugina,
M Streker,
J.-P. Talpin
Publication year - 2010
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , asynchronous communication , spacecraft , software engineering , formal methods , code generation , programming language , software , formal verification , set (abstract data type) , systems engineering , engineering , operating system , aerospace engineering , computer network , key (lock)