A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems

Authors:
Hanke Ben-Abdallah;Insup Lee;Jin-Young Choi
Affiliations:
-;-;-
Venue:
RTSS '95 Proceedings of the 16th IEEE Real-Time Systems Symposium
Year:
1995

Citing 0
Cited 5

A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications

IEEE Transactions on Computers
Simulation-Verification: Biting at the State Explosion Problem

IEEE Transactions on Software Engineering
Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware

IEEE Transactions on Software Engineering
Specification and analysis of real-time systems with PARAGON

Annals of Software Engineering
A Graphical Language for Specifying and Analyzing Real-Time Systems

Integrated Computer-Aided Engineering

Quantified Score

Hi-index	0.01

Visualization

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 Resources, 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.