Add to ORKGAuthor-contributed print itemThis paper describes the semantic! of the real-time language PSDL, which was designed for prototyping real-time systems. We focus on the aspects of the language relating to hard real-time constraints, scheduling, and functional behavior. The main contributions of the paper are to clarify the relationships between periodic and data driven operators and the interactions between timing and control constraints
This paper presents language constructs for the expression of timing and concurrency requirements in...
Author-contributed print itemThis report builds upon work previously done in the development of the ...
This paper summarises, in tabular form, the results of a wide-ranging survey of specification langua...
The denotational semantics of the Prototype System Description Language PSDL is formally described i...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
Increasingly complex systems are being designed that consist of concurrently operating and communica...
Author-contributed print itemPrototype System Description Language (PSDL) is a high level real-time ...
In this paper we propose a method for extending programming languages that enables the specification...
Formal methods have proved to be highly beneficial in the requirements specification phase of softwa...
Formal methods have proved to be highly beneficial in the requirements specification phase of softwa...
In practice, the hard real-time systems are still implemented in low-level programming languages for...
How can we take a programming language off the shelf and upgrade it into a real-time programming la...
For many distributed applications, it is not sufficient for programs to be logically correct. In add...
Work on the formal description and analysis of real-time systems has followed two paths. On one side...
RTC: Language Support For Real-Time Concurrency This paper presents language constructs for the expr...
This paper presents language constructs for the expression of timing and concurrency requirements in...
Author-contributed print itemThis report builds upon work previously done in the development of the ...
This paper summarises, in tabular form, the results of a wide-ranging survey of specification langua...
The denotational semantics of the Prototype System Description Language PSDL is formally described i...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
Increasingly complex systems are being designed that consist of concurrently operating and communica...
Author-contributed print itemPrototype System Description Language (PSDL) is a high level real-time ...
In this paper we propose a method for extending programming languages that enables the specification...
Formal methods have proved to be highly beneficial in the requirements specification phase of softwa...
Formal methods have proved to be highly beneficial in the requirements specification phase of softwa...
In practice, the hard real-time systems are still implemented in low-level programming languages for...
How can we take a programming language off the shelf and upgrade it into a real-time programming la...
For many distributed applications, it is not sufficient for programs to be logically correct. In add...
Work on the formal description and analysis of real-time systems has followed two paths. On one side...
RTC: Language Support For Real-Time Concurrency This paper presents language constructs for the expr...
This paper presents language constructs for the expression of timing and concurrency requirements in...
Author-contributed print itemThis report builds upon work previously done in the development of the ...
This paper summarises, in tabular form, the results of a wide-ranging survey of specification langua...