Real Time Reactive Programming in Lucid Enriched with Contexts

Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows real-time reactive programs to manipulate both events and state-based representations of complex systems. We show the formal specification of the Train-Gate-Controller problem, a standard case study in real-time systems community, and formally verify the safety property.

• Type: Conference
• Year: 2004
• Where: ICTAC
• Authors: Kaiyu Wan, Vasu S. Alagar, Joey Paquet
• Keywords: ICTAC 2004, Real-time Reactive Programming, Real-time Reactive Programs, first Class Objects