文献

J-GLOBAL ID：202202275781772797   整理番号：22A0795898

ハードウェア/ソフトウエア共検証を用いた工業用ロボット制御システムの安全保証【JST・京大機械翻訳】

Safety assurance of an industrial robotic control system using hardware/software co-verification

著者 (6件)： Murray Yvonne (Dept. of Mechatronics, Faculty of Engineering and Science, University of Agder (UiA), Norway) ,  Sirevag Martin (Dept. of Mechatronics, Faculty of Engineering and Science, University of Agder (UiA), Norway) ,  Ribeiro Pedro (Dept. of Computer Science, University of York, UK) ,  Anisi David A. (Dept. of Mechatronics, Faculty of Engineering and Science, University of Agder (UiA), Norway) ,  Anisi David A. (Robotics Group, Faculty of Science & Technology, Norwegian University of Life Sciences (NMBU), Norway) ,  Mossige Morten (ABB Robotics, Bryne, Norway)
資料名： Science of Computer Programming  (Science of Computer Programming)
巻： 216  ページ： Null  発行年： 2022年 
JST資料番号： H0806A  ISSN： 0167-6423  CODEN： SCPGD4  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 産業ロボットにおける一般的傾向として,安全機能数の増加は,安全リレーまたはインターロック回路のような物理的ハードウェアより,むしろソフトウェアで扱われるか,または再設計されている。この傾向は,形式的検証とモデル検査方法で,今日,産業で広く使われる,伝統的,入力ベース試験,および品質手順の補完の重要性を強化する。この目的のために,本論文では,ABB工業塗料ロボット,すなわち,高電圧静電制御システム(HVC)における代表的な安全クリティカルシステムに焦点を当てた。安全な動作に不可欠なHVCにより生成される高電圧の実用的収束を,ハードウェアとソフトウェアモデルがプラットフォームマッピングを介して関連する新しい一般的共検証フレームワークを用いて形式的に検証した。この手法は,高度に多様で特殊化されたツールの実用的組合せを可能にする。本論文では,ハードウェア抽象化および検証結果が,システムレベルの安全特性を検証するために,ツール間でどのように転送できるかの詳細を含む。本論文で考察したHVC応用は,フィードバックコントローラのかなり一般的な形式を有することは注目に値する。したがって,ここで報告した共検証フレームワークと経験は,また,セットポイント基準を追従する任意のサイバー物理システムに対して非常に関連性がある。Copyright 2022 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *安全性 ,  システム ,  制御装置 ,  *ロボット ,  塗料 ,  *産業用ロボット ,  *ハードウェア ,  *ソフトウェア ,  機能 ,  再設計 ,  *検証 ,  モデル検査
準シソーラス用語： 継電器 ,  インタロック ,  形式的検証 ,  安全機能 , 【Automatic Indexing@JST】

著者キーワード (5件)： 形式的検証 ,  共検証 ,  モデル検査 ,  ロボット ,  サイバー物理システム(CPS)

分類 (1件)： ロボットの運動・制御  (IC04012J)

タイトルに関連する用語 (6件)： ハードウェア ,  ソフトウエア ,  検証 ,  工業用ロボット ,  制御システム ,  安全保証