Augusto Burgueño Arjona, Frédéric Boniol
En este artículo presentamos un mecanismo formal basado en la teoría de sistemas híbridos para representar la planificación de procesos concurrentes bajo restricciones de tiempo real. Este mecanismo nos permite verificar las propiedades temporales de cualquier planificación. Consideramos procesos convencionales que proporcionan un resultado correcto tras un tiempo de ejecución fijo y procesos anytime o interruptibles que pueden ser consultados en cualquier instante de la ejecución para obtener una respuesta cuya calidad aumenta con el tiempo. Introducimos una nueva clase de sistemas híbridos denominada sistemas híbrido a relojes dinámicos que son una generalización de los sistemas híbridos lineares. Asimismo mostramos que esta clase de sistemas híbridos son adecuados para la especificación de sistemas reactivos constituidos por procesos convencionales e interruptibles, e indicamos que bajo ciertas circunstancias la verificación de las propiedades temporales es decidible.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados