Référentiel des processus et d'un entrepôt générique des mesures pour la vérification & validation (V&V) des logiciels critiques

Pour les secteurs tel que l'aviation, le médical, le nucléaire et l'aérospatial, la qualité du logiciel est un besoin capital. Le logiciel embarqué dans ces types des systèmes est reconnu comme étant critique car leurs échec peut causer blessures (ou mort) aux êtres humains ainsi que la perte d'investissements financiers considérables. Dans cette thèse nous proposons un référentiel des processus de vérification et validation (V&V) et d'un entrepôt générique des mesures pour permettre, d'une part, de mieux définir et implémenter les objectifs, les processus, les activités, les tâches, les rôles, les produits de travail de la V&V dans les projets et, d'autre part, de faciliter la prise des décisions dans les projets de V&V par le biais d'un entrepôt des données des mesures pour mieux identifier, faire le suivi et l'évaluation des processus et produits (ex. des coûts, du temps, des ressources, etc.) des activités de V&V. Le référentiel sert à la définition des pratiques de V&V du développement du logiciel critique et en concordance avec les exigences de certification du guide DO-178B dans le contexte de l'aéronautique. Le contenu de ce référentiel de V&V est basé sur les pratiques du développement logiciel recommandées par les Processus Unifiés (PU). Nous avons utilisé la version « Open Source » des processus unifiés appelé « OpenUP » pour construire le référentiel. Le référentiel de pratiques de V&V est exprimé par le biais d'un artefact logiciel appelé «Plug-in» ou «plugiciel». Cet artefact a été construit avec l'outil « Eclipse Process Framewrok Composer (EPFC) », qui est une extension du « OpenUP ». EPFC est basé sur les principes de SPEM-OMG (Software Process Engineering Metamodel - Object Management Group). L'EPFC dorme la capacité au référentiel des pratiques de V&V de pouvoir être personnalisé ou adapté selon les particularités de chaque projet du logiciel critique. La proposition des mesures pour les activités de V&V est fondée sur la proposition d'un entrepôt des mesures basé sur les principes décrits dans la norme ISO 15939 pour la construction des processus mesures dans le logiciel. L'entrepôt des mesures est basé également sur un modèle générique des mesures ainsi que sur la technologie OLAP (Online Analytical Processing) pour l'analyse multidimensionnelle des dormées des mesures. L'entrepôt des mesures proposé est basé sur un modèle générique qui ne présuppose pas un ensemble des mesures définies mais une structure basée sur un modèle orienté-objets qui permet de définir divers types de mesures basées sur les mêmes données stockées dans l'entrepôt. La technologie OLAP confère la flexibilité, la capacité de stoker, la capacité de représenter ainsi que la capacité d'analyser des mesures dans plusieurs perspectives. Cette thèse, au cours de son élaboration, a bénéficié de la collaboration de différentes partenaires industriels tels que : NASA IV&V Facility, CMC Electronics, Verocel Inc. et Ericsson Research Canada.

Level thesis:degree_level

phd

Grantor dc:publisher

École de technologie supérieure

Year dc:date

2008

Author dc:creator

• Palza Vargas, Edgardo

• Logiciels Validation. Logiciels Vérification. critique, entrepot, generique, logiciel, mesure, processus, referentiel

Language dc:language

fr

Identifier

INSERT-YOUR-LIBRARY-ID-HERE165

OAI record oai:identifier

https://espace.etsmtl.ca/cgi/oai2?verb=GetRecord&metadataPrefix=oai_etdms&identifier=oai%3Aespace.etsmtl.ca%3A165