By Topic

Process algebraic approach to the parametric analysis of object scheduling in real-time systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Hee-Hwan Kwak ; Dept. of Comput. & Inf. Sci., Pennsylvania Univ., Philadelphia, PA, USA ; Insup Lee

Describes an approach to the specification and analysis of scheduling problems of real-time systems. The method is based on ACSR-VP (Algebra of Communicating Shared Resources with Value Passing), which is an extension of ACSR, a real-time process algebra, with value-passing capabilities and parameterized processes. A scheduling problem is described in ACSR-VP terms with unknown parameters. H.-H. Kwak et al. (1998) performed the analysis based on the notion of bisimulation, and the outcome of the analysis was a set of predicate equations with free variables. In this paper, we introduce a new approach based on reachability analysis which produces a set of predicate equations with free variables from a specification modeled in ACSR-VP terms. Our approach produce smaller number of predicate equations than the approach based on symbolic weak bisimulation proposed by Kwak et al. The solution to predicate equations identifies under what values of the unknown parameters the system becomes schedulable. Finally, we present as an example a priority assignment problem with multiprocessors in an end-to-end system

Published in:

Object-Oriented Real-Time Dependable Systems, 1999. WORDS 1999 Fall. Proceedings. Fifth International Workshop on

Date of Conference: