@techreport{oai:ipsj.ixsq.nii.ac.jp:00113768,
 author = {中井, 将貴 and 松原, 豊 and 高田, 広章 and 山口, 晃広},
 issue = {14},
 month = {Feb},
 note = {名古屋大学大学院情報科学研究科附属組込みシステム研究センター （NCES） では，車載システムのデータ管理を目的とした組込みデータストリーム管理システム （eDSMS） の開発及び研究を行っている．現在の eDSMS はブラックボックスになっており，オペレータやストリーム，データ処理の実行時間や動作順序を把握する手段が提供されていない．その結果，eDSMS のクエリ開発者が，eDSMS の動作が要求仕様と設計から逸脱していないことを容易に確認することができない．本研究では，eDSMS のクエリ開発者向けに，eDSMS の動作を容易に検証することができる環境を開発した．適用事例として，自動車の衝突警告とナビゲーション，車車間通信にデータ出力を模擬するクエリを開発し，要求仕様と設計からの逸脱の解析と，逸脱の原因特定を行った．解析の結果，衝突警告とナビゲーション間で共有しているストリームのデータ量が設計時に規定した最大データ量よりも高くなっている逸脱を発見した．提案する検証フローに沿った原因特定を行い，設計を見直した結果，設計からの逸脱がなくなり，正常にクエリが動作したことを確認した．以上より，提案した動作検証環境の有効性を確認することができた．},
 title = {データストリーム管理システムのための動作検証環境},
 year = {2015}
}