抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ロボット技術は,家庭用および工業用環境を形質転換した。最近ロボットオペレーティングシステム(ROS)は,産業界及び学界の両方を採用し,ロボットアプリケーションを開発するための最もよく知られたミドルウェア枠組みの一つになりつつされてきた。ロボットシステムの正しい挙動を保証したパラメタリゼーションと不均一性の可能性のために,しかしながら,挑戦的である。異なるアプローチが存在し,特定のシナリオに対する具体的ドメイン空間に焦点を当てたが,ROSシステム推論への一般的なアプローチはまだ求められている。本論文では,実時間特性を用いたROSシステムをモデル化し,検証,ROSの主な特徴,ノード間の通信の一つに焦点を当てアプローチを提案した。低レベルパラメータ,待ち行列サイズとタイムアウトなどを,モデリング言語としての時間付きオートマトンを用いた。ロボットKobukiは複雑な事例研究,特性は,UPPAALモデルチェッカーを用いて検証し,問題パラメータの組合せの同定を可能にするものであるとして使用されている。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】