Real time reactive programming in lucid enriched with contexts

Lecture Notes in Computer Science

Volumn 3407, Issue , 2005, Pages 387-402

  Wan, Kaiyu ^a   Alagar, Vasu ^a   Paquet, Joey ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

Contexts; Formal verification; Intensional programming; Real time reactive programming

Indexed keywords

CONTEXT FREE LANGUAGES; LARGE SCALE SYSTEMS; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING; SYNCHRONIZATION;

CONTEXTS; FORMAL VERIFICATION; INTENSIONAL PROGRAMMING; REAL-TIME REACTIVE PROGRAMMING;

REAL TIME SYSTEMS;

EID: 24644458609     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31862-0_28     Document Type: Conference Paper

References (12)

1. Vasu S. Alagar, Joey Paquet, Kaiyu Wan. Intensional Programming for Agent Communication Proceedings of DALT'04, New York, July 2004.(post proceedings to be published by LNCS, Springer-Verlog)
2. P.Caspi, D.Pilaud, N.Halbwachs, J.A.Plaice. LUSTRE: A declarative language for programming synchronous systems. P.O.P.L. 1987
3. R. V. Guha. Contexts: A Formalization and Some Applications. Ph.d thesis, Stanford University, February 10,1995.
4. C.Heitmeyer and N.Lynch. The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems In Proceedings of the 15th IEEE Real-time Systems Symposium, RTSS'94, page 120-131, San Juan, Puerto Rico, Dec 1994.
5. H. Marchand, E.Rutten, M. Le Borgne, M. Samman. Formal verification of programs specified with signal: application to a power transformer station controller. Science of Computer Programming 41 (2001) 85-104.
6. D. Muthiayen. Real-Time Reactive System Development - A Formal Approach Based on UML and PVS. Phd. Thesis, Department of Computer Science, Concordia University, Montreal, Canada, January 2000
7. J. Paquet, P. Kropf. The GIPSY Architecture. DCW 2000, 144-153.
8. Joey Paquet. Intensional Scientific Programming Ph.D. Thesis, Département d'Informatique, Universite Laval, Quebec, Canada, 1999
9. Joey Paquet and John Plaice. Dimensions and functions as values. Proceedings of the Eleventh International Symposium on Lucid and Intensional Programming, Sun Microsystems, Palo Alto, California, USA, may 1998.
10. John Plaice. RLucid, a general real-time dataflow language. Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 363-374, Berlin, 1992.
11. J. Springintveld, F. Vaandrager, P. Dargenio. Testing Timed Automata. Theoretical Computer Science, vol. 254, pp.225-257, 2001.
12. W.W.Wadge, E.A.Ashcroft. Lucid, the dataflow programming language. Academic Press, 1985