Especificación y validación de requerimientos para el empaquetamiento de datos en software de aviación de tipo crítico

Francisco Javier Sánchez Del Valle

Buscar

dc.rights.license	http://creativecommons.org/licenses/by-nd/4.0	es_ES
dc.contributor	Fausto Abraham Jacques García	es_ES
dc.creator	Francisco Javier Sánchez Del Valle	es_ES
dc.date	2015-08
dc.date.accessioned	2017-10-10T18:28:05Z
dc.date.available	2017-10-10T18:28:05Z
dc.date.issued	2015-08
dc.identifier	3282 - RI007423.pdf	es_ES
dc.identifier.uri	https://ri-ng.uaq.mx/handle/123456789/6203
dc.description	¿Aeronautical Radio, Incorporated Standard 429¿ (A429) es un protocolo de comunicación que establece cómo se comunican los dispositivos y sistemas aviónicos en aviones comerciales. Las organizaciones que se dedican al desarrollo de software de aviación deben contar con la aprobación y certificación de la ¿Federal Aviation Administration¿ (FAA) para que dicho software pueda ser utilizado en vuelos comerciales. La FAA reconoce el documento DO-178B como guía para garantizar la seguridad de sistemas aviónicos. DO-178B especifica que existen 5 niveles de criticidad para el software de aviación, siendo el software categoría A el más crítico. Para el caso de software de categoría A, el DO-178B dictamina que para la validación del software es necesario realizar pruebas de rango normal y pruebas de robustez con el fin de asegurar que el software puede responder a condiciones normales y anormales. El software de nivel A de los sistemas de aviación modernos es extremadamente crítico, pues dependen vidas humanas de él. Por ello es de vital importancia reconocer que la validación de los requerimientos de alto nivel es una fase crucial en el ciclo de vida del software. Un requerimiento de alto nivel es una capacidad necesaria, cuantificable y verificable de alguna función, propiedad, característica o comportamiento que el software debe de tener para resolver un problema del mundo real. Existen diferentes tipos de palabras A429 para representar diferentes tipos de datos, palabras BNR (¿Binary¿), discretas y BCD (¿Binary Coded Decimal¿). La validación de software es un método para asegurar que el comportamiento del software es adecuado para un contexto de sistema. Un procedimiento de prueba es una especificación que contiene una serie de casos de prueba relacionados a requerimientos de alto nivel. Se establece una metodología para validar requerimientos de alto nivel relacionados con el empaquetamiento de datos del protocolo A429 a través de procedimientos de prueba en los que se especifique las pruebas necesarias para asegurar que los datos se transmiten correctamente y que además cumpla con los aspectos de certificación que dictamina el documento DO-178B.	es_ES
dc.format	Adobe PDF	es_ES
dc.language.iso	spa	es_ES
dc.publisher	Universidad Autónoma de Querétaro	es_ES
dc.relation.requires	No	es_ES
dc.rights	Acceso Abierto	es_ES
dc.subject	A429	es_ES
dc.subject	DO178-B	es_ES
dc.subject	Software de aviación	es_ES
dc.title	Especificación y validación de requerimientos para el empaquetamiento de datos en software de aviación de tipo crítico	es_ES
dc.type	Tesis de maestría	es_ES
dc.contributor.role	Director	es_ES
dc.degree.name	Maestría en Software Embebido	es_ES
dc.degree.department	Facultad de Informática	es_ES
dc.degree.level	Maestría	es_ES