Item type |
Symposium(1) |
公開日 |
2015-09-18 |
タイトル |
|
|
タイトル |
ドローン利活用の安全性の確保における企業情報システム開発技術の適用 |
タイトル |
|
|
言語 |
en |
|
タイトル |
Applying Development Technology of Enterprise Systems to Ensuring Safety of Drones |
言語 |
|
|
言語 |
jpn |
資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
著者所属 |
|
|
|
日本ユニシス株式会社 |
著者所属 |
|
|
|
日本ユニシス株式会社 |
著者所属 |
|
|
|
日本ユニシス株式会社 |
著者所属(英) |
|
|
|
en |
|
|
Nihon Unisys, Ltd |
著者所属(英) |
|
|
|
en |
|
|
Nihon Unisys, Ltd |
著者所属(英) |
|
|
|
en |
|
|
Nihon Unisys, Ltd |
著者名 |
細金, 万智子
青木, 善貴
星野, 隆之
|
著者名(英) |
Machiko, Hosogane
Yoshitaka, Aoki
Takayuki, Hoshino
|
論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
安心安全かつ快適な企業情報システムを実現するため,我々はドローンをはじめとする移動型デバイスを効果的に制御する方法を研究してきた.移動型デバイスの制御プログラムにモデル検査を用いて網羅的な検証を行うことにより,高精度な自律制御と共に制御プログラムの品質向上と安全性が確保できると考えられる.本項では,ドローンなど,3 次元空間を移動するデバイスの安全性をモデル検査により確保する手法について提案する. |
論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
This manuscript is a guide to apply development technology of enterprise systems to ensuring safety of drones. It is thought to ensure high level safety and quality improvement of the control program by applying 'model checking' to the control program of Drones. I suggest how to secure the safety of a device moving the three-dimensional space by 'model checking'. |
書誌情報 |
エンタテインメントコンピューティングシンポジウム2015論文集
巻 2015,
p. 267-273,
発行日 2015-09-18
|
出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |