Buscar


Mostrar el registro sencillo del ítem

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


Ficheros en el ítem

Thumbnail
Nombre: RI003282.pdf
Tamaño: 2.288Mb
Formato: PDF
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem