STPA METHOD AND DEVICE FOR ACCURATE IDENTIFICATION OF LOSS SCENARIOS

The present invention provides an STPA method and apparatus for accurate identification of a loss scenario. The method comprises: defining the purpose of the analysis, comprising identifying of a loss; modeling a system state machine using a finite state machine; identifying an unsafe control action...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	SUN, Rui, GONG, Haoyuan, ZHONG, Deming, GUO, Rui, ZHA, Yun
Format:	Patent
Sprache:	eng
Schlagworte:	CONTROL OR REGULATING SYSTEMS IN GENERAL CONTROLLING FUNCTIONAL ELEMENTS OF SUCH SYSTEMS MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS PHYSICS REGULATING
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	The present invention provides an STPA method and apparatus for accurate identification of a loss scenario. The method comprises: defining the purpose of the analysis, comprising identifying of a loss; modeling a system state machine using a finite state machine; identifying an unsafe control action using the identified loss and the modeled system state machine. The method according to the present invention achieves accurate and efficient identification of loss scenarios of a complex system using state machines and model checking techniques.