Giotto: A time-triggered language for embedded programming

Proceedings of the IEEE

Volumn 91, Issue 1, 2003, Pages 84-99

  Henzinger, Thomas A ^a,b   Horowitz, Benjamin ^a,b   Kirsch, Christoph M ^b  

^a IEEE   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Control systems; Embedded software; Programming languages; Real time systems

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONTROL SYSTEMS; REAL TIME SYSTEMS; SENSORS;

GIOTTO COMPILER; PLATFORM CONSTRAINTS; REAL-TIME CONSTRAINTS; TIME-TRIGGERED LANGUAGE; TIME-TRIGGERED SENSOR;

EMBEDDED SYSTEMS;

EID: 0242527741     PISSN: 00189219     EISSN: None     Source Type: Journal    
DOI: 10.1109/JPROC.2002.805825     Document Type: Article

References (26)

1. D. Langer, J. Rauch, and M. Rößler, "Fly-by-wire systems for military high-performance aircraft," in Real-Time Systems: Engineering and Applications. Norwell, MA: Kluwer, 1992, pp. 369-395.
2. R. Collinson, "Fly-by-wire flight control," Comput. Contr. Eng., vol. 10, no. 4, pp. 141-152, 1999.
3. N. Halbwachs, Synchronous Programming of Reactive Systems. Norwell, MA: Kluwer, 1993.
4. H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications. Norwell, MA: Kluwer, 1997.
5. T. Henzinger and C. Kirsch, "The Embedded Machine: Predictable, portable real-time code," in Proc. ACM SIGPLAN Conf. Program. Lang. Design Implementation, 2002, pp. 315-326.
6. S. Malik and Y.-T. Li, Performance Analysis of Real-Time Embedded Software. Norwell, MA: Kluwer, 1999.
7. H. Theiling, C. Ferdinand, and R. Wilhelm, "Fast and precise WCET prediction by separated cache and path analyzes," Real-Time Syst., vol. 18, no. 2-3, pp. 157-179, 2000.
8. M. Garey and D. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness. New York: Freeman, 1979.
9. K. Tindell and J. Clark, "Holistic schedulability analysis for distributed hard real-time systems," Microprocess. Microprogram., vol. 40, pp. 117-134, 1994.
10. P. Eles, K. Kuchcinski, Z. Peng, A. Doboli, and P. Pop, "Process scheduling for performance estimation and synthesis of hardware/software systems," in Proc. EUROMICRO Conf., 1998, pp. 168-175.
11. P. Brucker, Scheduling Algorithms. Berlin, Germany: Springer-Verlag, 2001.
12. M. Pinedo, Scheduling: Theory, Algorithms, and Systems. Englewood Cliffs, NJ: Prentice-Hall, 2002.
13. T. Henzinger, "Masaccio: A formal model for embedded components," in Lecture Notes in Computer Science, Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics. Heidelberg, Germany: Springer-Verlag, 2000, vol. 1872, pp. 549-563.
14. T. Henzinger, B. Horowitz, and C. Kirsch, "Embedded control systems development with Giotto," in Proc. ACM SIGPLAN Workshop Lang., Compilers, Tools Embedded Sys., 2001, pp. 64-72.
15. C. Kirsch, M. Sanvido, T. Henzinger, and W. Free, "A Giotto-based helicopter control system," in Lecture Notes in Computer Science, Embedded Software. Heidelberg, Germany: Springer-Verlag, 2002, vol. 2491, pp. 46-60.
16. J. Chapuis, C. Eck, M. Kottmann, M. Sanvido, and O. Tanner, "Control of helicopters," in Control of Complex Systems. Berlin, Germany: Springer-Verlag, 1999, pp. 359-392.
17. N. Wirth and J. Gutknecht, Project Oberon: The Design of an Operating System and Compiler. New York: ACM, 1992.
18. T. Henzinger, C. Kirsch, R. Majumdar, and S. Matic, "Time-safety checking for embedded programs," in Lecture Notes in Computer Science, Embedded Software. Heidelberg, Germany: Springer-Verlag, 2002, vol. 2491, pp. 76-92.
19. P. Clements, "A survey of architecture description languages," in Proc. Int. Workshop Software Specification Design, 1996, pp. 16-25.
20. H. Kopetz, R. Zainlinger, G. Fohler, H. Kantz, P. Puschner, and W. Schütz, "The design of real-time systems: From specification to implementation and verification," Softw. Eng. J., vol. 6, no. 3, pp. 72-82, 1991.
21. S. Vestal and P. Binns, "Scheduling and communication in MetaH," in Proc. 14th Annu. Real-Time Syst. Symp., 1993, pp. 194-200.
22. S. Vestal, "MetaH support for real-time multi-processor avionics," in Proc. 5th Int. Workshop Parallel Distributed Real-Time Syst., 1997, pp. 11-21.
23. G. Berry, "The foundations of Esterel," in Proof, Language and Interaction: Essays in Honor of Robin Milner, G. Plotkin, C. Stirling, and M. Tofte, Eds. Cambridge, MA: MIT Press, 2000, pp. 425-454.
24. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, "The synchronous dataflow programming language Lustre," Proc. IEEE, vol. 79, pp. 1305-1320, Sept. 1991.
25. A. Benveniste, P. Guernic, and C. Jacquemot, "Synchronous programming with events and relations: The Signal language and its semantics," Sci. Comput. Program., vol. 16, pp. 103-149, 1991.
26. J. Davis, M. Goel, C. Hylands, B. Kienhuis, E. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong, "Ptolemy II: Heterogeneous concurrent modeling and design in Java," Univ. California, Berkeley, Tech. Rep. UCB/ERL-M99/44, 1999.