Etude ECUMESPrésentation des résultatsPatrice Micouin, MicouinConsultingMathieu Clabaut, Systerel
Objectifs de létudenalPOrganisation de létudeLot 1 -état de l'artLot 2 éléments pour un guide de mise en oeuvrePerspectives
Objectifs de létudeObjectif final :production dune méthodologie(processus, langages, outils)de découverte, de capture et de maintenance des exigences pour les LVet leur articulation avec le système. Moyen et objectif intermédiaireétat de lart des différentes méthodes de découveret et dexpression des veoxilgseenrcaepsroednusitintéressantspécifiquementaudomainedeslogicielsdeVise également :une problématique dingénierie «orientée modèles»bein que celle-ci nexiste pas pleinement.
Le responsable ClientOrganisation de létudeDavid Chemouil, CNESIndustriels associés: Astrium, Thales Alenia SpaceDeux prestatairesMathieu Clabaut, SysterelPatrice Micouin, MicouinConsultingDeux lotsLot n°1: Etat des lieuxLot n°2: Eléments pour un guide méthodologique en ingénierie des exigencesPlanningLot n°1: Janvier 2008 Mars 2008Lot n°2: Avril 2008 Juin 2008
Résultats du lot 1Ingénierie des exigences -État de l'artListe des méthodes évaluéesListe des critères dévaluationLogiciels de vol et pertinence des langages et méthodes Évaluation des méthodes et outils Analyse comparative Conclusions: Points forts et lacunes
Liste des méthodes évaluéesAKSOLMsySSLCErudineULM
Liste des critères dévaluationCritères épistémologiques:concernent les concepts utilisés, leurs relations et leurs fondementsCritères méthodologiques:concernent la définition des processus mis en uvre,Critèrespragmatiques:concernent limmersion dans la réalitéindustriellee t la confrontation de ces concepts et de ces processus aux projets réellement existants et tout particulièrement dans le domaine spatial.
CritèresRelationsRobustesseComplétudeCohérencePertinenceModèlesComplétudeCohérenceIntégrationEpistémologiquesConceptsRobustesseComplétudeCohérencePertinenceMéthodologiquesLa méthode considérée définit-elle des processussi oui, quelle est la robustesse pourtraiterdelingénieriedesexigences?i.e.:desprocessus?un ensemble dobjectifs àatteindre?La cohérence des processus?des séquences dactivités àmener pour atteindre la pertinence des processus?ces objectifs?un ensemble de conditions pour mener ces activités?des critères darrêt pour ces activités?PragmatiquesPassage àléchelleOutillageMaintenance et évolutivitéIngénierie des modèlesCapitalisation des connaissances
Logiciels de vol et pertinence des langages et méthodesPrescriptions pour le développement dun logiciel psatialLe modèle «client/fournisseur»Le processus dingénierie des exigencesPetite ontologie dun logiciel de vol
Prescriptions pour le développement dun logiciel spatial
ECSS-E-40Le modèle «client/fournisseur»Le «client»de rang n+1doit dériver les exigences fonctionnelles et de performances allouées au matériel et au logiciel de ses «fournisseurs»de rang n+2. Ces exigences quil alloue au matériel et au logciiel de rang n+2dépendent:des exigences quil doit lui-même satisfaire en saq ualitéde fournisseur de rang n+1vis-à-vis de ses «clients de rang n,des choix de conception quil effectue au niveaun+1,Il est aussi le garant des interfaces qui lui sont imposées au rang net celles quil crée au rangn+1.