Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation

Abstract

The timed behavior of distributed real-time systems can be specified using a formalism called Communicating Shared Resources, or CSR. The underlying computation model of CSR is resource-based in which multiple resources execute synchronously, while processes assigned to the same resource are interleaved according to their priorities. CSR bridges the gap between an abstract computation model and implementation environments, but is too complex to be treated as a process algebra. We therefore give a calculus for CSR (CCSR), that provides the ability to perform equivalence proofs by syntactic manipulation. We illustrate how a CSR specification can be translated into the CCSR formalism using a periodic timed producer-consumer example, and how a translated CSR specification can be shown correct using syntactic manipulations. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-91-31. This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/367 Communicating Shared Resources: A Paradigm For Integrating Real-Time Specificat ion And Implement at ion MS-CIS-91-31 GRASP LAB 259 Insup Lee Susan Davidson Richard Gerber Department of Computer and Information Science School of Engineering and Applied Science University of Pennsylvania Philadelphia, PA 19104-6389

Extracted Key Phrases

3 Figures and Tables

Cite this paper

@inproceedings{Lee2014CommunicatingSR, title={Communicating Shared Resources: A Paradigm for Integrating Real-Time Specification and Implementation}, author={Insup Lee and Susan B. Davidson and Richard Gerber}, year={2014} }