A hierarchical coordination language for interacting real-time tasks

IEEE International Conference on Embedded Software, EMSOFT 2006

Volumn , Issue , 2006, Pages 132-141

  Ghosal, Arkadeb ^a   Sangiovanni Vincentelli, Alberto ^a   Kirsch, Christoph M ^b   Henzinger, Thomas A ^c   Iercan, Daniel ^d  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF SALZBURG   (Austria)

^c EPFL   (Switzerland)

^d POLITEHNICA UNIVERSITY OF TIMISOARA   (Romania)

Author keywords

Automotive systems; Real time

Indexed keywords

HIERARCHICAL TIMING LANGUAGE (HTL); PROGRAM TASKS; TIME INVARIANCE; TIMING CONSTRAINTS;

AUTOMOTIVE ENGINEERING; CONSTRAINT THEORY; HIERARCHICAL SYSTEMS; REAL TIME SYSTEMS; SCHEDULING ALGORITHMS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34547493257     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1176887.1176907     Document Type: Conference Paper

References (18)

1. Henzinger, T.A., Horowitz. B., Kirsch, C.M.: GIOTTO: A time-triggered language for embedded programming. Proceedings of the IEEE 91 (2003) 84-99
2. Henzinger, T.A., Kirsch, C.M.: The Embedded Machine: Predictable, portable real-time code. In: Proceedings of Programming Language Design and Implementation, ACM Press (2002) 315-326
3. Ghosal, A., Henzinger, T.A., Iercan, D., Kirsch, C., Sangiovanni- Vincentelli, A.: Hierarchical timing language. Technical report, UC Berkeley (2006)
4. Tindel, K., Clark, J.: Holistic schedulability for distributed hard real-time systems. Microprocessing and Microprogramming- Euromicro Journal 40 (1994) 117-134
5. Kirsch, C., Sanvido, M., Henzinger, T.: A programmable microkernel for real-time systems. In: Proc. ACM/USENIX Conference on Virtual Execution Environments, ACM Press (2005) 35-45
6. Henzinger, T.A., Kirsch, C.M., Majumdar, R., Matic, S.: Time-safety checking for embedded programs. In: EMSOFT 02: Embedded Software. Lecture Notes in Computer Science 2491. Springer-Verlag (2002) 76-92
7. Buttazzo, G.: Hard Real-Time Computing Systems. Kluwer Academic Publisher (1997)
8. Farcas, E., Farcas, C., Pree, W., Templ, J.: Transparent distribution of real-time components based on logical execution time. SIGPLAN Not. 40 (2005) 31-39
9. Liu, J., Lee, E.A.: Timed multitasking for real-time embedded software. IEEE Control Systems Magazine 23 (2003) 65-75
10. Ghosal, A., Henzinger, T.A., Kirsch, C.M., Sanvido, M.A.A.: Event-driven programming with logical execution times. In: Hybrid Systems Computation and Control. Lecture Notes in Computer Science 2993. Springer-Verlag (2004)
11. Boussinot, F., de Simone, R.: The ESTEREL language. Proceedings of the IEEE 79 (1991) 1293-1304
12. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous datar flow programming language LUSTRE. Proceedings of the IEEE 79 (1991) 1305-1320
13. Guernic, P.L., Borgne, M.L., Gauthier, T., Maire, C.L.: Programming real time applications with SIGNAL. Proceedings of the IEEE 79 (1991) 1321-1336
14. Simulink: (http://www.mathworks.com/products/simulink/)
15. Real-Time-Workshop: (http://www.ma,thworks.com/products/rtw/)
16. Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., Culler, D.: The nesC language: A holistic approach to networked embedded systems. In: Proceedings of Programming Languages Design and Implementation, ACM Press (2003) 1-11
17. Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang. Second edn. Prentice-Hall (1996)
18. Kenny, K., Lin, K.J.: Building flexible real-time systems using the FLEX language. IEEE Computer 24 (1991) 70-78