@techreport{oai:ipsj.ixsq.nii.ac.jp:00081076,
 author = {大貫, 智洋 and Tomohiro, Onuki},
 issue = {10},
 month = {Mar},
 note = {制御ソフトウェアの開発手法として，モデルベース開発の普及が進んでいる．モデルベース開発では実装コードを機械的に生成することが可能であるため，実装に誤りが混入する危険性は低い．その一方で，要求仕様や制御仕様の記述は人手により行っているため，誤りが混入しやすい．このような課題を解決するため，本論分では上流工程で仕様を正確に記述する手法について，調査・分析した．要求分析を正確に記述する手法，制御仕様を検証する手法についてまとめたのち，今後の課題を分析する．, Recently, Model-Based Development (MBD) is commonly adopted as a method of developing software for control systems. While MBD enables automatic code generation and prevents errors in the implementation process, requirements specifications and control specifications are still written by hand. This paper describes the result of my research on how to describe requirements specifications precisely and verify consistency between specifications.},
 title = {制御ソフトウェアの仕様整合性検証技術の調査と分析},
 year = {2012}
}