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

Real time systems
Semantics
Algebra
Specifications
Formal languages
Communication

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). Piscataway, NJ, United States: IEEE.

Graphical language with formal semantics for the specification and analysis of real-time systems. / Ben-Abdallah, Hanene; Lee, Insup; Choi, Jin Young.

Proceedings - Real-Time Systems Symposium. Piscataway, NJ, United States : IEEE, 1995. p. 276-286.

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

Ben-Abdallah, H, Lee, I & Choi, JY 1995, Graphical language with formal semantics for the specification and analysis of real-time systems. in Proceedings - Real-Time Systems Symposium. IEEE, Piscataway, NJ, United States, pp. 276-286, Proceedings of the 1995 16th IEEE Real-Time Systems Symposium, Pisa, Italy, 95/12/5.
Ben-Abdallah H, Lee I, Choi JY. Graphical language with formal semantics for the specification and analysis of real-time systems. In Proceedings - Real-Time Systems Symposium. Piscataway, NJ, United States: IEEE. 1995. p. 276-286
Ben-Abdallah, Hanene ; Lee, Insup ; Choi, Jin Young. / Graphical language with formal semantics for the specification and analysis of real-time systems. Proceedings - Real-Time Systems Symposium. Piscataway, NJ, United States : IEEE, 1995. pp. 276-286
@inproceedings{fb841385d49d4ba5a9292cd4cc2258bc,
title = "Graphical language with formal semantics for the specification and analysis of real-time systems",
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.",
author = "Hanene Ben-Abdallah and Insup Lee and Choi, {Jin Young}",
year = "1995",
month = "12",
day = "1",
language = "English",
pages = "276--286",
booktitle = "Proceedings - Real-Time Systems Symposium",
publisher = "IEEE",

}

TY - GEN

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

AU - Ben-Abdallah, Hanene

AU - Lee, Insup

AU - Choi, Jin Young

PY - 1995/12/1

Y1 - 1995/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0029517738&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0029517738&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0029517738

SP - 276

EP - 286

BT - Proceedings - Real-Time Systems Symposium

PB - IEEE

CY - Piscataway, NJ, United States

ER -