The embedded systems design challenge

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4085 LNCS, Issue , 2006, Pages 1-15

  Henzinger, Thomas A ^a   Sifakis, Joseph ^b  

^a EPFL   (Switzerland)

^b VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SCIENCE; MATHEMATICAL MODELS; SYSTEMS ANALYSIS;

COMPUTATIONAL MODELS;

EMBEDDED SYSTEMS;

EID: 33749401362     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11813040_1     Document Type: Conference Paper

References (23)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3-34, 1995.
2. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A.L. Sangiovanni-Vincentelli. Metropolis: An integrated electronic system design environment. IEEE Computer, 36(4):45-52, 2003.
3. K. Balasubramanian, A.S. Gokhale, G. Karsai, J. Sztipanovits, and S. Neema. Developing applications using model-driven design environments. IEEE Computer, 39(2):33-40, 2006.
4. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, 284(5):34-43, 2001.
5. A. Burns and A. Wellings. Real-Time Systems and Programming Languages. Addison-Wesley, third edition, 2001.
6. D.E. Culler and W. Hong. Wireless sensor networks. Commununications of the ACM, 47(6):30-33, 2004.
7. L. de Alfaro and T.A. Henzinger. Interface-based design. In M. Broy, J. Grünbauer, D. Harel, and C.A.R. Hoare, editors, Engineering Theories of Software-intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry 195, pages 83-104. Springer, 2005.
8. P.J. Denning and A. McGettrick. Recentering Computer Science. Commununications of the ACM, 48(11):15-19, 2005.
9. J. Eker, J.W. Janneck, E.A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. Taming heterogeneity: The Ptolemy approach. Proceedings of the IEEE, 91(1):127-144, 2003.
10. P.H. Feiler, B. Lewis, and S. Vestal. The SAE Architecture Analysis and Design Language (AADL) Standard: A basis for model-based architecture-driven embedded systems engineering. In Proceedings of the RTAS Workshop on Model-driven Embedded Systems, pages 1-10, 2003.
11. N. Halbwachs. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.
12. D. Harel. A grand challenge for computing: Full reactive modeling of a multicellular animal. Bulletin of the EATCS, 81:226-235, 2003.
13. T.A. Henzinger, C.M. Kirsch, M.A.A. Sanvido, and W. Pree. From control models to real-time code using Giotto. IEEE Control Systems Magazine, 23(1):50-64, 2003.
14. T.A. Henzinger, E.A. Lee, A.L. Sangiovanni-Vincentelli, S.S. Sastry, and J. Sztipanovits. Mission Statement: Center for Hybrid and Embedded Software Systems, University of California, Berkeley, http://chess.eecs.berkeley.edu, 2002.
15. C.A.R. Hoare. The Verifying Compiler: A grand challenge for computing research. Journal of the ACM, 50(1):63-69, 2003.
16. ITU-T. Recommendation Z-100 Annex F1(11/00): Specification and Description Language (SDL) Formal Definition, International Telecommunication Union, Geneva, 2000.
17. H. Kopetz. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, 1997.
18. E.A. Lee. Absolutely positively on time: What would it take? IEEE Computer, 38(7):85-87, 2005.
19. P.R. Panda. SystemC: A modeling platform supporting multiple design abstractions. In Proceedings of the International Symposium on Systems Synthesis (ISSS), pages 75-80. ACM, 2001.
20. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, second edition, 2004.
21. J. Sifakis. A framework for component-based construction. In Proceedings of the Third International Conference on Software Engineering and Formal Methods (SEFM), pages 293-300. IEEE Computer Society, 2005.
22. J.A. Stankovic, I. Lee, A. Mok, and R. Rajkumar. Opportunities and obligations for physical computing systems. IEEE Computer, 38(11):23-31, 2005.
23. L. Thiele and R. Wilhelm. Design for timing predictability. Real-Time Systems, 28(2-3):157-177, 2003.