A Framework for Embedded Real-Time System Design

This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to ACSR with Value-passing ACSR-VP in order to model the systems that pass values between processes and change the priorities of events and timed actions dynamically. The analysis is performed by means of bisimulation or reachability analysis. The result of the analysis is predicate equations. A solution to them yields the values of the parameters that satisfy the design speci cation. We brie y describe the proposed framework in which this approach is fully automated and identify future work.

• Type: Conference
• Year: 2000
• Where: IPPS
• Authors: Jin-Young Choi, Hee-Hwan Kwak, Insup Lee
• Keywords: Distributed And Parallel Computing, IPPS 2000, Parametric Analysis, Process Algebra, Reachability Analysis