Software engineering with Ada
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
DROL: an object-oriented programming language for distributed real-time systems
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Program development by stepwise refinement
Communications of the ACM
Constructing Predictable Real Time Systems
Constructing Predictable Real Time Systems
Dedos: A Distributed Real-Time Environment
IEEE Parallel & Distributed Technology: Systems & Technology
Real-Time Specification Inheritance Anomalies and Real-Time Filters
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Platform-Independent Verification of Real-Time Programs
WPDRTS '97 Proceedings of the 1997 Joint Workshop on Parallel and Distributed Real-Time Systems (WPDRTS / OORTS '97)
Chapter I: Notes on structured programming
Structured programming
Process-Oriented Development of Embedded Systems: Modeling Behavior and Dependability
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
The many aspects of an IT-architecture
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Hi-index | 0.00 |
Considers a method for extending programming languages that enables the specification of timing properties. The way time is treated is not language-specific and the extension can therefore be included in many existing programming languages. An essential feature is that it enables the construction of (hard) real-time programs that may be proven correct independently of the properties of the machines that are used for their execution. It therefore provides a similar abstraction from the execution platform as is normal for non-real-time languages. The aim of this paper is to illustrate the method and to show how event abstraction is instrumental in obtaining the mentioned properties. We compare our approach to some other methods of including timing constraints in (object-oriented) programming languages.