Resumen de Tiempo lógico en lenguajes de tiempo real

Peter T. Breuer, Natividad Martínez Madrid, Andrés Marín López, Luis Sánchez Fernández, Carlos Delgado Kloos

• Este artículo presenta un enfoque general para manejar los eventos de duración breve en la semántica de los lenguajes de programación de tiempo real, usando como ejemplo el lenguaje de descripción hardaware VHDL, estándar del IEEE. Introducimos infinitesimales en la línea del tiempo para modelar dichos eventos. Demostramos que esto no afecta a la semántica que modela el comportamiento en tiempo apreciable.