research-article

Free access

Computing needs time

Author:

Edward A. LeeAuthors Info & Claims

Communications of the ACM, Volume 52, Issue 5

Pages 70 - 79

https://doi.org/10.1145/1506409.1506426

Published: 01 May 2009 Publication History

All formats PDF

Abstract

The passage of time is essential to ensuring the repeatability and predictability of software and networks in cyber-physical systems.

References

[1]

Abadi, M. and Lamport, L. An old-fashioned recipe for real time. ACM Transactions on Programming Languages and Systems 16, 5 (Sept. 1994), 1543--1571.

Digital Library

Google Scholar

[2]

Alur, R. and Dill, D.L. A theory of timed automata. Theoretical Computer Science 126, 2 (Apr. 1994). 183--235.

Digital Library

Google Scholar

[3]

Alur, R. and Henzinger, T. Logics and models of real time: A survey. In Real-Time: Theory in Practice: Proceedings of the REX Workshop, Vol. 600 LNCS, J.W. De Bakker, C. Huizing, W.P. De Roever, and G. Rozenberg, Eds. (Mook, The Netherlands, June 3--7). Springer, Berlin/Heidelberg 1991, 74--106.

Digital Library

Google Scholar

[4]

Barbacci, M.R. and Wing, J.M. Specifying Functional and Timing Behavior for Real-Time Applications, Technical Report ESD-TR-86--208. Carnegie Mellon University, Pittsburgh, PA, Dec. 1986.

Crossref

Google Scholar

[5]

Benveniste, A. and Berry, G. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE 79, 9 (Sept. 1991), 1270--1282.

Crossref

Google Scholar

[6]

Broy, M. Refinement of time. Theoretical Computer Science 253, 1 (Feb. 2001), 3--26.

Digital Library

Google Scholar

[7]

Buttazzo, G.C. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, Second Edition. Springer, Berlin/Heidelberg, 2005.

Digital Library

Google Scholar

[8]

deAlfaro, L. and Henzinger, T.A. Interface theories for component-based design. In Proceedings of the First International Workshop on Embedded Software, Vol. LNCS 2211. Springer, Berlin/Heidelberg, 2001, 148--165.

Digital Library

Google Scholar

[9]

Edwards, S.A. and Lee, E.A. The case for the precision timed (PRET) machine. In Proceedings of the Design Automation Conference (San Diego, CA, June 4--8). ACM Press, New York. 2007, 264--265.

Digital Library

Google Scholar

[10]

Henzinger, T.A., Horowitz, B., and Kirsch, C.M. Giotto: A time-triggered language for embedded programming. In Proceedings of the First International Workshop on Embedded Software, Vol. LNCS 2211. Springer, Berlin/ Heidelberg, 2001, 166--184.

Digital Library

Google Scholar

[11]

Kirner, R. and Puschner, P. Obstacles in worst-case execution time analysis. In Proceedings of the Symposium on Object-Oriented Real-Time Distributed Computing (Orlando, FL, May 5--7). IEEE Computer Society Press. New York, 2008, 333--339.

Digital Library

Google Scholar

[12]

Kopetz, H. and Bauer, G. The time-triggered architecture. Proceedings of the IEEE 91, 1 (Jan. 2003), 112--126.

Crossref

Google Scholar

[13]

Kopetz, H. and Suri, N. Compositional design of RT systems: A conceptual basis for specification of linking interfaces. In Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (Hakodate, Hokkaido, Japan, May 14--16). IEEE Computer Society Press, 2003, 51--60.

Digital Library

Google Scholar

[14]

Lee, E.A. The problem with threads. Computer 39, 5 (May 2006), 33--42.

Digital Library

Google Scholar

[15]

Lee, E.A and Sangiovanni-Vincentelli, A. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Circuits and Systems 17, 12 (Dec. 1998), 1217--1229.

Digital Library

Google Scholar

[16]

Lee, I., Davidson, S., and Wolfe, V. Motivating Time as a First-Class Entity, Technical Report MS-CIS-87-54. Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA, Aug. (Revised Oct.) 1987.

Google Scholar

[17]

Leung, A., Palem, K.V., and Pnueli, A. TimeC: A Time-Constraint Language for ILP Processor Compilation, Technical Report TR1998-764. New York University, New York, 1998.

Digital Library

Google Scholar

[18]

Liu, J.W.S. Real-Time Systems. Prentice-Hall, Upper Saddle River, NJ, 2000.

Google Scholar

[19]

Liu, X. and Lee, E.A. CPO Semantics of Timed Interactive Actor Networks, Technical Report EECS-2006-67. University of California, Berkeley, May 18, 2006.

Google Scholar

[20]

Maler, O., Manna, Z., and Pnueli, A. In Real-Time: Theory in Practice: Proceedings of the REX Workshop, Vol. 600 LNCS, J.W. De Bakker, C. Huizing, W.P. De Roever, and G. Rozenberg, Eds. (Mook, The Netherlands, June 3--7). Springer, Berlin/Heidelberg, 1991, 447--484.

Google Scholar

[21]

Manna, Z and Pnueli, A. The Temporal Logic of Reactive and Concurrent Systems. Springer, Berlin, 1992.

Digital Library

Google Scholar

[22]

Martin, T. Real-time programming language PEARL: Concept and characteristics. In Proceedings of the Computer Software and Applications Conference, IEEE Press, 1978, 301--306.

Google Scholar

[23]

Nghiem, T., Pappas, G.J., Girard, A., and Alur, R. Time-triggered implementations of dynamic controllers. In Proceedings of 6th ACM & IEEE Conference on Embedded Software (Seoul, Korea, Oct. 23--25). ACM Press, New York, 2006, 2--11.

Digital Library

Google Scholar

[24]

Reed, G.M. and Roscoe, A.W. A timed model for communicating sequential processes. Theoretical Computer Science 58, 1--3 (June 1988), 249--261.

Digital Library

Google Scholar

[25]

Stankovic, J.A., Lee, I., Mok, A., and Rajkumar, R. Opportunities and obligations for physical computing systems. Computer 38, 11 (Nov. 2005), 23--31.

Digital Library

Google Scholar

[26]

Stankovic, J.A. Misconceptions about real-time computing: A serious problem for next-generation systems. Computer 21, 10 (Oct. 1998), 10--19.

Digital Library

Google Scholar

[27]

Thiele, L., Wandeler, E., and Stoimenov, N. Real-time interfaces for composing real-time systems. In Proceedings of Sixth ACM & IEEE Conference on Embedded Software (Seoul, Korea, Oct. 23--25). ACM Press, New York, 2006, 34--43.

Digital Library

Google Scholar

[28]

Thiele, L. and Wilhelm, R. Design for timing predictability. Real-Time Systems 28, 2--3 (Nov. 2004), 157--177.

Digital Library

Google Scholar

[29]

Wilhelm, R., Engblom, J., Ermedahl, A., Holsti, N., Thesing, S., Whalley, D., Bernat, G., Ferdinand, C., Heckmann, R., Mitra, T., Mueller, F., Puaut, I., Puschner, P., Staschulat, J., and Stenstr, P. The worst-case execution-time problem: Overview of methods and survey of tools. ACM Transactions on Embedded Computing Systems 7, 3 (Apr. 2008), 1--53.

Digital Library

Google Scholar

[30]

Wirth, N. Toward a discipline of real-time programming. Commun. ACM 20, 8 (Aug. 1977), 577--583.

Digital Library

Google Scholar

[31]

Zhao, Y., Lee, E.A., and Liu, J. A programming model for time-synchronized distributed real-time systems. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium (Bellevue, WA, Apr. 3--6). IEEE Computer Society Press, New York. 2007, 1--10.

Digital Library

Google Scholar

Cited By

View all

Gibaut WGudwin R(2025)Building a Cognitive Twin using a distributed cognitive system and an evolution strategyCognitive Systems Research10.1016/j.cogsys.2025.10132690(101326)Online publication date: Apr-2025
https://doi.org/10.1016/j.cogsys.2025.101326
Paardekooper JBorth M(2024)Toward a Methodology for the Verification and Validation of AI-Based SystemsSAE International Journal of Connected and Automated Vehicles10.4271/12-08-01-00068:1Online publication date: 27-Jul-2024
https://doi.org/10.4271/12-08-01-0006
Broy M(2024)A Calculus for the Specification, Design, and Verification of Distributed Concurrent SystemsFormal Aspects of Computing10.1145/367208536:3(1-54)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1145/3672085
Show More Cited By

Index Terms

Computing needs time

Recommendations

All one needs to know about fog computing and related edge computing paradigms: A complete survey
Abstract
With the Internet of Things (IoT) becoming part of our daily life and our environment, we expect rapid growth in the number of connected devices. IoT is expected to connect billions of devices and humans to bring promising advantages ...
Applied Time Series Analysis and Innovative Computing
Cloud Computing: Automating the Virtualized Data Center

Comments

Information & Contributors

Information

Published In

Communications of the ACM Volume 52, Issue 5

Security in the Browser

May 2009

132 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/1506409

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 May 2009

Published in CACM Volume 52, Issue 5

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article
Popular
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

143
Total Citations
View Citations
3,501
Total Downloads

Downloads (Last 12 months)297
Downloads (Last 6 weeks)65

Reflects downloads up to 28 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Gibaut WGudwin R(2025)Building a Cognitive Twin using a distributed cognitive system and an evolution strategyCognitive Systems Research10.1016/j.cogsys.2025.10132690(101326)Online publication date: Apr-2025
https://doi.org/10.1016/j.cogsys.2025.101326
Paardekooper JBorth M(2024)Toward a Methodology for the Verification and Validation of AI-Based SystemsSAE International Journal of Connected and Automated Vehicles10.4271/12-08-01-00068:1Online publication date: 27-Jul-2024
https://doi.org/10.4271/12-08-01-0006
Broy M(2024)A Calculus for the Specification, Design, and Verification of Distributed Concurrent SystemsFormal Aspects of Computing10.1145/367208536:3(1-54)Online publication date: 17-Jun-2024
https://dl.acm.org/doi/10.1145/3672085
Jellum ESchoeberl MLee EOrlandic M(2024)Codesign of Reactor-Oriented Hardware and Software for Cyber-Physical SystemsACM Transactions on Reconfigurable Technology and Systems10.1145/367208317:4(1-30)Online publication date: 7-Nov-2024
https://dl.acm.org/doi/10.1145/3672083
Lohstroh MBateni SMenard CSchulz-Rosengarten ACastrillon JLee E(2024)Deterministic Coordination across Multiple TimelinesACM Transactions on Embedded Computing Systems10.1145/361535723:5(1-29)Online publication date: 14-Aug-2024
https://dl.acm.org/doi/10.1145/3615357
Lall SCaşcaval CIzzard MSpalink T(2024)Logical Synchrony and the Bittide MechanismIEEE Transactions on Parallel and Distributed Systems10.1109/TPDS.2024.344473935:11(1936-1948)Online publication date: 1-Nov-2024
https://dl.acm.org/doi/10.1109/TPDS.2024.3444739
Borth MDe Oliveira Filho JVan der Ploeg C(2024)Fitness Assessment of AI-Based Systems2024 Prognostics and System Health Management Conference (PHM)10.1109/PHM61473.2024.00050(235-240)Online publication date: 28-May-2024
https://doi.org/10.1109/PHM61473.2024.00050
Ahmad IIslam ZRiaz S(2024)Complexity Analysis of Industrial Scale Cyber Physical Systems2024 IEEE 7th International Conference on Industrial Cyber-Physical Systems (ICPS)10.1109/ICPS59941.2024.10639975(1-6)Online publication date: 12-May-2024
https://doi.org/10.1109/ICPS59941.2024.10639975
Broy M(2024)Time, causality, and realizability: Engineering interactive, distributed software systemsJournal of Systems and Software10.1016/j.jss.2023.111940210(111940)Online publication date: Apr-2024
https://doi.org/10.1016/j.jss.2023.111940
Pirani MCarbonari ACucchiarelli AGiretti ASpalazzi L(2024)The Meta Holonic Management Tree: review, steps, and roadmap to industrial Cybernetics 5.0Journal of Intelligent Manufacturing10.1007/s10845-024-02510-3Online publication date: 4-Nov-2024
https://doi.org/10.1007/s10845-024-02510-3
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Digital Edition

View this article in digital edition.

Digital Edition

Magazine Site

View this article on the magazine site (external)

Magazine Site

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Index Terms

Recommendations

All one needs to know about fog computing and related edge computing paradigms: A complete survey

Applied Time Series Analysis and Innovative Computing

Cloud Computing: Automating the Virtualized Data Center

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Digital Edition

Magazine Site

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations