Embedded control systems development with giotto

Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM 2001

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

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS; MIDDLEWARE; PROGRAM COMPILERS; 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;

EMBEDDED SYSTEMS;

EID: 85053402423     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/384198.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. Neuendorer, 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.