Art

J-GLOBAL ID：202002220403113097   Reference number：20A1230859

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

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

Author (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)
Material： Journal of Information Processing (Web)  (J Inf Proc (Web))
Volume： 28  Page： 124-135(J-STAGE)  Publication year： 2020 
JST Material Number： U0109A  ISSN： 1882-6652  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *control ,  *control system ,  *safety analysis ,  *time series analysis ,  fault tree analysis ,  transfer ,  disturbance ,  detection ,  *Automation ,  automated detection ,  *automotive control ,  *modification
Semi thesaurus term： FTA ,  disturbance ,  *time-series analysis ,  state transition ,  *control system

Author keywords (8)： safety analysis ,  reliability design ,  FTA ,  STPA ,  automotive control systems ,  state transition systems ,  trace formula ,  time-series analysis

JST classification (2)： Electric equipment  (QG03070C) ,  System design and analysis  (IA02030D)

Reference (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).

Terms in the title (7)： Max ,  SMT ,  自動車 ,  制御システム ,  時系列 ,  安全解析 ,  自動化