Event-driven programming with logical execution times

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2993, Issue , 2004, Pages 357-371

  Ghosal, Arkadeb ^a   Henzinger, Thomas A ^a   Kirsch, Christoph M ^a   Sanvido, Marco A A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; EMBEDDED SYSTEMS; HIGH LEVEL LANGUAGES; HYBRID SYSTEMS; REAL TIME SYSTEMS;

ASYNCHRONOUS EVENT; EVENT FILTERS; EVENT-DRIVEN PROGRAMMING; HARD REAL-TIME; LOGICAL EXECUTION TIME; RUN TIME SYSTEMS; TIME TRIGGERED; TREE-BASED;

PROGRAM COMPILERS;

EID: 34547458434     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24743-2_24     Document Type: Article

References (20)

1. Burns, A., Wellings, A.: Real-Time Systems and Programming Languages. Addison-Wesley (2001)
2. Buttazzo, G.: Hard Real-Time Computing Systems. Kluwer (1997)
3. Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer (1993)
4. Girault, A., Menier, C.: Automatic production of globally asynchronous, locally synchronous systems. In: Embedded Software. LNCS 2491. Springer (2002) 266-281
5. Girault, A., Nicollin, X.: Clock-driven automatic distribution of Lustre programs. In: Embedded Software. LNCS 2855. Springer (2003) 206-222
6. Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A., Pree, W.: From control models to real-time code using GIOTTO. IEEE Control Systems Magazine 23 (2003) 50-64
7. Henzinger, T.A., Horowitz, B., Kirsch, C.M.: GIOTTO: a time-triggered language for embedded programming. Proc. IEEE 91 (2003) 84-99
8. Sanvido, M.A.A., Ghosal, A., Henzinger, T.A.: xGiorro language report. Technical Report UCB//CSD-03-1261, UC Berkeley (2003)
9. Henzinger, T. A., Kirsch, C.M.: The Embedded Machine: predictable, portable real-time code. In: Proc. Programming Language Design and Implementation, ACM (2002) 315-326
10. Henzinger, T.A., Kirsch, C.M., Majumdar, R., Matic, S.: Time-safety checking for embedded programs. In: Embedded Software. LNCS 2491. Springer (2002) 76-92
11. Kirsch, C.M., Henzinger, T. A., Sanvido, M. A. A.: A programmable microkernel for real-time systems. Technical Report UCB/CSD-03-1250, UC Berkeley (2003)
12. Liu, J., Lee, E.A.: Timed multitasking for real-time embedded software. IEEE Control Systems Magazine 23 (2003) 65-75
13. Boussinot, F., de Simone, R.: The Esterel language. Proc. IEEE 79 (1991) 1293-1304
14. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language Lustre. Proc. IEEE 79 (1991) 1305-1320
15. Bertin, V., Glosse, E., Poize, M., Pulou, J., Sifakis, J., Venier, P., Weil, D., Yovine, S.: Taxys = Esterel + Kronos. A tool for verifying real-time properties of embedded systems. In: Proc. Decision and Control, IEEE 3 (2001) 2875-2880
16. Caspi, P., Curic, A., Maignan, A., Sofronis, C., Tripakis, S., Niebert, P.: From Simulink to Scade/Lustre to TTA: a layered approach for distributed embedded applications. In: Proc. Languages, Compilers, and Tools for Embedded Systems, ACM (2003) 153-162
17. Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., Culler, D.: The nesC language: a holistic approach to networked embedded systems. In: Proc. Programming Languages Design and Implementation, ACM (2003) 1-11
18. Armstrong, J., Virding, R., Wikstróm, C., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall (1992)
19. Kligerman, E., Stoyenko, A.: Real-time Euclid: a language for reliable real-time systems. IEEE Trans. Software Engineering 12 (1986) 941-949
20. Kenny, K., Lin, K.J.: Building flexible real-time systems using the Flex language. IEEE Computer 24 (1991) 70-78