SOFTWARE AEROESPACIAL PARA EL PROCESO DE PRUEBA ELÉCTRICA EN TIEMPO REAL

Verónica Quintero Rosas, Francisco Ibañez Salas, Gilberto García Gómez, Mario Camarillo Ramos, Heber Samuel Hernández Tabares

Resumen


Resumen

El objetivo de este trabajo es analizar las condiciones de combustible y oxígeno en un sistema aeronáutico simulado, utilizando software aeroespacial en relación a prueba eléctrica que se desarrolla en una test-bed, con funciones de modelado, diseño y análisis. Esta investigación se basa en la certificación DO-178B para evidenciar el cumplimiento de requisitos de seguridad para los sistemas que resguardan todo lo referente a combustible y oxígeno en una aeronave. Esta investigación simula mediante la tarjeta HC11 los planes de seguridad de software respecto a prueba eléctrica, definiendo tareas secuenciales analizando requisitos, análisis de nivel de código, análisis de pruebas y análisis de cambios de procesos respecto a acciones en la aeronave. Cualquier software que ordene, controle y monitoree las funciones críticas de seguridad en un módulo aviónico debe estar certificado bajo la norma DO-178B por lo cual, se utilizaron parámetros definidos en el manual de la Administración Federal de Aviación de los Estados Unidos. La prueba eléctrica está basada en el proceso de recertificación de información, respecto a sensores dedicados, instrumentos de control y análisis de base de datos. Para ello se diseñó código en MISRA C, para la interfaz de control correlacionando las acciones con los programas de simulación hechos en la tarjeta HC11. Esto es para definir la integración de la prueba eléctrica de cada instrucción lo cual hace una redundancia de operación del software, lo que permite mayor seguridad de acción en un caso de emergencia en la aeronave.

Palabra(s) Clave: Análisis de código, Prueba eléctrica, Software aeroespacial.

 

AEROSPACE SOFTWARE FOR THE REAL-TIME ELECTRICAL TEST PROCESS


Abstract

The objective of this work is to analyze the fuel and oxygen conditions in a simulated aeronautical system, using aerospace software in relation to electrical test that is developed in a test-bed, with modeling, design and analysis functions. This research is based on the DO-178B certification to demonstrate the fulfillment of safety requirements for systems that protect everything related to fuel and oxygen in an aircraft. This research simulates through the HC11 the software security plans regarding electrical test, defining sequential tasks analyzing requirements, code level analysis, analysis of tests and analysis of changes of processes with respect to actions in the aircraft.   Any software that orders, monitors and monitors critical safety functions in an avionic module must be certified under DO-178B, using parameters defined in the US Federal Aviation Administration manual. The electrical test is based on the process of recertification of information, regarding dedicated sensors, control instruments and database analysis.For this, the code was designed in MISRA C, for the control interface correlating the actions with the simulation programs made in the HC11 card. This define the integration of the electrical test of each instruction which makes a redundancy of operation of the software, which allows greater security of action in an emergency case in the aircraft.

Keywords: Aerospace software, Code analysis, Electrical test.


Texto completo:

412-425 PDF

Referencias


Ashford, L. & Sanjit, A. S. (2007). Introduction to Embedded Systems - A Cyber-Physical Systems Approach. ISBN-13: 978-0557708574

Anderson D. (2010). Aerospace Software Engineering: A Collection of Concepts. ISBN-13: 978-1563470059

FAA. (2012). Administración Federal de Aviación: https://www.faa.gov/.

Fox T. (2012). Programming and Customizing the HC11 Microcontroller. ISBN-13: 978-0071344067

Hilderman V. (2013). Avionics Certification: A Complete Guide to DO-178 (Software), DO-254 (Hardware). ISBN-13: 978-1885544254 .

Kritzinge Duan, (2009). Aircraft System Safety: Military and Civil Aeronautical Applications". ASIN: B00M3Z1I9C

Klamert M. (2014). Services Liberalization in the EU and the WTO: Concepts, Standards and Regulatory Approaches. ISBN-13: 978-1107034594

Lindeburg, M. (2012). FE Electrical and Computer Review Manual. ISBN-13: 978-1591264491.

Marcano, A. (2008). Testing: Pruebas Automatizadas con Visual Estudio.Net. ISBN-13: 978-1530299690

Molloy, D. (2011). Exploring BeagleBone: Tools and Techniques for Building with Embedded Linux. ISBN-13: 978-1118935125

National Institute of Standards and Technology [NIST] (2015). Federal Information Processing Standards Publications. ISBN-13: 978-1547148240

Rierson L. (2013). Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. ISBN-13: 978-1439813683

RTCA. (2015). Comisión Radiotécnica para la Aeronáutica: https://www.rtca.org/.


Enlaces refback

  • No hay ningún enlace refback.