Conceptos básicos en el desarrollo de sistemas digitales de seguridad

Abstract

Cada vez existen más sistemas digitales en nuestro entorno. Muchos de ellos son sistemas críticos de seguridad, ya que la aparición de un fallo en su comportamiento puede producir peligros para la vida humana o para el entorno, así como pérdidas económicas. Este artículo presenta el trabajo que se está realizando para la obtención de un entorno integrado de desarrollo de sistemas digitales críticos de seguridad. Para conseguir una integración real, la información del sistema que se está desarrollando debe estar codificada en un modelo de comportamiento único, orientado a simulación, que se usará durante todo el ciclo de vida a lo largo de sucesivos prototipos.