Embedded control systems development with giotto

LCTES 2001 - Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems

Volumn , Issue , 2001, Pages 64-72

  Henzinger, Thomas A ^a   Horowitz, Benjamin ^a   Kirsch, Christoph Meyer ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Design; Languages

Indexed keywords

CONTROL SYSTEMS; DESIGN; EMBEDDED SYSTEMS; FORMAL METHODS; PROGRAM COMPILERS; PROGRAM PROCESSORS; QUERY LANGUAGES; REAL TIME CONTROL; SAFETY ENGINEERING; SEMANTICS; TIME SWITCHES;

DESIGN METHODOLOGY; DISTRIBUTED SENSOR; EMBEDDED CONTROL SYSTEMS; LEGO MINDSTORMS ROBOTS; PLATFORM INDEPENDENCE; PLATFORM INDEPENDENT; RETARGETABLE COMPILERS; SAFETY CRITICAL APPLICATIONS;

REAL TIME SYSTEMS;

EID: 85013601208     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/384197.384208     Document Type: Conference Paper

References (12)

1. A. Benveniste, P. L. Guernic, and C. Jacquemot. Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming, 16(2):103-149, September 1991
2. G. Berry. The foundations of Esterel. In C. S. G. Plotkin and M. Tofte, editors, Proof, Language and Interaction: Essays in Honour of Robin Milner. MIT Press, 2000
3. P. Clements. A survey of architecture description languages. In Proc. 8th International Workshop on Software Specification and Design, 1996
4. J. Davis, M. Goel, C. Hylands, B. Kienhuis, E. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendor er, J. Reekie, N. Smyth, J. Tsay, and Y. Xiong. Ptolemy II: Heterogeneous concurrent modeling and design in Java. Technical Report UCB/ERL M99/44, University of California, Berkeley, CA, July 1999
5. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer, 1993
6. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataow programming language Lustre. Proceedings of the IEEE, 79(9), 1991
7. T. Henzinger. Masaccio: A formal model for embedded components. In Proc. First IFIP International Conference on Theoretical Computer Science, LNCS 1872, pages 549-563. Springer-Verlag, 2000
8. T. Henzinger, B. Horowitz, and C. Kirsch. Giotto: A time-triggered language for embedded programming. Technical Report UCB//CSD-00-1121, University of California, Berkeley, 2000. Available at: www.eecs.berkeley.edu/-fresco/giotto
9. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer, 1997
10. Y. Li and S. Malik. Performance analysis of embedded software using implicit path enumeration. ACM SIGPLAN Notices, 30(11):88-98, 1995
11. H. Theiling, C. Ferdinand, and R. Wilhelm. Fast and precise WCET prediction by separated cache and path analyses. Time-Critical Computing Systems, pages 157-179, 2000
12. S. Vestal. MetaH support for real-time multi-processor avionics. In Proc. Joint Workshop on Parallel and Distributed Real-Time Systems, pages 11-21, 1997