Specification and analysis of real-time systems in statecharts

Sungdeok Cha, Hyoung Seok Hong

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

2 Citations (Scopus)

Abstract

Increased use of software in controlling safety-critical systems produced an urgent need to specify and analyze behavior of these systems systematically and rigorously. Statecharts formalism, a popular extension of conventional finite state machines, has been successfully used for specifying requirements of many reactive systems including the TCAS II, an aircraft collision avoidance system. However, little has been published on specific guidelines on how one can best specify and analyze requirements in Statecharts. In this paper, we present a framework for specifying requirements of real-time systems in Statecharts and analyzing them for completeness, consistency, and safety. We use the requirements taken from an emergency shutdown system for a Korean nuclear power plant, called Wolsung SDS2, as an example.

Original languageEnglish
Title of host publicationProceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)
Place of PublicationPiscataway, NJ, United States
PublisherIEEE
Pages137-143
Number of pages7
Publication statusPublished - 1996 Jan 1
Externally publishedYes
EventProceedings of the 1996 2nd Workshop on Object-Oriented Real-Time Dependable Systems - Laguna Beach, CA, USA
Duration: 1996 Feb 11996 Feb 2

Other

OtherProceedings of the 1996 2nd Workshop on Object-Oriented Real-Time Dependable Systems
CityLaguna Beach, CA, USA
Period96/2/196/2/2

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

Fingerprint Dive into the research topics of 'Specification and analysis of real-time systems in statecharts'. Together they form a unique fingerprint.

  • Cite this

    Cha, S., & Hong, H. S. (1996). Specification and analysis of real-time systems in statecharts. In Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS) (pp. 137-143). IEEE.