配分額 *注記 |
24,700千円 (直接経費: 19,000千円、間接経費: 5,700千円)
2011年度: 4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2010年度: 5,590千円 (直接経費: 4,300千円、間接経費: 1,290千円)
2009年度: 6,370千円 (直接経費: 4,900千円、間接経費: 1,470千円)
2008年度: 8,060千円 (直接経費: 6,200千円、間接経費: 1,860千円)
|
研究概要 |
本研究では,スケジューリングを伴う並行・並列ソフトウェアと,スケジューリングを提供するリアルタイムオペレーティングシステム(RTOS)を対象とした.成果としては,前者に関しては,実時間を含む振る舞いを検証するためのアルゴリズムおよびツールを提案し,後者に関しては, RTOSの設計と実装を検証する手法およびツールを提案し,実際に使われているRTOSの検証も行った.これにより,現実的なセッティングで,モデル検査に基づいた手法の提案に成功し,実際に,現実問題に適用できることがわかった.
|