Ingeniería de requisitos para sistemas de seguridad crítica

Título original:

Requirements Engineering for Safety-Critical Systems

Contenido del libro:

Los sistemas críticos para la seguridad (SCS) están cada vez más presentes en las actividades cotidianas de las personas.

En los medios de transporte, en los tratamientos médicos, en los procesos industriales, en el control del tráfico aéreo, terrestre y marítimo, y en muchas otras situaciones, utilizamos y dependemos de los SCS. La ingeniería de requisitos de cualquier sistema es crucial para el correcto desarrollo del mismo, y cobra aún más relevancia para el desarrollo de SCS.

La ingeniería de requisitos es una disciplina que se centra en el desarrollo de técnicas, métodos, procesos y herramientas que ayudan en el diseño de software y sistemas, abarcando las actividades de elicitación, análisis, modelado y especificación, validación y gestión de requisitos. La especificación completa de los requisitos del sistema sienta las bases para su diseño arquitectónico. Ofrece una descripción de los aspectos funcionales y de calidad que deben guiar la implementación y la evolución del sistema.

En este libro se tratan elementos esenciales de la ingeniería de requisitos aplicada a los SCS, como la relación entre el análisis de seguridad/peligros y la especificación de requisitos, el equilibrio entre metodologías conservadoras y ágiles durante el desarrollo de SCS, el papel de la ingeniería de requisitos en los casos de seguridad y el modelo de madurez de la ingeniería de requisitos para SCS. Este libro aporta ideas relevantes para profesionales, estudiantes e investigadores interesados en mejorar la calidad del proceso de desarrollo de SCS, haciendo de los requisitos del sistema una base sólida para mejorar la seguridad y protección de los futuros sistemas.