Documentación y desarrollo de un sistema de alta integridad mediante el estándar DO-178

Resumen

La educación universitaria cuenta con deficiencias en determinados aspectos, siendo uno de ellos el desarrollo de software de alta integridad. Estos sistemas están regulados mediante una serie de estándares que garantizan que funcionarán correctamente en cualquier caso. El conocimiento de estos estándares es muy valorado por la industria, pero su estudio es difícil y tedioso por no haber ejemplos disponibles. Para ayudar a divulgar el conocimiento sobre estos estándares en este proyecto se desarrollará un sistema simple en Ada para ilustrar como se realiza un desarrollo siguiendo el estándar DO-178B, utilizado en sistemas de aviónica, para sistemas de alta integridad. Durante el desarrollo se generará la documentación que se requiere para pasar el proceso de certificación tal y como lo estipula el estándar, así como el proceso de certificación establecido por la EASA (Agencia Europea de Seguridad Aérea). Se empezará por la planificación pasando posteriormente al análisis de requisitos y diseño. Una vez que el sistema haya sido diseñado se codificará en Ada y se pasará a la fase de pruebas y validación del software. Con esto se espera ayudar a futuros alumnos a familiarizarse con los sistemas de alta integridad e incluso que apliquen partes de estos estándares en sistemas no críticos a fin de incrementar su fiabilidad y seguridad.