Add to ORKGTo engineer reliable real-time systems, it is desirable to discover timing anomalies early in the development process. However, there is little work addressing the problem of accurately predicting timing properties of real-time systems before implementations are developed. This paper describes an approach to the specification and analysis of scheduling problems of real-time systems. The method is based on ACSR-VP, which is an extension of ACSR, a real-time process algebra, with value-passing capabilities. Combined with the existing features of ACSR for representing time, synchronization and resource requirements, ACSR-VP can be used to describe an instance of a scheduling problem as a process that has parameters of the problem as free varia...
AbstractA real-time process algebra, called ACSR, has been developed to facilitate the specification...
Most research in real-time scheduling theory assumes idealized system conditions. The issues that ca...
Schedulers assign starting times to events in a system such that a set of constraints is met and sys...
To engineer reliable real-time systems, it is desirable to discover timing anomalies early in the de...
AbstractThis paper describes an approach to the specification and analysis of scheduling problems of...
AbstractThis paper describes an approach to the specification and analysis of scheduling problems of...
To engineer reliable real-time systems, it is desirable to detect timing anomalies early in the deve...
This thesis develops a general framework for symbolic analysis of real-time systems based on process...
There has recently been significant progress in the development of timed process algebras for the sp...
In this chapter, we present an overview of how timing information can be embedded in process-algebra...
This paper describes three real-time process algebras, ACSR, PACSR and ACSR-VP. ACSR is a resource-b...
AbstractThe Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extend...
Real-time applications are playing an increasingly significant role in our life. The cost and risk i...
There has recently been significant progress in the development of timed process algebras for the sp...
Recently, significant progress has been made in the development of timed process algebras for the sp...
AbstractA real-time process algebra, called ACSR, has been developed to facilitate the specification...
Most research in real-time scheduling theory assumes idealized system conditions. The issues that ca...
Schedulers assign starting times to events in a system such that a set of constraints is met and sys...
To engineer reliable real-time systems, it is desirable to discover timing anomalies early in the de...
AbstractThis paper describes an approach to the specification and analysis of scheduling problems of...
AbstractThis paper describes an approach to the specification and analysis of scheduling problems of...
To engineer reliable real-time systems, it is desirable to detect timing anomalies early in the deve...
This thesis develops a general framework for symbolic analysis of real-time systems based on process...
There has recently been significant progress in the development of timed process algebras for the sp...
In this chapter, we present an overview of how timing information can be embedded in process-algebra...
This paper describes three real-time process algebras, ACSR, PACSR and ACSR-VP. ACSR is a resource-b...
AbstractThe Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extend...
Real-time applications are playing an increasingly significant role in our life. The cost and risk i...
There has recently been significant progress in the development of timed process algebras for the sp...
Recently, significant progress has been made in the development of timed process algebras for the sp...
AbstractA real-time process algebra, called ACSR, has been developed to facilitate the specification...
Most research in real-time scheduling theory assumes idealized system conditions. The issues that ca...
Schedulers assign starting times to events in a system such that a set of constraints is met and sys...