The Embedded Systems Design Challenge

  • Thomas A. Henzinger
  • Joseph Sifakis
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4085)


We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap between safety-critical and best-effort engineering practices. We call for a coherent scientific foundation for embedded systems design, and we discuss a few key demands on such a foundation: the need for encompassing several manifestations of heterogeneity, and the need for constructivity in design. We believe that the development of a satisfactory Embedded Systems Design Science provides a timely challenge and opportunity for reinvigorating computer science.


Model Transformation Physical Constraint Execution Platform Reaction Constraint Embed System Design 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


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

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Thomas A. Henzinger
    • 1
  • Joseph Sifakis
    • 2
  1. 1.EPFLLausanne
  2. 2.VERIMAGGrenoble

Personalised recommendations