Abstract
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.
Article Note
This research was supported in part by ONR N00014-89-J-1131 and NSF CCR90-14621.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Gerber and I. Lee, “CCSR: A Calculus for Communicating Shared Resources,” Proc, of CONCUR90, LNCS 458, Aug 1990.
R. Gerber and 1. Lee, “A Resource-Based Prioritized Bisimulation for Real-Time Systems” to appear in Information and Computation.
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.
V. Wolfe, S.B. Davidson, and L Lee, “RTC: Language Support for Real-Time Concurrency,” Proc. of IEEE Real-Time Systems Symposium, Dec 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag/Wien
About this paper
Cite this paper
Lee, I., Davidson, S. (1993). Overview of an Integrated Toolset Under Development for the CSR Paradigm. In: Kopetz, H., Kakuda, Y. (eds) Responsive Computer Systems. Dependable Computing and Fault-Tolerant Systems, vol 7. Springer, Vienna. https://doi.org/10.1007/978-3-7091-9288-7_11
Download citation
DOI: https://doi.org/10.1007/978-3-7091-9288-7_11
Publisher Name: Springer, Vienna
Print ISBN: 978-3-7091-9290-0
Online ISBN: 978-3-7091-9288-7
eBook Packages: Springer Book Archive