Graphical language with formal semantics for the specification and analysis of real-time systems

Hanene Ben-Abdallah, Insup Lee, Jin Young Choi

Research output: Contribution to conferencePaper

9 Citations (Scopus)

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 languageEnglish
Pages276-286
Number of pages11
Publication statusPublished - 1995
EventProceedings of the 1995 16th IEEE Real-Time Systems Symposium - Pisa, Italy
Duration: 1995 Dec 51995 Dec 7

Other

OtherProceedings of the 1995 16th IEEE Real-Time Systems Symposium
CityPisa, Italy
Period95/12/595/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

    Ben-Abdallah, H., Lee, I., & Choi, J. Y. (1995). Graphical language with formal semantics for the specification and analysis of real-time systems. 276-286. Paper presented at Proceedings of the 1995 16th IEEE Real-Time Systems Symposium, Pisa, Italy, .