講演名 | 2019-03-04 ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案 辻 光顕(奈良先端大), 高井 利憲(奈良先端大), 片平 真史(JAXA), 石濱 直樹(JAXA), 柿本 和希(奈良先端大), 飯田 元(奈良先端大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 自動運転車や人工衛星などの宇宙機に用いられるシステムには高い安全性が要求される。近年、このようなシステムに対する安全分析を行うための手法として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 |
資料番号 | SS2018-67 |
発行日 | 2019-02-25 (SS) |
研究会情報 | |
研究会 | SS |
---|---|
開催期間 | 2019/3/4(から2日開催) |
開催地(和) | 沖縄産業支援センター |
開催地(英) | |
テーマ(和) | 一般 |
テーマ(英) | |
委員長氏名(和) | 中田 明夫(広島市大) |
委員長氏名(英) | Akio Nakata(Hiroshima City Univ.) |
副委員長氏名(和) | 小林 隆志(東工大) |
副委員長氏名(英) | Takashi Kobayashi(Tokyo Inst. of Tech.) |
幹事氏名(和) | 肥後 芳樹(阪大) / 島 和之(広島市大) |
幹事氏名(英) | Yoshiki Higo(Osaka Univ.) / Kazuyuki Shima(Hiroshima City Univ.) |
幹事補佐氏名(和) | 林 晋平(東工大) |
幹事補佐氏名(英) | Shinpei Hayashi(Tokyo Inst. of Tech.) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Software Science |
---|---|
本文の言語 | JPN |
タイトル(和) | ハイブリッドシステムの安全検証に向けた形式的なSTAMPモデルの提案 |
サブタイトル(和) | |
タイトル(英) | Formal STAMP Modelling toward Safety Verification of Hybrid Systems |
サブタイトル(和) | |
キーワード(1)(和/英) | STAMP/STPA / STAMP/STPA |
キーワード(2)(和/英) | 形式検証 / formal verification |
キーワード(3)(和/英) | ハイブリッドシステム / hybrid systems |
キーワード(4)(和/英) | ハイブリッドプログラム / hybrid program |
第 1 著者 氏名(和/英) | 辻 光顕 / Mitsuaki Tsuji |
第 1 著者 所属(和/英) | 奈良先端科学技術大学院大学(略称:奈良先端大) Nara Institute of Science and Technology(略称:NAIST) |
第 2 著者 氏名(和/英) | 高井 利憲 / Toshinori Takai |
第 2 著者 所属(和/英) | 奈良先端科学技術大学院大学(略称:奈良先端大) Nara Institute of Science and Technology(略称:NAIST) |
第 3 著者 氏名(和/英) | 片平 真史 / Masafumi Katahira |
第 3 著者 所属(和/英) | 宇宙航空研究開発機構(略称:JAXA) Japan Aerospace Exploration Agency(略称:JAXA) |
第 4 著者 氏名(和/英) | 石濱 直樹 / Naoki Ishihama |
第 4 著者 所属(和/英) | 宇宙航空研究開発機構(略称:JAXA) Japan Aerospace Exploration Agency(略称:JAXA) |
第 5 著者 氏名(和/英) | 柿本 和希 / Kazuki Kakimoto |
第 5 著者 所属(和/英) | 奈良先端科学技術大学院大学(略称:奈良先端大) Nara Institute of Science and Technology(略称:NAIST) |
第 6 著者 氏名(和/英) | 飯田 元 / Hajimu Iida |
第 6 著者 所属(和/英) | 奈良先端科学技術大学院大学(略称:奈良先端大) Nara Institute of Science and Technology(略称:NAIST) |
発表年月日 | 2019-03-04 |
資料番号 | SS2018-67 |
巻番号(vol) | vol.118 |
号番号(no) | SS-471 |
ページ範囲 | pp.91-96(SS), |
ページ数 | 6 |
発行日 | 2019-02-25 (SS) |