Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP⋆

摘要: Abstract This paper describes an approach to the specification and analysis of scheduling problems real-time systems. The method is based on ACSR-VP, which extension ACSR, a process algebra, with value-passing capabilities parameterized processes. ACSR-VP used describe instance problem as that has parameters free variables. analyzed by means symbolic algorithm, boolean expression variables produced outcome analysis. solution identifies under what values unknown system becomes schedulable. presents theory briefly example period assignment for rate-monotonic scheduling. We also explain our current tool implementation effort plan incorporating it into existing toolset, PARAGON.