1. Safety transition system and its application.
- Author
-
WAN Liang and XIAO Yuan
- Subjects
- *
COMPUTER networks , *INFORMATION networks , *INFORMATION science , *COMPUTER systems , *COMPUTER algorithms , *COMPUTER science ,SAFETY measures - Abstract
The ranges of state variable value of transition system are large, and the state space of system transition, but the transitions of the system are often unpredictable. This paper defined the concepts: initial safety states, safety transition condition, safety state, safety action, safety run and safety transition system, and proved the all states in safety transition system were safe. Then it used it to remold the network transition system, and changed it a safety transition system. [ABSTRACT FROM AUTHOR]
- Published
- 2014
- Full Text
- View/download PDF