文献

J-GLOBAL ID：202002263574755286   整理番号：20A0437801

自律消防ロボットモデルの形式的検証と開発【JST・京大機械翻訳】

Formal Verification and Development of an Autonomous Firefighting Robotic Model

著者 (6件)： Tahir Anum (National University of Science and Technology,Department of Mechatronics Engineering,Islamabad,Pakistan) ,  Saghar Kashif (CESAT,Formal Verification Department,Islamabad,Pakistan) ,  Khalid Harris Bin (National University of Science and Technology,Department of Mechatronics Engineering,Islamabad,Pakistan) ,  Shadab Butt Umar (National University of Science and Technology,Department of Mechatronics Engineering,Islamabad,Pakistan) ,  Khan Umar Shahbaz (National University of Science and Technology,Department of Mechatronics Engineering,Islamabad,Pakistan) ,  Asad Usman (National University of Science and Technology,Department of Mechatronics Engineering,Islamabad,Pakistan)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： ICRAI  ページ： 1-6  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 形式的検証は,ソフトウェアと組込みシステムを検証するために研究者によって一般的に使用される強力で新しい技術である。最近,形式的検証がロボットシステムを検証するために研究者によって使用されている。本論文は,モデル検査と形式的検証を用いて設計が検証された粗い地形上の火災を消火するためのロボットシステムに基づいている。センサを用いて火災救助チームを支援できる自律ロボットは,我々の生活を自動化することができる多くのますます現代的な応用を有している。例えば,ロボットは人間のアプローチが危険または危険になり得る。本研究では,様々なセンサを用いた消防ロボットの動作を表現するためのプロトタイプモデルを開発することを目的としている。この目的のために,ロボットモデルに対する異なるモジュールを備えたアリーナを設計した。消防機構に関するロボットシステムは,以前に形式的に検証されておらず,したがって,ロボット形式検証は設計段階で埋め込まれたシステムからバグを検出し除去できる強力な技術であるため,自律ロボットの設計と作業における革新をもたらす。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： ソフトウェア障害 ,  火災 ,  *消防 ,  モデル検査 ,  センサ ,  ソフトウェア ,  プロトタイプ ,  *ロボット ,  組込みシステム ,  自動化 ,  自律ロボット
準シソーラス用語： ロボットシステム ,  形式的検証 ,  自律性 , 【Automatic Indexing@JST】

分類 (2件)： 図形・画像処理一般  (JE04010I) ,  ロボットの運動・制御  (IC04012J)

タイトルに関連する用語 (6件)： 自律 ,  消防 ,  ロボット ,  モデル ,  形式的検証 ,  開発