Avionyx SA

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