Specification and analysis of real-time systems in statecharts

Sung Deok Cha, Hyoung Seok Hong

Research output: Contribution to conferencePaperpeer-review

2 Citations (Scopus)


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
Number of pages7
Publication statusPublished - 1996
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


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

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)


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

Cite this