Asegurar que el software crítico se construye fiable y seguro

El software falla y estos fallos pueden tener efectos catastróficos o afectar directamente a la fiabilidad y disponibilidad de los sistemas que utilizamos frecuentemente. Varios ejemplos ocurridos recientemente muestran que, incluso sistemas desarrollados siguiendo requisitos muy estrictos y fuertes medidas de control, fallan y causan da os irreparables (ej, pérdida de vidas humanas [9]). La seguridad safety y la dependabilidad son características noinherentes y son cada vez más importantes en más áreas y dominios. Hay que implementarlas en los sistemas y sub-sistemas explícitamente, como cualquier otro requisito. Existen diferentes técnicas y métodos que se utilizan para implementarlas, para los que no hay mucha experiencia en su utilización, ni aseguran el 100% de fiabilidad o de seguridad. El desarrollo de estos productos críticos resulta más caro, pero los riesgos de no desarrollarlos y mantenerlos adecuadamente son más caros aun: nos afectan a todos y no parece que haya nadie aun velando por nuestra seguridad y satisfacción. Este artículo presenta requisitos que exigen diferentes normas internacionales para implementar software crítico y analiza sus beneficios, inconvenientes y riesgos.