Avionyx S.A. Servicios de ingeniería de software para sistemas empotrados de misión crítica Esteban Sánchez www.avionyx.com Avionyx Proprietary and Confidential Avionyx S.A. • Avionyx Inc. ha ofrecido sus servicios a la comunidad de empresas aeroespaciales desde 1989 • Avionyx S.A. inició operaciones en Costa Rica en Enero de 2005 – Cuenta con 30 profesionales en Ingeniería Eléctrica y en Computación – Cuenta entres sus clientes a algunas de las empresas más reconocidas del sector aeroespacial Avionyx Proprietary and Confidential Desarrollo bajo la norma DO-178B Los servicios de Avionyx se apegan a la norma DO-178B para la certificación de software de sistemas de aviónica Proceso de Planeación Proceso de Desarrollo Proceso de verificación y Validación Proceso de control de configuración Proceso de calidad Procesos Integrales Avionyx Proprietary and Confidential Desarrollo bajo la norma DO-178B System Processes System Safety Assessment, Human Factors, DO-254, Test Plans, Manufacturing, Thermal, EMI etc System Req Derived Requirements SQAP Audit/Transition Records Derived Requirements Software Quality Assurance Process SQA Records Conformity SDP SRS Software Requirements Process Software Design Process SRD SDD Software Coding Process Source Code Software Integration Process EOC SDS Software Planning Process SCS Software Development Processes SVP Software Verification Process Reviews SCMP PSAC Problem Reports SOI Software Configuration Management Process Certification Liaison Process Avionyx Proprietary and Confidential SVCP SVR SCI/SECI Baselines SAS SCI Archive Desarrollo bajo la norma DO-178B Nivel de Software • Depende del tipo de condición de falla del componente Nivel A Catastrófica Nivel B Peligrosa/Mayor-severa Nivel C Mayor Nivel D Menor Nivel E Sin efecto Avionyx Proprietary and Confidential Desarrollo bajo la norma DO-178B Objetivos de verificación • Aplican a todas las actividades de desarrollo • Cantidad de objetivos – – – – – Nivel A: 66 Nivel B: 65 Nivel C: 57 Nivel D: 28 Nivel E: No requiere seguir DO-178B Avionyx Proprietary and Confidential Desarrollo bajo la norma DO-178B • Proceso de Pruebas basadas en requerimientos SW Requirements Based Tests Low-Level Tests Software Integration Tests HW/SW Integration Tests SW Requirements Coverage Analysis Additional Verification Software Structure Coverage Analysis Direct Path End of Testing Avionyx Proprietary and Confidential Desarrollo bajo la norma DO-178B Herramientas • Una gran mayoría de las pruebas son manuales • Pruebas automatizadas – De caja negra: herramientas propietarias, LabView (National Instruments), SCADE (Esterel) – De caja blanca: Rational Test Real Time (IBM), VectorCast, herramientas propietarias, LDRA, Cantata Avionyx Proprietary and Confidential Gracias Avionyx Proprietary and Confidential