Desarrollo de software integrado para sistemas críticos de seguridad

Opiniones de los lectores

El libro goza de gran prestigio por sus conocimientos prácticos y su exhaustiva cobertura de la seguridad del software para sistemas críticos. Combina principios, normas y ejemplos del mundo real, por lo que es adecuado tanto para ingenieros noveles como para los más experimentados. Sin embargo, algunos usuarios han experimentado problemas de compatibilidad con Kindle, lo que ha provocado su insatisfacción.

⬤ Bien escrito y atractivo
⬤ ejemplos prácticos
⬤ cobertura exhaustiva de normas y métodos
⬤ referencias útiles
⬤ anécdotas perspicaces
⬤ adecuado para lectores de nivel intermedio a avanzado
⬤ ideas prácticas para aplicaciones en el mundo real.

⬤ No compatible con Kindle a pesar de anunciarse como tal
⬤ algunos diagramas son difíciles de leer
⬤ puede no ser adecuado para principiantes en seguridad del software.

(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.