STPA METHOD AND DEVICE FOR ACCURATE IDENTIFICATION OF LOSS SCENARIOS

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!
container_end_page
container_issue
container_start_page
container_title
container_volume
creator SUN, Rui
GONG, Haoyuan
ZHONG, Deming
GUO, Rui
ZHA, Yun
description 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.
format Patent
fullrecord <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_US2023305550A1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>US2023305550A1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_US2023305550A13</originalsourceid><addsrcrecordid>eNqNyrEKwjAQANAsDqL-w4GzEBvyAcflQgOak1zqWkqJk2ih_j8ufoDTW97WBK03hCvXXgJgDhD4noghSgEkGgpWhhQ41xQTYU2SQSJcRBWUOGNJonuzeUzPtR1-7swxcqX-1Jb32NZlmturfcZBO9s5Z733Fs_uv_UF3iEsYw</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>STPA METHOD AND DEVICE FOR ACCURATE IDENTIFICATION OF LOSS SCENARIOS</title><source>esp@cenet</source><creator>SUN, Rui ; GONG, Haoyuan ; ZHONG, Deming ; GUO, Rui ; ZHA, Yun</creator><creatorcontrib>SUN, Rui ; GONG, Haoyuan ; ZHONG, Deming ; GUO, Rui ; ZHA, Yun</creatorcontrib><description>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.</description><language>eng</language><subject>CONTROL OR REGULATING SYSTEMS IN GENERAL ; CONTROLLING ; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS ; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS ; PHYSICS ; REGULATING</subject><creationdate>2023</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20230928&amp;DB=EPODOC&amp;CC=US&amp;NR=2023305550A1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,780,885,25564,76547</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20230928&amp;DB=EPODOC&amp;CC=US&amp;NR=2023305550A1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>SUN, Rui</creatorcontrib><creatorcontrib>GONG, Haoyuan</creatorcontrib><creatorcontrib>ZHONG, Deming</creatorcontrib><creatorcontrib>GUO, Rui</creatorcontrib><creatorcontrib>ZHA, Yun</creatorcontrib><title>STPA METHOD AND DEVICE FOR ACCURATE IDENTIFICATION OF LOSS SCENARIOS</title><description>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.</description><subject>CONTROL OR REGULATING SYSTEMS IN GENERAL</subject><subject>CONTROLLING</subject><subject>FUNCTIONAL ELEMENTS OF SUCH SYSTEMS</subject><subject>MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS</subject><subject>PHYSICS</subject><subject>REGULATING</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2023</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNqNyrEKwjAQANAsDqL-w4GzEBvyAcflQgOak1zqWkqJk2ih_j8ufoDTW97WBK03hCvXXgJgDhD4noghSgEkGgpWhhQ41xQTYU2SQSJcRBWUOGNJonuzeUzPtR1-7swxcqX-1Jb32NZlmturfcZBO9s5Z733Fs_uv_UF3iEsYw</recordid><startdate>20230928</startdate><enddate>20230928</enddate><creator>SUN, Rui</creator><creator>GONG, Haoyuan</creator><creator>ZHONG, Deming</creator><creator>GUO, Rui</creator><creator>ZHA, Yun</creator><scope>EVB</scope></search><sort><creationdate>20230928</creationdate><title>STPA METHOD AND DEVICE FOR ACCURATE IDENTIFICATION OF LOSS SCENARIOS</title><author>SUN, Rui ; GONG, Haoyuan ; ZHONG, Deming ; GUO, Rui ; ZHA, Yun</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_US2023305550A13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2023</creationdate><topic>CONTROL OR REGULATING SYSTEMS IN GENERAL</topic><topic>CONTROLLING</topic><topic>FUNCTIONAL ELEMENTS OF SUCH SYSTEMS</topic><topic>MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS</topic><topic>PHYSICS</topic><topic>REGULATING</topic><toplevel>online_resources</toplevel><creatorcontrib>SUN, Rui</creatorcontrib><creatorcontrib>GONG, Haoyuan</creatorcontrib><creatorcontrib>ZHONG, Deming</creatorcontrib><creatorcontrib>GUO, Rui</creatorcontrib><creatorcontrib>ZHA, Yun</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>SUN, Rui</au><au>GONG, Haoyuan</au><au>ZHONG, Deming</au><au>GUO, Rui</au><au>ZHA, Yun</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>STPA METHOD AND DEVICE FOR ACCURATE IDENTIFICATION OF LOSS SCENARIOS</title><date>2023-09-28</date><risdate>2023</risdate><abstract>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.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_epo_espacenet_US2023305550A1
source esp@cenet
subjects CONTROL OR REGULATING SYSTEMS IN GENERAL
CONTROLLING
FUNCTIONAL ELEMENTS OF SUCH SYSTEMS
MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS
PHYSICS
REGULATING
title STPA METHOD AND DEVICE FOR ACCURATE IDENTIFICATION OF LOSS SCENARIOS
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-20T21%3A43%3A22IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=SUN,%20Rui&rft.date=2023-09-28&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EUS2023305550A1%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true