Planning Process « t’as un plan pour ce soir ? » Tony Carnal Altran

Planning Process But  Définit les moyens de production du logiciel qui satisfont les besoins système et fournissent le niveau de confiance en accord avec les demandes navigables

Planning Process Production  Plan for Software Aspect of Certification (PSAC)  Software Development Plan (SDP)  Software Verification Plan (SVP)  Software Quality Assurance Plan (SQPP ou SQAP)  Software Configuration Management Plan (SCMP)  Development Standards SDS

Objectifs DO-178B

Les TODOs Etablir les bases de certification Définir le process de Dev et d’intégration SDP Sélectionner les outils de l’environnement Définir les standards de développement Etablir les documents de régulation PSAC Assez tôt dans le Dev, se mettre d’accord avec les autorités de vol

Etablir la base de certification Identifier le système qui a besoin d’une certification  Décrire le système  Donner les specs à certifier Identification des besoins du système fonctionnel à appliquer au logiciel  Décrire le logiciel Identifier les document a suivre (DO-178B) Identification des DAL …

Etablir la base de certification Identification des architectures systèmes applicables en accord avec la DO-178B  Existence de Watch dog  Existence de partitionnement  Existence de dissimilitude Identification des considérations spécifiques applicable au système  Utilisation de COTS  Utilisation d’options

Etablir la base de certification Identification des considérations additionnels de la DO-178B  Utilisation de logiciel déjà développé  Besoin de développement ou de qualification des outils  Utilisation de méthodes alternatives Méthodes formelles testing exhaustif Dissimilitudes multiples Service d’historique du produit

Définir le développement et l’intégration Identifier les éléments de configuration associé aux parties les plus significatices du logiciel Sélectionner le cycle de vie pour ces parties (itératif, V, incrémental …) Limiter les procédures à leur contexte spécifique de la société Sélectionner les meilleures méthodes pour les différents éléments de configuration pour permettre de supporter tout le développement, la vérification, la gestion de conf et les activités de qualité

Définir le développement et l’intégration Identifier le développement clef des milestones avec leurs critères de transition et de fin de phase Organiser la documentation du projet

Sélection des outils d’environnement Sélectionner le compilateur et le linker Sélectionner l’outil de gestion de configuration Sélectionner les outils de tests Sélectionner les spécifications de besoin et les outils de design logiciel Documenter la plateforme de développement choisie dans le PSAC et le SDP

Sélection des outils d’environnement INSTALLER ET INTEGRER CES OUTILS

Définir les standards de développement Pour les activités de spécification de besoin  Règles d’identification de besoin, nommages des données, mnemonic pseudo-code, méthodes semi-formelles… Pour les activités de design  Description du design des méthodes à employer, règles de nommage, règles de contrôle de la complexité …

Définir les standards de développement Pour l’activité de codage et d’intégration  Choix des langages a utiliser, restrictions a prendre en compte, présentation du code source,…

Quel est le problème de la DO- 178B ici ? Implémenter une solution sans l’accord des autorités de vérification