skip to main content
research-article
Free access

Computing needs time

Published: 01 May 2009 Publication History

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.
[2]
Alur, R. and Dill, D.L. A theory of timed automata. Theoretical Computer Science 126, 2 (Apr. 1994). 183--235.
[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.
[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.
[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.
[6]
Broy, M. Refinement of time. Theoretical Computer Science 253, 1 (Feb. 2001), 3--26.
[7]
Buttazzo, G.C. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, Second Edition. Springer, Berlin/Heidelberg, 2005.
[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.
[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.
[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.
[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.
[12]
Kopetz, H. and Bauer, G. The time-triggered architecture. Proceedings of the IEEE 91, 1 (Jan. 2003), 112--126.
[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.
[14]
Lee, E.A. The problem with threads. Computer 39, 5 (May 2006), 33--42.
[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.
[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.
[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.
[18]
Liu, J.W.S. Real-Time Systems. Prentice-Hall, Upper Saddle River, NJ, 2000.
[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.
[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.
[21]
Manna, Z and Pnueli, A. The Temporal Logic of Reactive and Concurrent Systems. Springer, Berlin, 1992.
[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.
[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.
[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.
[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.
[26]
Stankovic, J.A. Misconceptions about real-time computing: A serious problem for next-generation systems. Computer 21, 10 (Oct. 1998), 10--19.
[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.
[28]
Thiele, L. and Wilhelm, R. Design for timing predictability. Real-Time Systems 28, 2--3 (Nov. 2004), 157--177.
[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.
[30]
Wirth, N. Toward a discipline of real-time programming. Commun. ACM 20, 8 (Aug. 1977), 577--583.
[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.

Cited By

View all
  • (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
  • (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
  • (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
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Communications of the ACM
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.

Check for updates

Qualifiers

  • Research-article
  • Popular
  • Refereed

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)297
  • Downloads (Last 6 weeks)65
Reflects downloads up to 28 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (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
  • (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
  • (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
  • (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
  • (2024)Deterministic Coordination across Multiple TimelinesACM Transactions on Embedded Computing Systems10.1145/361535723:5(1-29)Online publication date: 14-Aug-2024
  • (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
  • (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
  • (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
  • (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
  • (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
  • 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

Full Access

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media