Article

The embedded systems design challenge

Authors:

Thomas A. Henzinger,

Joseph SifakisAuthors Info & Claims

FM'06: Proceedings of the 14th international conference on Formal Methods

Pages 1 - 15

https://doi.org/10.1007/11813040_1

Published: 21 August 2006 Publication History

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.

References

[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.

Cited By

Holen MSingh JOmlin CZhou JKnausgård KGoodwin M(2024)Optimizing Autonomous Vehicle Racing Using Reinforcement Learning with Pre-trained Embeddings for Dimensionality ReductionArtificial Intelligence XLI10.1007/978-3-031-77918-3_2(21-34)Online publication date: 17-Dec-2024
https://dl.acm.org/doi/10.1007/978-3-031-77918-3_2
Lee SNirjon Sde Lara EMohomed INieh JBelding E(2020)Fast and scalable in-memory deep multitask learning via neural weight virtualizationProceedings of the 18th International Conference on Mobile Systems, Applications, and Services10.1145/3386901.3388947(175-190)Online publication date: 15-Jun-2020
https://dl.acm.org/doi/10.1145/3386901.3388947
Ruiz-Martin CAl-Habashna AWainer GBelloli L(2019)Control of a quadcopter application with DEVSProceedings of the Theory of Modeling and Simulation Symposium10.5555/3338246.3338250(1-12)Online publication date: 29-Apr-2019
https://dl.acm.org/doi/10.5555/3338246.3338250
Show More Cited By

The embedded systems design challenge
1. Computer systems organization

Recommendations

Embedded systems design: scientific challenges and work directions
FMCAD '10: Proceedings of the 2010 Conference on Formal Methods in Computer-Aided Design

The development of a satisfactory Embedded Systems Design Science provides a timely challenge and opportunity for reinvigorating Computer Science.

Embedded systems are components integrating software and hardware jointly and specifically designed to ...
Rigorous embedded design: challenges and perspectives

The design of embedded systems radically differs from pure software design in that it should take into account not only the functional, but also extra-functional specifications regarding the use of resources of the execution platform such as processing ...
Introduction to Embedded Systems

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

FM'06: Proceedings of the 14th international conference on Formal Methods

August 2006

619 pages

ISBN:3540372156

Editors:
Jayadev Misra
The University of Texas at Austin
,
Tobias Nipkow
Institut für Informatik, Technische Universität, München
,
Emil Sekerinski
Department of Computing and Software, McMaster University, 1280 Main Street West, Hamilton, Ontario, Canada

Sponsors

MFE: MFE
McMaster Univ.: McMaster University
FORTIA: FORTIA
Micro Research: Micro Research
SQRL: SQRL

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 21 August 2006

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

66
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Holen MSingh JOmlin CZhou JKnausgård KGoodwin M(2024)Optimizing Autonomous Vehicle Racing Using Reinforcement Learning with Pre-trained Embeddings for Dimensionality ReductionArtificial Intelligence XLI10.1007/978-3-031-77918-3_2(21-34)Online publication date: 17-Dec-2024
https://dl.acm.org/doi/10.1007/978-3-031-77918-3_2
Lee SNirjon Sde Lara EMohomed INieh JBelding E(2020)Fast and scalable in-memory deep multitask learning via neural weight virtualizationProceedings of the 18th International Conference on Mobile Systems, Applications, and Services10.1145/3386901.3388947(175-190)Online publication date: 15-Jun-2020
https://dl.acm.org/doi/10.1145/3386901.3388947
Ruiz-Martin CAl-Habashna AWainer GBelloli L(2019)Control of a quadcopter application with DEVSProceedings of the Theory of Modeling and Simulation Symposium10.5555/3338246.3338250(1-12)Online publication date: 29-Apr-2019
https://dl.acm.org/doi/10.5555/3338246.3338250
Börsting IHesenius MRehman SGruhn V(2019)Architecture trace diagrams for cyber-physical systemsProceedings of the 13th European Conference on Software Architecture - Volume 210.1145/3344948.3344970(253-260)Online publication date: 9-Sep-2019
https://dl.acm.org/doi/10.1145/3344948.3344970
Lazreg SCordy MCollet PHeymans PMosser SAtlee JBultan TWhittle J(2019)Multifaceted automated analyses for variability-intensive embedded systemsProceedings of the 41st International Conference on Software Engineering10.1109/ICSE.2019.00092(854-865)Online publication date: 25-May-2019
https://dl.acm.org/doi/10.1109/ICSE.2019.00092
Mubeen SNolte TSjödin MLundbäck JLundbäck K(2019)Supporting timing analysis of vehicular embedded systems through the refinement of timing constraintsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0579-818:1(39-69)Online publication date: 1-Feb-2019
https://dl.acm.org/doi/10.1007/s10270-017-0579-8
Zaraket FJaber MNoureddine MFalcone Y(2019)From high-level modeling toward efficient and trustworthy circuitsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-017-0462-521:2(143-163)Online publication date: 1-Apr-2019
https://dl.acm.org/doi/10.1007/s10009-017-0462-5
Mubeen SGålnander MBucaioni ALundbäck JLundbäck KSentilles SBoehm BTrubiani CFranch XKoziolek A(2018)Timing verification of component-based vehicle software with rubus-ICEProceedings of the 1st International Workshop on Software Qualities and Their Dependencies10.1145/3194095.3194103(37-38)Online publication date: 28-May-2018
https://dl.acm.org/doi/10.1145/3194095.3194103
Geraldes AGeretti LBresolin DMuradore RFiorini PMattos LVilla T(2018)Formal Verification of Medical CPSACM Transactions on Cyber-Physical Systems10.1145/31402372:4(1-29)Online publication date: 5-Jul-2018
https://dl.acm.org/doi/10.1145/3140237
Di Alesio SSen S(2018)Using UML/MARTE to support performance tuning and stress testing in real-time systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-017-0585-x17:2(479-508)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10270-017-0585-x
Show More Cited By

View Options

View options

Figures

Tables

Media

View Table of Conten