Tiempo lógico en lenguajes de tiempo real

• Autores: Peter T. Breuer, Natividad Martínez Madrid , Andrés Marín López , Luis Sánchez Fernández , Carlos Delgado Kloos
• Localización: I Jornadas de informática. Actas: Puerto de la Cruz, 17-21 de julio de 1995 / José María Troya Linero (dir. congr.) , Casiano Rodríguez León (dir. congr.) , 1995, págs. 165-174
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

  • 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.