Results 1 
2 of
2
Parametric Approach to the Specification and Analysis of Realtime System Designs based on ACSRVP
, 1998
"... To engineer reliable realtime 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 realtime systems before implementations are developed. This paper describes an ap ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
To engineer reliable realtime 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 realtime systems before implementations are developed. This paper describes an approach to the specification and analysis of scheduling problems of realtime systems. The method is based on ACSRVP, which is an extension of ACSR, a realtime process algebra, with valuepassing capabilities. Combined with the existing features of ACSR for representing time, synchronization and resource requirements, ACSRVP can be used to describe an instance of a scheduling problem as a process that has parameters of the problem as free variables. The specification is analyzed by means of a symbolic algorithm. The outcome of the analysis is a set of equations and a solution to which yields the values of the parameters that make the system schedulable. These equations can be solved using integer programming or constraint logic programming. The paper presents the theory of ACSRVP briefly and an example of the period assignment problem for ratemonotonic scheduling. We also explain our current tool implementation effort and plan for incorporating it into the existing toolset, PARAGON.
http://repository.upenn.edu/cis papers/164Parametric Approach to the Specification and Analysis of Realtime System Designs based on ACSRVP
, 1999
"... To engineer reliable realtime 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 realtime systems before implementations are developed. This paper describes an ap ..."
Abstract
 Add to MetaCart
To engineer reliable realtime 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 realtime systems before implementations are developed. This paper describes an approach to the specification and analysis of scheduling problems of realtime systems. The method is based on ACSRVP, which is an extension of ACSR, a realtime process algebra, with valuepassing capabilities. Combined with the existing features of ACSR for representing time, synchronization and resource requirements, ACSRVP can be used to describe an instance of a scheduling problem as a process that has parameters of the problem as free variables. The specification is analyzed by means of a symbolic algorithm. The outcome of the analysis is a set of equations and a solution to which yields the values of the parameters that make the system schedulable. These equations can be solved using integer programming or constraint logic programming. The paper presents the theory of ACSRVP briefly and an example of the period assignment problem for ratemonotonic scheduling. We also explain our current tool implementation effort and plan for incorporating it into the existing toolset, PARAGON.