El cumplimiento de las regulaciones en el Software de sistemas de aeronáuticos Carlos Fernández de la Hoz, AIRBUS Military

Transcripción

1 El cumplimiento de las regulaciones en el Software de sistemas de aeronáuticos Carlos Fernández de la Hoz, AIRBUS Military Madrid, 20 noviembre 2013 PALACIO MUNICIPAL DE CONGRESOS 2013 IBM Corporation

2 EADS AIRBUS Military (AiM) AiM es una unidad de negocio de la división AIRBUS (EADS) Aviones de Transporte Militar Aviones de Misión Aviones Multi Role Tanqueros-Transporte 2

3 Contexto en el Desarrollo de Software Cumplimiento de la Regulación de sistema aeronáuticos En EEUU FAA dicta las regulaciones FAR. Como la FAR-25 requisitos para un sistema avión FAR sobre Equipos, Sistemas e Instalaciones. ( Europa EASA CS / AMC ) ARP-4754 (Proceso de análisis y demostración de seguridad un sistema). Safety Assesment Asignación de Criticidad de un Sistema (DAL) Según el DAL asignado se aplican los procesos identificados para HW (DO-254) y SW (DO-178B). La DO-178B (SW Consideration in Airborne Systems and Equipments Certification) es un medio para la aprobación de la Autoridad. 3

4 RTCA/DO-178B (Consideraciones SW para la Certificación de Sistemas y Equipos embarcados) Procesos secuenciales Planificación Desarrollo: Análisis de requisitos Diseño Programación Integración Procesos que se aplican a los productos del desarrollo: Verificación Gestión de Configuración Otros Procesos: Garantía de Calidad Enlace con Certificación Objetivos: Cumplimiento en función del DAL 66 (DAL-A), 28 (DAL-D) 4

5 Efecto en el Ciclo de Desarrollo Certificación DO-178B de sistemas embarcados con objetivos rigurosos en: Desarrollo Trazabilidad exhaustiva en toda la cadena: Sistema SW Arquitectura y Diseño SW Código fuente Verificación Revisiones, Análisis, y (en función del DAL) Configuración Líneas base, trazabilidad, control de cambios Sistema Interfaz Vuelo Diseño Sistema Diseño Interfaz Integración/ n/ Validación/ Certificación SW HW Aceptación Diseño o SW & CódigoC Diseño o HW Componentes HW Componentes Sw integración n HW integración n SW 5

6 Entorno de Desarrollo Sistema Interfaz Diseño Diseño Sistema Interfaz HW SW DOORS Rhapsody RTRT Aceptación Vuelo Integración/ n/ Validación/ Certificación Diseño o SW & CódigoC Diseño o HW Componentes HW Componentes Sw integración n HW integración n SW ClearCase ClearQuest 6

7 Solución elegida IBM Rational DOORS Gestión de requisitos funcionales CPS para la gestión de cambios en requisitos funcionales Definición de casos de prueba funcionales con módulos de verficación integrado con los resultados de la ejecución de las pruebas con trazabilidad de los requisitos Listas de verificación para revisiones (DO-178) en ambos tipos de requisitos Generación de métricas (volatilidad, complejidad, ) Trazabilidad con modelos Simulink Base de datos de definición de señales (interfaces) 7

8 Solución elegida IBM Rational Rhapsody Importación de requisitos DOORS (gateway) Diseño en UML Trazabilidad con requisitos Generador ad-hoc de informes de trazabilidad multi nivel Para target no se utiliza el generador de código (Ada/C) (no optimizado) En algunos casos, utilización de ingeniería inversa para software heredado (antiguas herramientas) Trazabilidad del diseño con pruebas unitarias y de integración SW/SW (con Rational Test Real Time) 8

9 Solución elegida Rational Test Real Time Definición/ejecución de pruebas unitarias y de integración SW/SW en host y en target (TDP) Herramienta calificada (DO-178B) con el Kit de Certificación adaptado al entorno de desarrollo Gestión de ejecución de pruebas con un script ad-hoc de cobertura decisiones (DAL-B) y de sentencias (DAL-C) en host y en target con TDP Trazabilidad 9

10 Solución elegida IBM Rational ClearCase y IBM Rational ClearQuest Control de configuración de desarrollo software Control de configuración y cambios a nivel de sistema Esquema de informe problema software con actividades de cambio derivadas (ver diagramas) Trazabilidad de los problemas con los cambios, con los requisitos y demás productos; con roles predefinidos (CCBs) 10

11 Situación final Sistemas certificados con la Autoridad de Aeronavegabilidad en: A400M (Atlas) Aviones A330 de AIRBUS de reabastecimiento en vuelo (tanqueros) 11

12 Recomendación a futuro medio largo plazo Actualización de las herramientas Rational a las nuevas basadas en Jazz Incorporación de nuevas herramientas como el Quality Manager, el Publisher Engine,.. Incorporación del modelado en especificación y diseño de sistemas (SysML) Mayor automatización, mayor integración,.. 12

13 Vídeo A400M / Reabastecimiento en vuelo 13

14 IBM Corporation All rights reserved. References in this document to IBM products or services do not imply that IBM intends to make them available in every country. Trademarks of International Business Machines Corporation in the United States, other countries, or both can be found on the World Wide Web at 14

15 Gracias 2013 IBM Corporation