Toward a discipline of real-time programming-Reference-Cited by-同舟云学术

Toward a discipline of real-time programming

Published:1977-08 Issue:8 Volume:20 Page:577-583
ISSN:0001-0782
Container-title:Communications of the ACM
language:en
Short-container-title:Commun. ACM

Author:

Wirth Niklaus¹

Affiliation:

1. ETH, Zürich, Switzerland and Xerox Palo Alto Research Center, Palo Alto, CA

Abstract

Programming is divided into three major categories with increasing complexity of reasoning in program validation: sequential programming, multiprogramming, and real-time programming. By adhering to a strict programming discipline and by using a suitable high-level language molded after this discipline, the complexity of reasoning about concurrency and execution time constraints may be drastically reduced. This may be the only practical way to make real-time systems analytically verifiable and ultimately reliable. A possible discipline is outlined and expressed in terms of the language Modula.

Publisher

Association for Computing Machinery (ACM)

Subject

General Computer Science

Link

https://dl.acm.org/doi/pdf/10.1145/359763.359798

Reference6 articles.

1. Brinch Hansen P. Operating System Principles. Prentice-Hall Englewood Cliffs N.J. 1973. Brinch Hansen P. Operating System Principles. Prentice-Hall Englewood Cliffs N.J. 1973.

2. Monitors

3. Proving monitors

Cited by 119 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Time for All Programs, Not Just Real-Time Programs;Lecture Notes in Computer Science;2021

2. Grounding Concepts and Methods of Real-Time Scheduling in Reality Using Arduino;IEEE Transactions on Education;2020-08

3. On Enabling Technologies for the Internet of Important Things;IEEE Access;2019

4. Deterministic Timing for the Industrial Internet of Things;2018 IEEE International Conference on Industrial Internet (ICII);2018-10

5. Software Engineering in a British Defence Project in 1970;This Changes Everything – ICT and Climate Change: What Can We Do?;2018