Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering (1997)
Jan. 5, 1997 to Jan. 8, 1997
Hanene Ben-Abdallah , University of Pennsylvania
Insup Lee , University of Pennsylvania
Young Si Kim , Electronics and Telecommunications Research Institute
The Graphical Communicating Shared Resources, GCSR, is a specification language with a precise, operational semantics for the specification and analysis of real-time systems. GCSR allows a designer to integrate the functional and temporal requirements of a real-time system along with its run-time resource requirements. The integration is orthogonal in the sense that it produces system models that are easy to modify, e.g., to reflect different resource requirements, allocations and scheduling disciplines. In addition, it renders the verification of resource related requirements natural and straightforward. The formal semantics of GCSR allows the simulation of a system model and the thorough verification of system requirements through equivalence checking and state space exploration. This paper reviews GCSR and reports our experience with the production cell case study.
Real-time systems, formal specification, resource requirements, graphical languages.
I. Lee, Y. S. Kim and H. Ben-Abdallah, "Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements," Proceedings of ISRE '97: 3rd IEEE International Symposium on Requirements Engineering(RE), Annapolis, MD, 1997, pp. 198.