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

Fingerprint

Real time systems
Specifications
Plant shutdowns
Finite automata
Collision avoidance
Nuclear power plants
Aircraft

ASJC Scopus subject areas

  • Computer Science(all)
  • Engineering(all)

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). Piscataway, NJ, United States: IEEE.

Specification and analysis of real-time systems in statecharts. / Cha, Sungdeok; Hong, Hyoung Seok.

Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS). Piscataway, NJ, United States : IEEE, 1996. p. 137-143.

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

Cha, S & Hong, HS 1996, Specification and analysis of real-time systems in statecharts. in Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS). IEEE, Piscataway, NJ, United States, pp. 137-143, Proceedings of the 1996 2nd Workshop on Object-Oriented Real-Time Dependable Systems, Laguna Beach, CA, USA, 96/2/1.
Cha S, Hong HS. Specification and analysis of real-time systems in statecharts. In Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS). Piscataway, NJ, United States: IEEE. 1996. p. 137-143
Cha, Sungdeok ; Hong, Hyoung Seok. / Specification and analysis of real-time systems in statecharts. Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS). Piscataway, NJ, United States : IEEE, 1996. pp. 137-143
@inproceedings{0c7f5e1738ae4a3aac5938af38c85dc2,
title = "Specification and analysis of real-time systems in statecharts",
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.",
author = "Sungdeok Cha and Hong, {Hyoung Seok}",
year = "1996",
month = "1",
day = "1",
language = "English",
pages = "137--143",
booktitle = "Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)",
publisher = "IEEE",

}

TY - GEN

T1 - Specification and analysis of real-time systems in statecharts

AU - Cha, Sungdeok

AU - Hong, Hyoung Seok

PY - 1996/1/1

Y1 - 1996/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0029713377&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0029713377&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0029713377

SP - 137

EP - 143

BT - Proceedings of the Workshop on Object-Oriented Real-Time Dependable Systems (WORDS)

PB - IEEE

CY - Piscataway, NJ, United States

ER -