文献

J-GLOBAL ID：202002220403113097   整理番号：20A1230859

重み付き部分Max-SMTを用いた自動車制御システムの時系列安全解析の自動化

Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT

著者 (5件)： Sato Shuichi (Toyota Central R&D Lab. Inc.) ,  Hattori Shogo (Nagoya University) ,  Seki Hiroyuki (Nagoya University) ,  Inamori Yutaka (Toyota Central R&D Lab. Inc.) ,  Yuen Shoji (Nagoya University)
資料名： Journal of Information Processing (Web)  (Journal of Information Processing (Web))
巻： 28  ページ： 124-135(J-STAGE)  発行年： 2020年 
JST資料番号： U0109A  ISSN： 1882-6652  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： 筆者らは,非安全特性に対する信号外乱の検出を自動化する方法を提案した。信号外乱を組み込むために,筆者らは,意図しない状態遷移を引き起こす外乱によって変化する値を保存するために,各信号変数に対してクッション変数と呼ばれる補助変数を導入した。信号外乱は,信号変数とそれらのクッション変数の間の等値性を否定するように定義される。筆者らは,望ましくない状態をもたらす障害によって変化した変数の集合として,重み付き部分最大充足可能性モジュロ理論(Max-SMT)手法を用いて,信号外乱を効率的に検出する方法を開発した。方程式に重みを適切に割り当てることにより,筆者らは,必要な特性を持つ信号外乱パターンの導出を制御した。筆者らは,時系列的な信号外乱の自動検出のために安全解析の2つの良く知られた方法,すなわち,システム理論的プロセス分析(STPA)とフォールトツリーアナリシス(FTA)における実用的なケーススタディとして,簡略化されたクルーズコントロールシステムへ筆者らの方法の実験的適用を提示した。(翻訳著者抄録)

シソーラス用語： *制御 ,  *制御系 ,  *安全解析 ,  *時系列分析 ,  フォールトツリー解析 ,  移動 ,  擾乱 ,  検出 ,  *自動化 ,  自動検出 ,  *自動車制御 ,  *改変
準シソーラス用語： FTA【欠陥樹解析法】 ,  外乱 ,  *時系列解析 ,  状態遷移 ,  *制御システム

著者キーワード (8件)： 安全解析 ,  信頼性設計 ,  FTA ,  STPA ,  自動車制御システム ,  状態遷移システム ,  トレース公式 ,  時系列解析

分類 (2件)： 電装品  (QG03070C) ,  システム設計・解析  (IA02030D)

引用文献 (35件)：

• [1] Abdulkhaleq, A. and Wagner, S.: A Software Safety Verification Method Based on System-Theoretic Process Analysis, Next Generation of System Assurance Approaches for Safety-Critical Systems, Proc. SAFECOMP Workshop, pp.401-412 (2014).
• [2] Abdulkhaleq, A. and Wagner, S.: Experiences with Applying STPA to Software-Intensive Systems in the Automotive Domain, Proc. STAMP Workshop (2013).
• [3] Argelich, J.: Max-SAT Formalisms with Hard and Soft Constraints, AI Communications, Vol.24, No.1, pp.101-103 (2011).
• [4] Armando, A., Mantovani, J. and Platania, L.: Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers, Intl. J. Software Tools for Technology Transfer, pp.69-83 (2009).
• [5] Arora, A. and Gouda, M.G.: Closure and Convergence: A Foundation of Fault-tolerant Computing, IEEE Trans. Software Engineering, Vol.19, No.11, pp.1015-1027 (1993).

タイトルに関連する用語 (7件)： Max ,  SMT ,  自動車 ,  制御システム ,  時系列 ,  安全解析 ,  自動化