Estudio del sistema de cierre automático de puertas

Los sistemas empotrados son omnipresentes en el mundo moderno. Se utilizan en una gran variedad de aplicaciones, desde los dispositivos electrónicos de consumo más comunes hasta aplicaciones de automoción y aviónica. Una propiedad común a todos los sistemas empotrados es que interactúan con el entorno físico, a menudo derivando sus entradas del entorno circundante. Debido a los ámbitos de aplicación en los que se utilizan estos sistemas, su comportamiento suele estar limitado por propiedades funcionales (como la relación entrada-salida) y no funcionales (como el tiempo de ejecución o el consumo de energía). Esto hace que la comprobación y validación de estos sistemas sea una tarea difícil.