Composable code generation for distributed Giotto

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn , Issue , 2005, Pages 21-30

  Henzinger, Thomas A ^a   Kirsch, Christoph M ^b   Matic, Slobodan ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF SALZBURG   (Austria)

Author keywords

Distributed Compilation; Real Time

Indexed keywords

DISTRIBUTED COMPILATION; DISTRIBUTED SOFTWARE; REAL TIME;

COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; POLYNOMIALS; PROGRAM COMPILERS; REAL TIME SYSTEMS; SCHEDULING;

CODES (SYMBOLS);

EID: 31844441255     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer, 1997.
2. http://www.flexray-group.com; http://www.autosar.org.
3. T.A. Henzinger, B. Horowitz, and C.M. Kirsch. Giotto: a time-triggered language for embedded programming. In Proc. IEEE 91, pp. 84-99, 2003.
4. T.A. Henzinger, C.M. Kirsch, and S. Matic. Schedule-carrying code. In Proc. EMSOFT, LNCS 2855, pp. 241-256, Springer, 2003.
5. T.A. Henzinger and C.M. Kirsch. The Embedded Machine: predictable, portable real-time code. In Proc. PLDI, pp. 315-326, ACM, 2002.
6. C.M. Kirsch, M.A.A. Sanvido, and T.A. Henzinger. A programmable microkernel for real-time systems. In Proc. VEE, ACM, 2005.
7. C.M. Kirsch, M.A.A. Sanvido, T.A. Henzinger, and W. Pree. A Giotto-based helicopter control system. In Proc. EMSOFT, LNCS 2491, pp. 46-60, Springer, 2002.
8. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993.
9. A. Benveniste, L.P. Carloni, P. Caspi, and A.L. Sangiovanni-Vincentelli. Heterogeneous reactive systems modeling and correct-by-construction deployment. In Proc. EMSOFT, LNCS 2855, pp.35-50, Springer, 2003.
10. T.A. Henzinger, C.M. Kirsch, R. Majumdar, and S. Matic. Time-safety checking for embedded programs. In Proc. EMSOFT, LNCS 2491, pp. 76-90, Springer, 2002.
11. P. Caspi, et al. From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications. In Proc. LCTES, pp. 153-162, ACM, 2003.
12. A. Mok and X. Feng. Real-time virtual resource: a timely abstraction for embedded systems. In Proc. EMSOFT, LNCS 2491, pp. 182-196, Springer, 2002.
13. I. Shin and I. Lee. Periodic resource model for compositional real-time guarantees. In Proc. RTSS, pp. 2-13, IEEE, 2003.
14. H. Kopetz and N. Suri. Compositional design of real-time systems: a conceptual basis for the specification of linking interfaces. In Proc. ISORC, pp. 51-60, 2003.
15. J. Rushby. Partitioning in avionics architectures: requirements, mechanisms, and assurance. In NASA Contractor Report 209347, SRI International, 1999.
16. B. Hardung, T. Koelzow, and A. Krueger. Reuse of software in distributed embedded automotive systems. In Proc. EMSOFT, pp. 203-210, ACM, 2004.
17. K. Karplus and A. Strong. Digital synthesis of plucked-string and drum timbres, in Computer Music Journal 7, pp. 43-55, 1983.
18. V.Yodaiken. RTLinux Manifesto. In Proc. LinuxExpo, 1999.
19. S. Lankes, A. Jabs, and M. Reke. A time-triggered Ethernet protocol for real-time CORBA. In Proc. ISORC, pp. 215-222, 2002.
20. T.A. Henzinger and S. Matic. Distributed Schedule-Carrying Code. Tech. Rep. UCB/CSD-04-1360, 2004.
21. S. Shigero, M. Takashi, and H. Kei. On the schedulability conditions on partial time slots. In Proc. RTCSA, pp. 166-173, IEEE, 1999.