Real time reactive programming in lucid enriched with contexts

Authors:
Kaiyu Wan;Vasu Alagar;Joey Paquet
Affiliations:
Concordia University, Montreal, Canada;Concordia University, Montreal, Canada;Concordia University, Montreal, Canada
Venue:
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Year:
2004

Citing 8
Cited 2

LUCID, the dataflow programming language

LUCID, the dataflow programming language
Contexts: a formalization and some applications

Contexts: a formalization and some applications
Testing timed automata

Theoretical Computer Science
Formal verification of programs specified with signal: application to a power transformer station controller

Science of Computer Programming
The GIPSY Architecture

DCW '00 Proceedings of the Third International Workshop on Distributed Communities on the Web
RLucid, a General Real-Time Dataflow Language

Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Real-time reactive system development: a formal approach based on uml and pvs

Real-time reactive system development: a formal approach based on uml and pvs
Intensional programming for agent communication

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

An intensional programming approach to multi-agent coordination in a distributed network of agents

DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
An architecture for developing context-aware systems

MRC'05 Proceedings of the Second international conference on Modeling and Retrieval of Context

Quantified Score

Hi-index	0.00

Visualization

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.