SSR: Statechart with shared resources

Sung Ho Jang, Ki Seok Bang, Jin Young Choi

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

1 Citation (Scopus)

Abstract

In order to achieve an implementation correctly, it has been known that specification and its verification in early design stage is important, especially, during developing systems like safety critical systems or embedded real-time systems. Statechart is a widely used graphical formal specification language, however, it is not trivial to specify system with shared resources. In this paper, we introduce an extension of statechart, called statechart with shared resources (in short, SSR) and present process algebraic semantics of SSR. Having an abstraction of shared resources, designers can capture design requirement efficiently without any functional or implemental details of shared resources in the system. Since its semantics is based on a process algebra, SSR can be translated into a process algebra and its properties can be verified using process algebraic tools.

Original languageEnglish
Title of host publicationProceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003
Pages198-200
Number of pages3
DOIs
Publication statusPublished - 2003
Event2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003 - Auckland, New Zealand
Duration: 2003 Oct 282003 Oct 31

Publication series

NameProceedings - 2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003

Other

Other2003 IEEE Symposium on Human Centric Computing Languages and Environments, HCC 2003
Country/TerritoryNew Zealand
CityAuckland
Period03/10/2803/10/31

ASJC Scopus subject areas

  • Artificial Intelligence
  • Control and Systems Engineering

Fingerprint

Dive into the research topics of 'SSR: Statechart with shared resources'. Together they form a unique fingerprint.

Cite this