La qualification des outils logiciels dans le cadre du DO-178C/ED-12C

Séminaires





Accueil du site > fr > Séminaires > Séminaires - historique 2012 > La qualification des outils logiciels dans le cadre du DO-178C/ED-12C
Mercredi 14 novembre 2012TOULOUSE (31)
Obligatoire ? Intéressante ? Comment s’y retrouver ?
Objectif : Mieux comprendre les tenants et les aboutissants de la qualification des outils dans le contexte des logiciels critiques aéronautiques mais aussi ceux des autres domaines (spatial, automobile, …)
Les politiques d’externalisation des donneurs d’ordre avec des Work Packages de plus en plus importants nécessitent une autonomie, un partage de risques, et un engagement croissant, financier et humain de chacun des acteurs de la chaîne de sous-traitance.
Le domaine de la certification est directement impacté par ces nouvelles organisations industrielles.

C’est pourquoi l’Etat et la Région Midi-Pyrénées sensibilisés aux enjeux du domaine, dans le cadre du programme structurant ADER 2, financent cette action collective portée par JESSICA France et vous propose de participer à un séminaire technique sur La qualification des outils logiciels.

La qualification des outils peut concerner divers types d’outils utilisés dans les processus développement de logiciels embarqués. Elle peut être requise ou pas en fonction de leur utilisation et du crédit de certification demandé. Trop souvent considérée comme un coût supplémentaire, elle peut au contraire être un facteur de gain de productivité globale important, si elle est bien comprise et maitrisée.

Même si ses principes fondamentaux n’ont pas complètement changés dans l’évolution récente du DO178C/ED-12C, elle a néanmoins beaucoup évolué : les catégories d’outils ont évolué, les critères de qualification aussi, les exigences de qualification ont été précisées et adaptées aux différents types d’outils et à leur utilisation et elle fait désormais l’objet d’un document « stand alone », le DO 330/ED-215.

PROGRAMME

8h45 Accueil des participants

9h00 Qualification des outils : Contexte
Comprendre les enjeux de la qualification des outils logiciels
• Du DO-178B/ED-12B vers le DO-178C/ED-12C et le nouveau document DO-330/ED-215
• Les critères de qualification
• Les niveaux de qualification

10h00 Présentation du DO-330/ED-215
Se familiariser avec le nouveau document applicable à la qualification des outils
• Principes du DO-330/ED-215
• Comment utiliser le document
• Exercice pratique : Quoi qualifier et à quel niveau ?

12h00 Repas

13h00 Critère 3 : Les outils « classiques » de vérification
Savoir qualifier de façon efficace les outils simples de vérification
• Types d’outils concernés
• Activités de qualification
• Exercice pratique : Développer les exigences opérationnelles d’un outil critère 3

14h30 Critère 2 : Les « super » outils de vérification
Identifier l’impact sur le processus de qualification de ce type d’outil
• Types d’outils concernés
• Efforts supplémentaires de qualification

15h00 Critère 1 : Les outils de développement
Comment et pourquoi qualifier les générateurs de code
• Principes
• Les activités de qualification
• Crédit de certification d’un générateur de code qualifié

16h00 Cas particuliers
Comment appliquer le DO-330/ED-215 à certains types d’outils ?
• Outils du commerce
• Outils multi-fonctions et collection d’outils
• Simulateur de modèle et simulateur de cible.

17h00 Présentation de l’outil OTAWA par Hughes Cassé de l’RIT

OTAWA est un outil non commercial (licence LGPL) qui fournit une estimation de WCET (worst-case execution time) par analyse statique

INFORMATIONS PRATIQUES

Atelier technique dispensé par Fréderic Pothon, ACG-Solutions, chairman du sous-groupe « Tool Qualification » du SC-205/WG-71 (DO-178C/ED-12C) et membre de l’initiative « Certification together »

Public : Chef de projet, Ingénieur qualité, Ingénieur développement système.

Pré-requis : Il est préférable d’avoir une première expérience du développement logiciel d’un système embarqué ou d’avoir suivi un de nos ateliers sur les exigences de certification.

Lieu : salle de conférence du LAAS / CNRS -7 av du Colonel Roche, 31077 Toulouse
Plan d’accès : http://www2.laas.fr/laas/images/pla...

Inscription au séminaire
La participation à la journée est gratuite pour tous mais l’inscription à la manifestation est obligatoire
Inscriptions arrêtées le 10/11.
Contact :0561336333 ou salas@captronic.fr
Crédits © JESSICA FRANCE 2005 - 2016
Le programme CAP’TRONIC est financé par le Ministère de l’Economie et des Finances.