research-article

The Discipline of Embedded Systems Design

Authors:

Thomas A. Henzinger,

Joseph SifakisAuthors Info & Claims

Computer, Volume 40, Issue 10

Pages 32 - 40

https://doi.org/10.1109/MC.2007.364

Published: 01 October 2007 Publication History

Publisher Site

Abstract

The wall between computer science and electrical engineering has kept the potential of embedded systems at bay. It is time to build a new scientific foundation with embedded systems design as the cornerstone, which will ensure a systematic and even-handed integration of the two fields.

References

[1]

P.J. Denning and A. McGettrick, "Recentering Computer Science," Comm. ACM, vol. 48, no. 11, 2005, pp. 15–19.

Digital Library

Google Scholar

[2]

T.A. Henzinger et al., "Mission Statement: Center for Hybrid and Embedded Software Systems," Univ. of California, Berkeley;

Google Scholar

[3]

E.A. Lee, "Absolutely Positively on Time: What Would It Take?" Computer, July 2005, pp. 85–87.

Digital Library

Google Scholar

[4]

J.A. Stankovic et al., "Opportunities and Obligations for Physical Computing Systems," Computer, Nov. 2005, pp. 23–31.

Digital Library

Google Scholar

[5]

S. Graf, I. Ober, and J. Ober, "Validating Timed UML Models by Simulation and Verification," Software Tools for Technology Transfer, vol. 8, no. 2, 2006, pp. 128–145.

Digital Library

Google Scholar

[6]

T.A. Henzinger et al., "From Control Models to Real-Time Code Using Giotto," IEEE Control Systems Magazine, Feb. 2003, pp. 50–64.

Google Scholar

[7]

H. Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, 1997.

Digital Library

Google Scholar

[8]

L. de Alfaro and T.A. Henzinger, "Interface-Based Design," Engineering Theories of Software Intensive Systems, M. Broy, et al., eds., NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195, Springer, 2005, pp. 83–104.

Google Scholar

[9]

E.A. Lee and P. Varaiya, Structure and Interpretation of Signals and Systems, Addison-Wesley, 2003.

Google Scholar

[10]

P. Caspi et al., "Guidelines for a Graduate Curriculum on Embedded Software and Systems," ACM Trans. Embedded Computing Systems, vol. 4, no. 3, 2005, pp. 587–611.

Digital Library

Google Scholar

[11]

F. Balarin et al., "Metropolis: An Integrated Electronic System Design Environment," Computer, Apr. 2003, pp. 45–52.

Digital Library

Google Scholar

[12]

J. Eker et al., "Taming Heterogeneity: The Ptolemy Approach," Proc. IEEE, vol. 91, no. 1, 2003, pp. 127–144.

Crossref

Google Scholar

[13]

K. Balasubramanian et al., "Developing Applications Using Model-Driven Design Environments," Computer, Feb. 2006, pp. 33–40.

Digital Library

Google Scholar

[14]

J. Sifakis, "A Framework for Component-Based Construction," Proc. Software Eng. and Formal Methods, IEEE Press, 2005, pp. 293–300.

Digital Library

Google Scholar

Cited By

View all

Yang NCuijpers PHendriks DSchiffelers RLukkien JSerebrenik A(2023)An interview study about the use of logs in embedded software engineeringEmpirical Software Engineering10.1007/s10664-022-10258-828:2Online publication date: 11-Feb-2023
https://dl.acm.org/doi/10.1007/s10664-022-10258-8
Yun JRustamov FKim JShin Y(2022)Fuzzing of Embedded Systems: A SurveyACM Computing Surveys10.1145/353864455:7(1-33)Online publication date: 15-Dec-2022
https://dl.acm.org/doi/10.1145/3538644
Niyonkuru DWainer G(2021)A DEVS-based engine for building digital quadrupletsSimulation10.1177/0037549721100313097:7(485-506)Online publication date: 1-Jul-2021
https://dl.acm.org/doi/10.1177/00375497211003130
Show More Cited By

Index Terms

The Discipline of Embedded Systems Design

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Computer Volume 40, Issue 10

October 2007

86 pages

ISSN:0018-9162

Issue’s Table of Contents

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 October 2007

Author Tags

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

38
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 05 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Yang NCuijpers PHendriks DSchiffelers RLukkien JSerebrenik A(2023)An interview study about the use of logs in embedded software engineeringEmpirical Software Engineering10.1007/s10664-022-10258-828:2Online publication date: 11-Feb-2023
https://dl.acm.org/doi/10.1007/s10664-022-10258-8
Yun JRustamov FKim JShin Y(2022)Fuzzing of Embedded Systems: A SurveyACM Computing Surveys10.1145/353864455:7(1-33)Online publication date: 15-Dec-2022
https://dl.acm.org/doi/10.1145/3538644
Niyonkuru DWainer G(2021)A DEVS-based engine for building digital quadrupletsSimulation10.1177/0037549721100313097:7(485-506)Online publication date: 1-Jul-2021
https://dl.acm.org/doi/10.1177/00375497211003130
Fredj NHadj Kacem YAbid M(2021)An event-based approach for formally verifying runtime adaptive real-time systemsThe Journal of Supercomputing10.1007/s11227-020-03386-977:3(3110-3143)Online publication date: 1-Mar-2021
https://dl.acm.org/doi/10.1007/s11227-020-03386-9
Rojas DJiménez MSantiago-Roman A(2020)Using Modular Strategies and Outcome-Based Education for Improving an Embedded Systems Design Laboratory2020 IEEE Frontiers in Education Conference (FIE)10.1109/FIE44824.2020.9274196(1-9)Online publication date: 21-Oct-2020
https://dl.acm.org/doi/10.1109/FIE44824.2020.9274196
Knüppel ARunge TSchaefer I(2020)Scaling Correctness-by-ConstructionLeveraging Applications of Formal Methods, Verification and Validation: Verification Principles10.1007/978-3-030-61362-4_10(187-207)Online publication date: 20-Oct-2020
https://dl.acm.org/doi/10.1007/978-3-030-61362-4_10
Richard GGiri S(2019)Digital and Physical Fabrication as Multimodal LearningACM Transactions on Computing Education10.1145/324313819:3(1-35)Online publication date: 16-Jan-2019
https://dl.acm.org/doi/10.1145/3243138
Westman JNyberg M(2019)Providing tool support for specifying safety-critical systems by enforcing syntactic contract conditionsRequirements Engineering10.1007/s00766-017-0286-624:2(231-256)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s00766-017-0286-6
Platzer A(2019)The Logical Path to Autonomous Cyber-Physical SystemsQuantitative Evaluation of Systems10.1007/978-3-030-30281-8_2(25-33)Online publication date: 10-Sep-2019
https://dl.acm.org/doi/10.1007/978-3-030-30281-8_2
Westman JNyberg M(2018)Conditions of contracts for separating responsibilities in heterogeneous systemsFormal Methods in System Design10.1007/s10703-017-0294-752:2(147-192)Online publication date: 1-Apr-2018
https://dl.acm.org/doi/10.1007/s10703-017-0294-7
Show More Cited By

Cited By

Index Terms

Recommendations

Embedded Systems Handbook, Second Edition: Networked Embedded Systems

New Real-Time Operating Systems for Embedded Systems

Embedded Systems