Embedded control systems development with Giotto

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 8, 2001, Pages 64-72

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

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

D.2.2 Software : Software Engineering Design Tools and Techniques, Software Architectures; D.2.3 Software : Programming Languages Language Contructs and Features

Indexed keywords

EID: 17244374065     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/384196.384208     Document Type: Article

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. Neuendorffer, 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 dataflow 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.