A practical algorithm for exact array dependence analysis
Communications of the ACM
Preemptive priority-based scheduling: an appropriate engineering approach
Advances in real-time systems
Real-Time Systems: Specification, Verification, and Analysis
Real-Time Systems: Specification, Verification, and Analysis
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
Efficient Simplification of Bisimulation Formulas
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
A constraint-based approach for specification and verification of real-time systems
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Symbolic Schedulability Analysis of Real-Time Systems
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
| Hi-index | 0.00 |
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 bet been processes and hange 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 specification. We briefly describe the proposed framework in which this approach is fully automated and identify future work.