An assurance level sensitive UML profile for supporting DO-178C

Metayer, Nicolas (2018). An assurance level sensitive UML profile for supporting DO-178C. Mémoire de maîtrise électronique, Montréal, École de technologie supérieure.

Prévisualisation	PDF Télécharger (4MB) | Prévisualisation
Prévisualisation	PDF Télécharger (1MB) | Prévisualisation

Résumé

Several model-based approaches have been proposed to ease the process of developing certifiable safety-critical software. In this thesis, we are interested in airborne software which must comply with DO-178C standard. However, existing approaches do not provide complete support for all the activities of the software life cycle as defined by DO-178C.

In this thesis, we propose an UML profile that captures the concepts of DO-178C and its supplements in order to model the evidence required for certification. This profile provides modeling constructs for the definition of a DO-178C compliant software life cycle, the specification of the software requirements, the specification of verification data and finally the specification of the traceability that is requested by DO-178C. Furthermore, this profile has the unique feature of providing means to specify the objectives and activities to be performed throughout the software life cycle depending on the targeted assurance level and applied DO-178C supplements.

We implemented the proposed profile within Papyrus, an UML modeling environment. We used the profile to model a realistic example of airborne software. Specifically, we illustrated the usefulness of the profile through four use cases.

Titre traduit

Un profil UML modulaire selon le niveau d'assurance logicielle pour le support de DO-178C

Résumé traduit

Plusieurs approches basées sur les modèles ont été proposées pour faciliter le développement de logiciel critique certifiable. Dans ce mémoire, nous nous intéressons aux logiciels avioniques devant se conformer au standard DO-178C. Cependant, les approches existantes ne supportent pas entièrement les activités du cycle de vie logiciel défini par DO-178C.

Dans ce mémoire, nous proposons un profil UML capturant les concepts de DO-178C ainsi que ses suppléments afin de modéliser les évidences exigés pour la certification. Ce profile fournit des éléments de modélisation pour définir un cycle de vie logiciel conforme à DO-178C, pour spécifier des exigences logicielles et des données de vérification, ainsi que pour spécifier la traçabilité demandée par DO-178C. De plus, ce profil à l’unique caractéristique de fournir un moyen de spécifier les objectifs et activités à effectuer durant le cycle de vie logiciel selon le niveau d’assurance logiciel visée ainsi que des suppléments à DO-178C utilisés.

Nous avons implémenté the profil proposé au sein de Papyrus, un environnement de modélisation pour UML. Nous avons utilisé le profil pour modéliser un exemple réaliste de logiciel avionique. En particulier, nous avons illustré l’utilisation de ce profile à travers quatre cas d’utilisation.

Type de document:	Mémoire ou thèse (Mémoire de maîtrise électronique)
Renseignements supplémentaires:	"Thesis presented to École de technologie supérieure in partial fulfillment of a master's degree with thesis in software engineering". Bibliographie : pages 207-210.
Mots-clés libres:	UML (Informatique) Avionique Logiciels Normes. Avionique Logiciels Certification. Ingénierie dirigée par les modèles. Analyse du cycle de vie. Logiciels Qualité Contrôle. Langages orientés problème (Informatique) certification logiciel, DO-178C, ingénierie dirigée par les modèles, langage de modélisation dédié, profil UML
Directeur de mémoire/thèse:	Directeur de mémoire/thèse El Boussaidi, Ghizlane
Programme:	Maîtrise en ingénierie > Génie
Date de dépôt:	29 août 2018 16:04
Dernière modification:	29 août 2018 16:04
URI:	https://espace.etsmtl.ca/id/eprint/2080

Gestion Actions (Identification requise)

Dernière vérification avant le dépôt