RealTimeTalk (RTT) is a design framework for developing distributed real-time applications with both hard and soft requirements. The frame-work supports design via hierarchical decomposition. We believe that object-orientation is the best way to go about struc-turing a problem, hence the RTT language is based on Smalltalk with an analysis frontend to infer type information for run-time safety, and to yield more precise estimations of execution times. Unlike most real-time systems, RTT does not force the designer to embed constructs for timing requirements, communication, and synchro-nization in the code. Rather, such information is specified on a higher level of abstraction using graphical tools. This not only keeps the code “clean ” but al...
Work on the formal description and analysis of real-time systems has followed two paths. On one side...
A formal design notation is present whose underlying computational model is object-based. The object...
Traditional real time system design and development are driven by technological requirements. With t...
When designing real-time systems, suitable languages are needed due to the special demands of these ...
The increasing use of computer based control systems in complex applications requires models and met...
RealTimeTalk is a framework and an object-oriented language for distributed hard real-time systems. ...
For many distributed applications, it is not sufficient for programs to be logically correct. In add...
This paper presents language constructs for the expression of timing and concurrency requirements in...
We propose a framework for programming real-time and embedded computer systems. The goal of the fram...
To express real-time applications, most real-time languages introduce specific constructs to specify...
RTC: Language Support For Real-Time Concurrency This paper presents language constructs for the expr...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
Programming language research should be driven by the needs of specific application domains, such as...
In hard real-time applications, programs must not only be functionally correct but must also meet ti...
The main problems related to real-time object communication in the IPTES environment are analysed in...
Work on the formal description and analysis of real-time systems has followed two paths. On one side...
A formal design notation is present whose underlying computational model is object-based. The object...
Traditional real time system design and development are driven by technological requirements. With t...
When designing real-time systems, suitable languages are needed due to the special demands of these ...
The increasing use of computer based control systems in complex applications requires models and met...
RealTimeTalk is a framework and an object-oriented language for distributed hard real-time systems. ...
For many distributed applications, it is not sufficient for programs to be logically correct. In add...
This paper presents language constructs for the expression of timing and concurrency requirements in...
We propose a framework for programming real-time and embedded computer systems. The goal of the fram...
To express real-time applications, most real-time languages introduce specific constructs to specify...
RTC: Language Support For Real-Time Concurrency This paper presents language constructs for the expr...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
Programming language research should be driven by the needs of specific application domains, such as...
In hard real-time applications, programs must not only be functionally correct but must also meet ti...
The main problems related to real-time object communication in the IPTES environment are analysed in...
Work on the formal description and analysis of real-time systems has followed two paths. On one side...
A formal design notation is present whose underlying computational model is object-based. The object...
Traditional real time system design and development are driven by technological requirements. With t...