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

Hanene Ben-Abdallah, Insup Lee, Jin Young Choi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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
Title of host publicationProceedings - Real-Time Systems Symposium
Place of PublicationPiscataway, NJ, United States
PublisherIEEE
Pages276-286
Number of pages11
Publication statusPublished - 1995 Dec 1
Externally publishedYes
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

    Fingerprint

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Hardware and Architecture

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. In Proceedings - Real-Time Systems Symposium (pp. 276-286). IEEE.