Overview of an Integrated Toolset Under Development for the CSR Paradigm
The potential high cost associated with an incorrect operation of real-time systems has created a demand for a rigorous framework in which various design alternatives can be specified and analyzed before implementation. In addition, most real-time systems are costly to prototype, requiring careful prediction of timing properties before implementation and evaluation of design alternatives. In this paper, we briefly overview our approach to the specification and analysis of distributed real-time systems and a set of tools that are being developed. We then discuss various extensions that are being made to improve the applicability of the approach.
Key WordsReal-time systems specification and analysis real-time process algebra communicating shared resources toolset
Unable to display preview. Download preview PDF.
- R. Gerber and I. Lee, “CCSR: A Calculus for Communicating Shared Resources,” Proc, of CONCUR90, LNCS 458, Aug 1990.Google Scholar
- R. Gerber and 1. Lee, “A Resource-Based Prioritized Bisimulation for Real-Time Systems” to appear in Information and Computation.Google Scholar
- R. Gerber and I. Lee, “Specification and Analysis of Resource-Bound Real-Time Systems,” Proc. of REX Workshop on Real-Time: Theory in Practice, June 1991.Google Scholar
- V. Wolfe, S.B. Davidson, and L Lee, “RTC: Language Support for Real-Time Concurrency,” Proc. of IEEE Real-Time Systems Symposium, Dec 1991.Google Scholar