Topics
AdaPlace
ABSTRACT We propose a method for analyzing partially-implemented real-time systems. Here we consider real-time concurrent systems for which some components are implemented in Ada and some are partially specified using regular expressions and Graphical Interval Logic (GIL), a real-time temporal logic. We show how to construct models of the partiallyimplemented systems that account for such properties as run-time overhead and scheduling of processes, yet support tractable analysis of nontrivial programs. The approach can be fully automated, and we illustrate it by analyzing a small example
The majority of modern systems exhibit sophisticated concurrent behaviour, where several system comp...
AbstractThe notion of joint actions provides a natural execution model for a specification language,...
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We...
We propose a method for analyzing partially-implemented real-time systems. Here we consider real-tim...
Abstract—Most analysis methods for real-time systems assume that all the components of the system ar...
Real-time systems are found in an increasing variety of application elds. Usually, they are embedded...
This paper surveys the current status of our work on automated anal-ysis of the logical and timing p...
In this paper we define timed regular expressions to describe the timed behaviour of parallel real-t...
A responsive computing system is a hybrid of real-time, distributed and fault-tolerant systems. In s...
A real-time system is one that involves control of one or more physical devices with essential timin...
A software architecture is a high-level design description of a software system. In terms of the arc...
This paper describes ongoing work on the automatic constructionof formal models from Real-Time imple...
Real-time systems are found in an increasing variety of application fields. Usually, they are embedd...
Work on the formal description and analysis of real-time systems has followed two paths. On one side...
AbstractIn a companion paper, we presented an interval logic, and showed that it is elementarily dec...
The majority of modern systems exhibit sophisticated concurrent behaviour, where several system comp...
AbstractThe notion of joint actions provides a natural execution model for a specification language,...
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We...
We propose a method for analyzing partially-implemented real-time systems. Here we consider real-tim...
Abstract—Most analysis methods for real-time systems assume that all the components of the system ar...
Real-time systems are found in an increasing variety of application elds. Usually, they are embedded...
This paper surveys the current status of our work on automated anal-ysis of the logical and timing p...
In this paper we define timed regular expressions to describe the timed behaviour of parallel real-t...
A responsive computing system is a hybrid of real-time, distributed and fault-tolerant systems. In s...
A real-time system is one that involves control of one or more physical devices with essential timin...
A software architecture is a high-level design description of a software system. In terms of the arc...
This paper describes ongoing work on the automatic constructionof formal models from Real-Time imple...
Real-time systems are found in an increasing variety of application fields. Usually, they are embedd...
Work on the formal description and analysis of real-time systems has followed two paths. On one side...
AbstractIn a companion paper, we presented an interval logic, and showed that it is elementarily dec...
The majority of modern systems exhibit sophisticated concurrent behaviour, where several system comp...
AbstractThe notion of joint actions provides a natural execution model for a specification language,...
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We...
Add to ORKG