Sciweavers

ICTAC
2004
Springer

Real Time Reactive Programming in Lucid Enriched with Contexts

14 years 3 months ago
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.
Kaiyu Wan, Vasu S. Alagar, Joey Paquet
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where ICTAC
Authors Kaiyu Wan, Vasu S. Alagar, Joey Paquet
Comments (0)