Overview of an Integrated Toolset Under Development for the CSR Paradigm

  • I. Lee
  • S. Davidson
Conference paper
Part of the Dependable Computing and Fault-Tolerant Systems book series (DEPENDABLECOMP, volume 7)


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 Words

Real-time systems specification and analysis real-time process algebra communicating shared resources toolset 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    R. Gerber and I. Lee, “CCSR: A Calculus for Communicating Shared Resources,” Proc, of CONCUR90, LNCS 458, Aug 1990.Google Scholar
  2. [2]
    R. Gerber and 1. Lee, “A Resource-Based Prioritized Bisimulation for Real-Time Systems” to appear in Information and Computation.Google Scholar
  3. [3]
    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
  4. [4]
    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

Copyright information

© Springer-Verlag/Wien 1993

Authors and Affiliations

  • I. Lee
    • 1
  • S. Davidson
    • 1
  1. 1.Department of Computer and Information ScienceUniversity of PennsylvaniaPhiladelphiaUSA

Personalised recommendations