Abstract
Graphical Communicating Shared Resources, GCSR, is a formal language for the specification and analysis of real-time systems including their functional and resource requirements. GCSR allows a modular and hierarchical, and thus, scalable specification of a real-time system. GCSR supports notions of communication through events, interrupt, concurrency, and time to describe a real-time system. In addition, GCSR allows the explicit representation of resources and priorities to arbitrate resource contention in a natural way that produces easy to understand and modify specifications. The semantics of GCSR is the Algebra of Communicating Shared Resouces, a timed process algebra with operational semantics. The process algebra provides behavioral equivalence relations which can be used to verify the correctness of one GCSR specification with respect to the other.
| Original language | English |
|---|---|
| Pages | 276-286 |
| Number of pages | 11 |
| Publication status | Published - 1995 |
| Externally published | Yes |
| Event | Proceedings of the 1995 16th IEEE Real-Time Systems Symposium - Pisa, Italy Duration: 1995 Dec 5 → 1995 Dec 7 |
Other
| Other | Proceedings of the 1995 16th IEEE Real-Time Systems Symposium |
|---|---|
| City | Pisa, Italy |
| Period | 95/12/5 → 95/12/7 |
ASJC Scopus subject areas
- Software
- Hardware and Architecture
- Computer Networks and Communications
Fingerprint
Dive into the research topics of 'Graphical language with formal semantics for the specification and analysis of real-time systems'. Together they form a unique fingerprint.Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS