| 研究課題/領域番号 |
26330092
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
ソフトウェア
|
|---|
| 研究機関 | 日本大学 |
|---|
研究代表者 |
関澤 俊弦 日本大学, 工学部, 准教授 (10549314)
|
|---|
| 研究分担者 |
岡野 浩三 信州大学, 学術研究院工学系, 准教授 (70252632)
|
|---|
| 研究期間 (年度) |
2014-04-01 – 2017-03-31
|
| 研究課題ステータス |
完了 (2016年度)
|
| 配分額 *注記 |
3,640千円 (直接経費: 2,800千円、間接経費: 840千円)
2016年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2015年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2014年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
|
|---|
| キーワード | 確率モデル検査 / 組込みシステム / 自律移動ロボット / モデル検査 / 確率系 / 確率的振舞い |
|---|
| 研究成果の概要 |
本研究課題は，振舞いに不確実さをもつ組み込み制御システムの信頼性を保証する手法の研究である．自律移動ロボットを具体的な検証対象とする．誤差補正を行ない継続的に動作する振舞いと，位置を確定させる自己位置推定について，信頼性保証技術の一つであるモデル検査を適用し，確率的なモデルの構築と検証が可能であることを示した．また，モデルの有効性を実装に基づき評価している．本研究で得られた成果より，センサの読み取り誤差や外乱を考慮に入れる必要がある組込みシステムに対し，信頼性を保証しシステム設計に反映させることができると考えられる．
|
