Software
El software de alta integridad es aquel cuyo fallo puede causar daños graves con posibles "consecuencias que pongan en peligro la vida". [1] "La integridad es importante porque demuestra la seguridad, la protección y la capacidad de mantenimiento del... código". [1] Algunos ejemplos de software de alta integridad son el control de reactores nucleares , el software de aviónica , el software crítico para la seguridad automotriz y el software de control de procesos . [2] [3]
[L]a alta integridad significa que el código:
- Hace lo que deberia
- Se puede probar.
- Tiene características de seguridad.
- Carece de vulnerabilidades de seguridad.
- Es fácil de entender y seguir lógicamente.
- Es fácil de editar y actualizar sin introducir nuevos errores. [1]
Existen varios estándares aplicables al software de alta integridad, entre ellos:
- DO-178C , Consideraciones de software en la certificación de sistemas y equipos aerotransportados [4]
- CENELEC EN 50128, Aplicaciones ferroviarias. Sistemas de comunicación, señalización y procesamiento. Software para sistemas de control y protección ferroviarios [5]
- IEC 61508 , Seguridad funcional de sistemas eléctricos/electrónicos/electrónicos programables relacionados con la seguridad (E/E/PE o E/E/PES)
- ISO 26262 , Vehículos de carretera - Seguridad funcional (especialmente la 'parte 6' de la norma, que se titula "Desarrollo de productos a nivel de software" [6]
Véase también
Referencias
- ^ abc "¿Qué es la integridad del software? Descripción general + Mejores prácticas de integridad del software". perforce.com . Consultado el 15 de febrero de 2022 .
- ^ Sennett, CT (2012). Software de alta integridad. Springer Science & Business Media. pág. 1. ISBN 978-1-4684-5777-3. Consultado el 14 de febrero de 2022 .
- ^ Chapman, Rod (4 de septiembre de 2024). "Corrección por construcción: el caso de la verificación estática constructiva" (PDF) . Instituto Nacional de Normas y Tecnología . Archivado (PDF) del original el 30 de septiembre de 2006. Consultado el 4 de septiembre de 2024 .
- ^ "Desarrollo de software compatible con DO-178B/C para sistemas aerotransportados" (PDF) . Parasoft . Consultado el 14 de febrero de 2022 .
- ^ Comité Europeo de Normalización Electrotécnica (CENELEC). «CENELEC - EN 50128». Engineering360 . Consultado el 14 de febrero de 2022 .
- ^ Qi Van Eikema, Hommes (25 de enero de 2012). "EVALUACIÓN DE LA NORMA ISO 26262, "VEHÍCULOS DE CARRETERA – SEGURIDAD FUNCIONAL"" (PDF) . Departamento de Transporte de los Estados Unidos Volpe Center . Archivado (PDF) del original el 14 de julio de 2015 . Consultado el 4 de septiembre de 2024 .
Enlaces externos
- Boulanger, Jean-Louis (13 de abril de 2015). Normas CENELEC 50128 e IEC 62279. John R. Wiley and Sons. ISBN 978-1-84821-634-1.
- Winter, Victor L.; Bhattacharya, Sourav, eds. (2001). Software de alta integridad. Springer Science+Business Media, LLC. ISBN 978-1-4613-5530-4. Consultado el 14 de febrero de 2022 .
- Wallace, Dolores R.; Ippolito, Laura M.; Kuhn, D. Richard (1992). Estándares y pautas de software de alta integridad (PDF) . Instituto Nacional de Estándares y Tecnología . Consultado el 15 de febrero de 2022 .
