Projet SPaCIFY: IDM et Méthodes Formelles pour les Systèmes Embarqués

Les logiciels de vol (LV) embarques dans les satellites sont des systemes temps reel complexes qui requierent un haut degre de qualite et de surete et qui possedent leurs specificites propres: capacite des ressources materielles limitee, observabilite et commandabilite du systeme a distance... Le projet R&D SPaCIFY est un projet exploratoire soutenu par l'ANR visant a formaliser et a outiller un processus actuellement informel de conception des logiciels de vol pour le spatial. Le processus de conception retenu par le projet est un processus base sur l'Ingenierie Dirigee par les Modeles (IDM) et l'utilisation des methodes formelles. Cet article decrit l'approche retenue dans le cadre du projet SPaCIFY ainsi que son etat d'avancement.