Los sistemas reactivos, a diferencia de los puramente transformacionales, mantienen una continua interaccin con su entorno, respondiendo ante

los estmulos externos en funcin de su estado interno. Esto causa que su comportamiento sea complejo de analizar y muy sujeto a errores. Muchos de estos errores pueden causar problemas de seguridad, por lo que a menudo los sistemas reactivos son tambin sistemas crticos. Entre los formalismos utilizados para especificacin de sistemas en tiempo real y sistemas reactivos destacan los mtodos estructurados. Son mtodos operacionales que tienen amplia difusin en la industria por ser grficos, fciles de aprender, de utilizar y de revisar. Sin embargo, al no ser mtodos formales, no existe, en general la posibilidad de analizar propiedades tan importantes como pueden ser las de seguridad.