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 language | English |
|---|---|
| Pages | 137-143 |
| Number of pages | 7 |
| Publication status | Published - 1996 |
| Externally published | Yes |
| Event | Proceedings of the 1996 2nd Workshop on Object-Oriented Real-Time Dependable Systems - Laguna Beach, CA, USA Duration: 1996 Feb 1 → 1996 Feb 2 |
Other
| Other | Proceedings of the 1996 2nd Workshop on Object-Oriented Real-Time Dependable Systems |
|---|---|
| City | Laguna Beach, CA, USA |
| Period | 96/2/1 → 96/2/2 |
ASJC Scopus subject areas
- Computer Science(all)
- Engineering(all)