Towards a discipline of real-time programming

Authors:
N. Wirth
Affiliations:
Federal Institute of Technology (ETH), Zürich, Switzerland, Xerox Corporation, Palo Alto Research Center
Venue:
Proceedings of an ACM conference on Language design for reliable software
Year:
1977

Citing 0
Cited 2

Design considerations for the VLSI processor of X-TREE

ISCA '79 Proceedings of the 6th annual symposium on Computer architecture
X-Tree: A tree structured multi-processor computer architecture

ISCA '78 Proceedings of the 5th annual symposium on Computer architecture

Quantified Score

Hi-index	0.00

Visualization

Abstract

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