Towards a discipline of real-time programming
Niklaus Wirth · ACM SIGOPS Operating Systems Review · 1977
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 .