Desarrollo de Software de Seguridad Crítica: Una Guía Práctica para el Software de Aviación y el Cumplimiento de la Do-178c

Opiniones de los lectores

El libro es muy elogiado por su claridad, profundidad y orientación práctica sobre la certificación DO-178C, lo que lo convierte en una lectura esencial para cualquier persona involucrada en el desarrollo de software de aviación. Destaca especialmente por su estilo de fácil lectura, su exhaustiva cobertura y la experiencia del autor. Sin embargo, hay quejas significativas sobre la calidad de impresión de la editorial, lo que dificulta la experiencia general para algunos lectores.

⬤ Fácil de leer y entender
⬤ proporciona valiosas ideas y consejos prácticos
⬤ cobertura exhaustiva de DO-178C y temas asociados
⬤ adecuado tanto para principiantes como para profesionales experimentados
⬤ incluye anécdotas de la experiencia del autor
⬤ útil para diversos desarrollos de software críticos para la seguridad fuera de la aviación.

⬤ Mala calidad de impresión que afecta a la usabilidad del libro
⬤ algunos usuarios encontraron la organización deficiente y solicitaron más ayudas visuales
⬤ cierta información se consideró repetitiva en relación con las normas existentes.

(basado en 37 opiniones de lectores)

Título original:

Developing Safety-Critical Software: A Practical Guide for Aviation Software and Do-178c Compliance

Contenido del libro:

La cantidad de software utilizado en sistemas de seguridad crítica aumenta a un ritmo vertiginoso. Al mismo tiempo, la tecnología del software cambia, los proyectos se ven presionados para desarrollar software más rápido y barato, y el software se utiliza de formas más críticas. Desarrollo de software crítico para la seguridad: A Practical Guide for Aviation Software and DO-178C Compliance le proporciona la información que necesita para desarrollar de forma eficaz y eficiente software de seguridad crítica, de vida crítica y de misión crítica para la aviación. Los principios también se aplican al software de automoción, médico, nuclear y otros dominios de seguridad crítica.

La autora, una autoridad internacional en software de seguridad crítica, ayudó a redactar la norma DO-178C y la política y directrices de la Administración Federal de Aviación de EE.UU. sobre software de seguridad crítica. En este libro, se basa en más de 20 años de experiencia como autoridad de certificación, fabricante de aviónica, integrador de aeronaves y desarrollador de software para presentar las mejores prácticas, ejemplos reales y recomendaciones concretas.

El libro incluye:

⬤ Una visión general de cómo encaja el software en los procesos de sistemas y seguridad.

⬤ Examen detallado de DO-178C y cómo aplicar eficazmente las directrices.

⬤ Conocimiento de los documentos relacionados con DO-178C sobre cualificación de herramientas (DO-330), desarrollo basado en modelos (DO-331), tecnología orientada a objetos (DO-332) y métodos formales (DO-333).

⬤ Consejos prácticos para el desarrollo con éxito de software de seguridad crítica y certificación.

⬤ Cobertura de algunos de los temas más desafiantes en el desarrollo y verificación de software de seguridad crítica, incluyendo sistemas operativos en tiempo real, partición, datos de configuración, reutilización de software, software desarrollado previamente, ingeniería inversa y externalización y deslocalización.

Una referencia inestimable para los gestores de sistemas y software, desarrolladores y personal de control de calidad, este libro proporciona una gran cantidad de información para ayudarle a desarrollar, gestionar y aprobar software de seguridad crítica con más confianza.