Abstract
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.
Supported in part by the ARTIST2 European Network of Excellence on Embedded Systems Design, by the NSF ITR Center on Hybrid and Embedded Software Systems (CHESS), and by the SNSF NCCR on Mobile Information and Communication Systems (MICS).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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)
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)
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 34–43 (2001)
Burns, A., Wellings, A.: Real-Time Systems and Programming Languages, 3rd edn. Addison-Wesley, Reading (2001)
Culler, D.E., Hong, W.: Wireless sensor networks. Commununications of the ACM 47(6), 30–33 (2004)
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)
Denning, P.J., McGettrick, A.: Recentering Computer Science. Commununications of the ACM 48(11), 15–19 (2005)
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)
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)
Halbwachs, N.: Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, Dordrecht (1993)
Harel, D.: A grand challenge for computing: Full reactive modeling of a multi-cellular animal. Bulletin of the EATCS 81, 226–235 (2003)
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)
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), http://chess.eecs.berkeley.edu
Hoare, C.A.R.: The Verifying Compiler: A grand challenge for computing research. Journal of the ACM 50(1), 63–69 (2003)
ITU-T. Recommendation Z-100 Annex F1(11/00): Specification and Description Language (SDL) Formal Definition, International Telecommunication Union, Geneva (2000)
Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)
Lee, E.A.: Absolutely positively on time: What would it take? IEEE Computer 38(7), 85–87 (2005)
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)
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual, 2nd edn. Addison-Wesley, Reading (2004)
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)
Stankovic, J.A., Lee, I., Mok, A., Rajkumar, R.: Opportunities and obligations for physical computing systems. IEEE Computer 38(11), 23–31 (2005)
Thiele, L., Wilhelm, R.: Design for timing predictability. Real-Time Systems 28(2-3), 157–177 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Henzinger, T.A., Sifakis, J. (2006). The Embedded Systems Design Challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds) FM 2006: Formal Methods. FM 2006. Lecture Notes in Computer Science, vol 4085. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11813040_1
Download citation
DOI: https://doi.org/10.1007/11813040_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37215-8
Online ISBN: 978-3-540-37216-5
eBook Packages: Computer ScienceComputer Science (R0)