Software engineering with Ada
Real-time Euclid: a language for reliable real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Real-time systems and their programming languages
Real-time systems and their programming languages
Comparative evaluation of high-level real-time programming languages
Real-Time Systems
Object-oriented real-time language design: constructs for timing constraints
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
A framework for building dependable systems
The Computer Journal - Special issue on methodologies (systems and software)
DROL: an object-oriented programming language for distributed real-time systems
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Composing synchronization and real-time constraints
Journal of Parallel and Distributed Computing - Special issue on object-oriented real-time systems
Constructing Predictable Real Time Systems
Constructing Predictable Real Time Systems
Real-Time Specification Inheritance Anomalies and Real-Time Filters
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Timed-event abstraction and timing constraints in distributed real-time programming
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
| Hi-index | 0.00 |
In a previously published companionpaper a method for extending programming languages with timingconstructs was proposed. It was shown that the extension enablesthe construction of real-time programs that can be proven correctindependently of the properties of the machine that is used fortheir execution. It also yields a strict division of system constructioninto two phases: (1) a platform-independent programming phasethat includes the expression of timing requirements, and (2)an implementation phase where all platform dependencies are addressed.In this second paper the approach is illustrated using an exampleproblem often quoted in the literature: the mine-pump system.The two mentioned phases are described in detail for this example.First, a program is obtained in a systematic way. Then, realizationsof the program under various schemes for distribution and schedulingare considered and analyzed. A comparison with other approachesto real-time programming is given.