|
本研究では，複数の形式手法を統合し，システム開発の上流工程から下流工程までをシームレスに接続する手法を提案した．また，実際の車載オペレーティングシステムの事例に適用し，提案手法の有効性を示すことができた．車載オペレーティングシステムなどの組込みシステムでは，開発工程の一部に形式手法を適用し，検証を行うことが主流であった．一方で，我々は，仕様記述から実装のテストまで，シームレスに接続し，全行程をカバーすることができた．これにより，産業界における形式手法の採用が加速され，ソフトウェアの信頼性，安全性が向上することを期待している．
|
