Article thumbnail

Schedulability and Safety Analysis in the Graphical Communicating Shared Resources

By Hanêne Ben-Abdallah, Young Si Kim and Insup Lee

Abstract

Graphical Communicating Shared Resources is a formal language for the specification and analysis of real-time systems, including their functional, temporal and resource requirements. GCSR supports the explicit representation of system resources and priorities to arbitrate resource contentions. These features allow a designer to examine resource inherent constraints and to experiment with various resource allocations and scheduling disciplines in order to produce a more dependable specification. In addition, GCSR has a precise operational semantics and notions of equivalence that allow the execution and formal analysis of a specification. In this paper, we show how to model a scheduling discipline and verify schedulability and safety properties within GCSR. We illustrate our method through a mobile robotic application. 1 Introduction The Communicating Shared Resources (CSR) paradigm is an ongoing project at the University of Pennsylvania to build a formal framework for the development..

Year: 1996
OAI identifier: oai:CiteSeerX.psu:10.1.1.49.3539
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • ftp://ftp.cis.upenn.edu/pub/rt... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.