Allocations des niveaux d'assurance des logiciels de contrôle automatique du traffic aérien
Contribution à la prise en compte des exigences ESARR6 d’Eurocontrol.
Définition des niveaux de criticité et des niveaux de développement des logiciels CAUTRA (Contrôle AUtomatique du Trafic Aérien)
Support méthodologique pour l’élaboration et la mise en application des principes et des règles d’allocation des niveaux d’assurance logicielle requis (AL/SWAL requis) pour les logiciels du CAUTRA : - Analyse de différentes méthodes de détermination des niveaux d’assurance SW issues d'autres secteurs industriels ou proposées par des référentiels existants. - Définition des principes d’allocation des niveaux d’assurance sur les composants logiciels du CAUTRA. Ces principes visent à préciser les règles et critères permettant de dé-classifier le niveau d’assurance d’un composant logiciel. L’allocation des niveaux d’assurance logicielle mise en place fait partie intégrante du processus de déclinaison des exigences mis en place en accord avec l’ESARR4.
Les notions d'indépendances ont aussi été précisées dans le cadre de la prestation, et une application des principes d'allocation à été réalisée sur un exemple fictif dans le but d'éprouver l' approche.
Notre expérience de la prise en compte du logiciel au sein des systèmes critiques et notre Retour d’Expérience du sujet dans d’autres domaines industriels (Spatial, Aéronautique, Transport, Nucléaire).
L’approche didactique mise en place visant à permettre l’appropriation rapide par les équipes projets, de la méthode mise en place.
