By Topic

Specification and analysis of real-time systems in Statecharts

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Sung Deok Cha ; Dept. of Comput. Sci., Korea Adv. Inst. of Sci. & Technol., Seoul, South Korea ; Hyoung Seok Hong

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

Published in:

Object-Oriented Real-Time Dependable Systems,1996. Proceedings of WORDS '96., Second Workshop on

Date of Conference:

1-2 Feb 1996