講演抄録/キーワード |
講演名 |
2019-03-04 17:10
ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案 ○辻 光顕・高井利憲(奈良先端大)・片平真史・石濱直樹(JAXA)・柿本和希・飯田 元(奈良先端大) SS2018-67 |
抄録 |
(和) |
自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析を行うための手法としてSTAMP/STPAが注目されている。これまでに、STAMP/STPAや形式検証を応用することでシステムの安全性を保証するための包括的なプロセスが提案されている。しかしながら、STAMP/STPAを用いて離散と連続の振る舞いを同時に持つハイブリッドシステムに対する安全検証を行うための手法は提案されていない。本論文では、こうしたハイブリッドシステムの安全検証に向けた、STAMPモデルの形式的な表現方法を提案する。特にここでは、ハイブリッドシステムの例として隊列走行可能な端末交通システムに対する安全検証に向けた方法について述べる。 |
(英) |
Safety-critical systems, for example, autonomous vehicles and space systems, are required to be safe and reliable. Recently, STAMP/STPA is a considered as an effective hazard analysis method for those systems and a comprehensive process to integrate STAMP/STPA with formal methods and test case generation techniques has been proposed. However, the process does not support so-called hybrid systems, that is, both discrete and continuous aspects exist in their system description. To address this issue, we present a way to formally represent a system model for the STAMP/STPA hazard analysis method. In this paper, we also give an example of a last-mile public transportation system using autonomous vehicles. |
キーワード |
(和) |
STAMP/STPA / 形式検証 / ハイブリッドシステム / ハイブリッドプログラム / / / / |
(英) |
STAMP/STPA / formal verification / hybrid systems / hybrid program / / / / |
文献情報 |
信学技報, vol. 118, no. 471, SS2018-67, pp. 91-96, 2019年3月. |
資料番号 |
SS2018-67 |
発行日 |
2019-02-25 (SS) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2018-67 |