research-article

What's Ahead for Embedded Software?

Author:

Edward A. LeeAuthors Info & Claims

Computer, Volume 33, Issue 9

Pages 18 - 26

Published: 01 September 2000 Publication History

Publisher Site

Abstract

Most of today's gadgets and cars use embedded software, which in many cases has taken over what mechanical and dedicated electronic systems used to do. Indeed, embedded software appears in everything from telephones and pagers to systems for medical diagnostics, climate control, and manufacturing. The author believes that research computer scientists have largely ignored embedded software because it has not been sufficiently complex or general to warrant the effort. There are many re-search questions but most center around one issue: how to reconcile a set of domainspecific requirements with the demands of interaction in the physical world. How do you adapt software abstractions designed merely to transform data to meet requirements like realtime constraints, concurrency, and stringent safety considerations? The answer to this question has given rise to some promising research angles discussed in this article, including novel ways to deal with concurrency and real time, and methods for augmenting component interfaces to promote safety and adaptability.

References

[1]

G.A. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, MIT Press, Cambridge, Mass., 1986.

Digital Library

Google Scholar

[2]

E.A. Lee and A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation," IEEE Trans. CAD Integrated Circuits and Systems, Dec. 1998, pp. 1217-1229.

Digital Library

Google Scholar

[3]

A. Benveniste and P. Le Guernic, "Hybrid Dynamical Systems Theory and the SIGNAL Language," IEEE Trans. Automatic Control, May 1990, pp. 525-546.

Google Scholar

[4]

L. Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System," Comm. ACM, July 1978, pp. 558-565.

Crossref

Google Scholar

[5]

R. Allen and D. Garlan, "Formalizing Architectural Connection," Proc. 16th Int'l Conf. Software Eng. (ICSE 94), IEEE CS Press, Los Alamitos, Calif., 1994, pp. 71-80.

Crossref

Google Scholar

[6]

T.A. Henzinger, "The Theory of Hybrid Automata," Proc. 11th Symp. Logic in Computer Science, IEEE CS Press, Los Alamitos, Calif., 1996, pp. 278-292.

Crossref

Google Scholar

[7]

A. Girault B. Lee and E.A. Lee, "Hierarchical Finite State Machines with Multiple Concurrency Models," IEEE Trans. CAD Integrated Circuits and Systems, June 1999, pp. 742-760.

Crossref

Google Scholar

[8]

D. Harel, et al., "STATEMATE: A Working Environment for the Development of Complex Reactive Systems," IEEE Trans. Software Eng., Apr. 1990, pp. 403-414.

Digital Library

Google Scholar

[9]

W.T. Trotter, Combinatorics and Partially Ordered Sets, Johns Hopkins Univ. Press, Baltimore, 1992.

Google Scholar

[10]

P. Martin-Löf, "Constructive Mathematics and Computer Programming," in Logic, Methodology, and Philosophy of Science VI, North-Holland, Amsterdam, 1980, pp. 153-175.

Google Scholar

[11]

J.K. Ousterhout, "Scripting: Higher Level Programming for the 21st Century," Computer, Mar. 1998, pp. 22-30.

Crossref

Google Scholar

[12]

N. Abu-Ghazaleh, et al., "Orbit—A Framework for High Assurance System Design and Analysis," Tech. Report TR 211/01/98/ECECS, Univ. of Cincinnati, 1998.

Google Scholar

[13]

D. Lea, Concurrent Programming in Java: Design Principles and Patterns, Addison-Wesley, Reading, Mass., 1997.

Crossref

Google Scholar

[14]

R.E. Johnson, "Frameworks = (Components + Patterns)," Comm. ACM, Oct. 1997, pp. 39-42.

Digital Library

Google Scholar

Cited By

View all

Alur RGiacobbe MHenzinger TLarsen KMikučionis M(2022)Continuous-Time Models for System Design and AnalysisComputing and Software Science10.1007/978-3-319-91908-9_22(452-477)Online publication date: 11-Mar-2022
https://dl.acm.org/doi/10.1007/978-3-319-91908-9_22
Yan GJiao LWang SWang LZhan N(2020)Automatically Generating SystemC Code from HCSP Formal ModelsACM Transactions on Software Engineering and Methodology10.1145/336000229:1(1-39)Online publication date: 30-Jan-2020
https://dl.acm.org/doi/10.1145/3360002
Voelter MDeursen AKolb BEberle S(2015)Using C language extensions for developing embedded software: a case studyACM SIGPLAN Notices10.1145/2858965.281427650:10(655-674)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814276
Show More Cited By

Index Terms

What's Ahead for Embedded Software?
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. General and reference
  1. Document types
    1. Surveys and overviews

Recommendations

Embedded software education: an RTOS-based approach
Special Issue on Embedded and Cyber-Physical Systems Education

Embedded computer systems are proliferating, but the complexities of embedded software make it increasingly difficult to produce systems that are robust and reliable. These challenges increase as embedded systems are connected to networks and relied on ...
Trends in Embedded Software Engineering

Software's importance in the development of embedded systems has been growing rapidly over the last 20 years. Because of current embedded systems' complexity, they require sophisticated engineering methods for systematically developing high-quality ...
Review of "Testing Embedded Software by Bart Broekman and Edwin Notenboom"; Addison Wesley.; 2003

This book discusses testing of software and software-rich systems; particularly those that are embedded in larger Hardware/Software systems. On the other hand, to describe it another way, this book is one of those books that make writing book reviews ...

Comments

Information & Contributors

Information

Published In

Computer Volume 33, Issue 9

September 2000

71 pages

ISSN:0018-9162

Issue’s Table of Contents

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 September 2000

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

58
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 03 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Alur RGiacobbe MHenzinger TLarsen KMikučionis M(2022)Continuous-Time Models for System Design and AnalysisComputing and Software Science10.1007/978-3-319-91908-9_22(452-477)Online publication date: 11-Mar-2022
https://dl.acm.org/doi/10.1007/978-3-319-91908-9_22
Yan GJiao LWang SWang LZhan N(2020)Automatically Generating SystemC Code from HCSP Formal ModelsACM Transactions on Software Engineering and Methodology10.1145/336000229:1(1-39)Online publication date: 30-Jan-2020
https://dl.acm.org/doi/10.1145/3360002
Voelter MDeursen AKolb BEberle S(2015)Using C language extensions for developing embedded software: a case studyACM SIGPLAN Notices10.1145/2858965.281427650:10(655-674)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814276
Voelter MDeursen AKolb BEberle SAldrich JEugster P(2015)Using C language extensions for developing embedded software: a case studyProceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2814270.2814276(655-674)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2814270.2814276
Falk JSchwarzer TZhang LGlaß MTeich J(2015)Automatic communication-driven virtual prototyping and design for networked embedded systemsMicroprocessors & Microsystems10.1016/j.micpro.2015.08.00839:8(1012-1028)Online publication date: 1-Nov-2015
https://dl.acm.org/doi/10.1016/j.micpro.2015.08.008
Ahmad ELarson BBarrett SZhan NDong Y(2014)Hybrid annexACM SIGAda Ada Letters10.1145/2692956.266317834:3(29-38)Online publication date: 18-Oct-2014
https://dl.acm.org/doi/10.1145/2692956.2663178
Ahmad ELarson BBarrett SZhan NDong YFeldman MTaft T(2014)Hybrid annexProceedings of the 2014 ACM SIGAda annual conference on High integrity language technology10.1145/2663171.2663178(29-38)Online publication date: 18-Oct-2014
https://dl.acm.org/doi/10.1145/2663171.2663178
Nghiem TPappas GAlur RGirard A(2012)Time-Triggered Implementations of Dynamic ControllersACM Transactions on Embedded Computing Systems10.1145/2331147.233116811:S2(1-24)Online publication date: 1-Aug-2012
https://dl.acm.org/doi/10.1145/2331147.2331168
Faldella ETucci P(2011)A portable infrastructure supporting global scheduling of embedded real-time applications on asymmetric MPSoCsProceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part II10.5555/2075462.2075497(331-342)Online publication date: 24-Oct-2011
https://dl.acm.org/doi/10.5555/2075462.2075497
Kumar AFernando SManoharan M(2011)Bringing soccer to the field of real-time embedded systems educationProceedings of the 6th Workshop on Embedded Systems Education10.1145/2077370.2077377(46-52)Online publication date: 13-Oct-2011
https://dl.acm.org/doi/10.1145/2077370.2077377
Show More Cited By

Abstract

References

Cited By

Index Terms

Recommendations

Embedded software education: an RTOS-based approach

Trends in Embedded Software Engineering

Review of "Testing Embedded Software by Bart Broekman and Edwin Notenboom"; Addison Wesley.; 2003

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations