El desarrollo de software en sistemas críticos para la seguridad

Abstract

Las numerosas actividades que frecuentemente dependen de los sistemas computarizados se han incrementado a través de los años. El software, que define a los componentes lógicos necesarios para la realización de las tareas específicas, se convirtió en un elemento fundamental para el desempeño eficaz de los sistemas. La inclusión de actividades calificadas como críticas para la seguridad ha planteado nuevos desafíos para el desarrollo de software en forma segura. Las consecuencias de un funcionamiento defectuoso del software en dichos sistemas pueden ser tan graves como para llegar a provocar la muerte o heridas a las personas, afectando a la seguridad y el bienestar público. El presente trabajo de grado comprende una presentación de la temática de los Sistemas Críticos para la Seguridad en distintas actividades para luego profundizar en una de ellas, la Aviación, investigando y evaluando las exigencias específicas que establecen la serie de estándares internacionales DO-178, la problemática planteada a partir de su aplicación, su impacto en las distintas etapas y tareas de un proyecto de desarrollo de software y la postulación de diversas soluciones para los aspectos mencionados. Se describen además una serie de aplicaciones reales de estos conceptos en una diversidad de sistemas existentes en las áreas relacionadas con la Aviación. The numerous activities which often rely on computerized systems have increased over the years. The software, which defines the necessary logical components to perform specific tasks, became a key element for the effective performance of the systems. The inclusion of activities classified as safety-critical has raised new challenges for secure software development. The consequences of software malfunction in such systems can be severe enough to eventually cause death or injury to persons, affecting public safety and welfare. This graduate work includes a presentation of the theme of the Safety-Critical Systems in various activities and then delves into one of them, the Aviation sector, in order to investigate and evaluate the specific requirements that are established by the series of international standards DO-178, and its impact for the different stages and tasks of a software development project. The current applications of these concepts are described in a variety of existing systems, in the areas related to Aviation.