Desarrollo de software integrado para sistemas críticos de seguridad

Opiniones de los lectores

El libro goza de gran prestigio por su enfoque práctico del desarrollo de software de seguridad crítica, con un fuerte énfasis en la ingeniería, el diseño y la implementación. Proporciona información valiosa sobre normas, métodos y herramientas relacionados con la seguridad del software, por lo que resulta especialmente útil para ingenieros con conocimientos previos en este campo. Sin embargo, ha recibido críticas por no ser compatible con dispositivos Kindle, lo que ha decepcionado a algunos lectores que esperaban un formato digital accesible.

⬤ Bien escrito y atractivo
⬤ ejemplos prácticos
⬤ orientación exhaustiva sobre verificación y pruebas de diseño
⬤ valiosos conocimientos sobre normas de seguridad del software
⬤ incluye referencias útiles
⬤ anécdotas que ilustran puntos clave
⬤ sólida integración de prácticas reales de ingeniería con normas de seguridad.

⬤ No compatible con dispositivos Kindle a pesar de estar etiquetada como edición Kindle
⬤ algunos diagramas son difíciles de leer
⬤ puede no ser adecuado para principiantes sin conocimientos previos de sistemas críticos de seguridad.

(basado en 5 opiniones de lectores)

Título original:

Embedded Software Development for Safety-Critical Systems

Contenido del libro:

"Recomiendo encarecidamente el libro del Sr. Hobbs". - Stephen Thomas, PE, fundador y editor de FunctionalSafetyEngineer.com.

Los dispositivos críticos para la seguridad, ya sean médicos, de automoción o industriales, dependen cada vez más del correcto funcionamiento de sofisticados programas informáticos. En la última década han aparecido muchas normas sobre cómo deben diseñarse y construirse estos sistemas. Los desarrolladores, que antes sólo tenían que saber programar dispositivos para su sector, ahora deben comprender prácticas de desarrollo notablemente esotéricas y estar preparados para justificar su trabajo ante auditores externos.

En Embedded Software Development for Safety-Critical Systems se analiza el desarrollo de sistemas de seguridad crítica con arreglo a las siguientes normas: IEC 61508; ISO 26262; EN 50128; e IEC 62304. Detalla las ventajas e inconvenientes de muchas prácticas de arquitectura y diseño recomendadas en las normas, que van desde la replicación y diversificación, pasando por la detección de anomalías, hasta los llamados sistemas de "bolsa de seguridad".

Este libro, que revisa el uso de componentes de código abierto en sistemas de seguridad crítica, ha evolucionado a partir de un texto de curso utilizado por QNX Software Systems para un módulo de formación sobre creación de software embebido para dispositivos de seguridad crítica, incluidos dispositivos médicos, sistemas ferroviarios, sistemas industriales y dispositivos de asistencia al conductor en automóviles.

Aunque el libro describe herramientas de código abierto en su mayor parte, también proporciona información suficiente para que busques proveedores comerciales si decides seguir ese camino. Todas las técnicas descritas en este libro pueden estudiarse más a fondo en cientos de artículos especializados. Para facilitarle el acceso, el autor proporciona referencias que le han resultado útiles como desarrollador de software en activo. La mayoría de estas referencias se pueden descargar gratuitamente.