|
Bienvenue sur le site public du projet RNTL MeMVaTEx |
L’objectif du projet MeMVaTEx (Méthodologie pour la Modélisation, laValidation et la Traçabilité des Exigences) est de compléter le processus de développement basé sur des modèles par une méthodologie de modélisation et de gestion de la continuité du développement dans le raffinement de modèles tout en supportant l’inter opération entre des formalismes de modélisation hétérogènes.
|
|
|
|
MeMVaTEx en quelques mots... |
|
Le projet exploratoire MeMVaTEx, d'une durée planifiée de 3 ans, issu du projet Num@tech Automotive du pôle de compétitivité System@tic, est relatif aux Méthodes de Modélisation pour la Validation et la Traçabilité des Exigences. Il rassemble les compétences complémentaires du milieu industriel et académique :
- CEA-LIST, laboratoire apportant son expérience sur l'aspect méthodologique pour l'ingénierie dirigée par les modèles appliquée aux systèmes temps réel,
- Sherpa Engineering, fournisseur d'un atelier intégré de modélisation possédant une expertise méthodologique apportant support et mise en œuvre à ses clients.
- INRIA/I3S projet AOSTE expérimenté dans les approches formelles (modèles synchrones) pour la modélisation de systèmes embarqués et la prise en compte de contraintes temps réel et d'architecture matérielle éventuellement distribuée,
- Continental, acteur majeur du milieu automobile, en particulier dans la conception et la réalisation de systèmes logiciel temps réel embarqués,
- UTC/HEUDIASYC, laboratoire spécialiste des applications dites "critiques" en particulier sur la validation des exigences.
|
|
|
|
MeMVaTEx - Résumé |
Le projet exploratoire MeMVaTEx, d'une durée de 3 ans et demi, est relatif aux Méthodes de Modélisation pour la Validation et la Traçabilité des Exigences. Il vise à définir une méthodologie de traçabilité des exigences durant le développement logiciel de systèmes embarqués temps réel basé sur des langages de modélisation.
Centrée sur l’expression, la validation et la traçabilité des exigences, cette méthodologie assure la continuité du développement depuis la modélisation des exigences issues d'un niveau de description fonctionnelle jusqu'à la conception détaillée des composants logiciels et de leur intégration système tenant compte de l’architecture matérielle éventuellement distribuée. Elle garantit la modélisation des comportements dynamiques dans l'architecture logicielle pour assurer une continuité dans le développement.
L'utilisation et l'enrichissement de profils UML, notamment ceux de EAST-ADL2 et MARTE, permettent de couvrir ces besoins, y compris dans le cadre d'interactions de formalismes hétérogènes. En effet, nous avons spécifié et développé des passerelles sémantiques supportées par une chaîne d'outils intégrée. Les travaux ont été validés par la mise en application sur un cas de référence issu du milieu automobile.
Du fait de la représentation des partenaires, les apports de ce projet ont été reportés à l'OMG (Object Management Group) par la validation du profil UML temps réel utilisé. Ils permettent également à Continental de consolider la définition du processus de développement logiciel dans le cadre du groupe de travail ISO 26262 sur la sécurité fonctionnelle des applications automobiles et en particulier la gestion des exigences. Ils prennent en compte les principes de l'architecture ouverte standardisée du milieu automobile gérée par le consortium AUTOSAR. |
|
|
|
MeMVaTEX - Résultats |
Les résultats du projet sont les suivants:
- Un métamodèle pour la modélisation des exigences, leur validation and leur traçabilité (CEA, Continental, UTC).
- Une séparation claire entre les exigences, la solution modélisée et la vérification et la validation (CEA, Continental).
- Un flot de conception pour la vérification de la satisfaction des exigences temporelle exprimée durant la modélisation d'une application temps réel (INRIA, Continental)
- La réalisation d'une implémentation du Méta modèle MeMVaTEx comme un profil UML spécifique dans l'outil ARTISAN Studio (SHERPA).
- La réalisation partielle d'une implémentation du profil UML MARTE dans l'outil Artisan Studio (SHERPA).
- Une méthodologie documentée avec EPF (Eclipse Process Framework) pour l'expression et la modélisation des exigences durant un processus de modélisation basé sur le standard EAST-ADL2 (Continental).
- Un démonstrateur de la méthodologie sur un cas applicatif automobile à travers la chaine outil du projet : ARTiSAN Studio, Syndex and Reqtify (Continental et al.).
|
|
|
|
|
|
La revue finale du projet MeMVaTEx a eu lieue le vendredi 18 septembre 2009 à Paris. |
|
