@techreport{oai:ipsj.ixsq.nii.ac.jp:00177945,
 author = {山本, 尚平 and 鈴木, 悠太 and 峰田, 憲一 and 森, 裕司 and 枝廣, 正人 and Shohei, Yamamoto and Yuuta, Suzuki and Kenichi, Mineda and Hiroshi, Mori and Masato, Edahiro},
 issue = {6},
 month = {Mar},
 note = {組込みシステムにおいて近い将来必要とされるマルチコア向けソフトウェアの開発手法として，我々は Simulink 等を用いたモデルベース開発に着目したモデルベース並列化フローを提案している．しかし，モデルベース並列化フローでは逐次動作するプログラムを分割することで並列プログラムを構成するため，その過程でデッドロックや実行順序逆転などの並列化を起因とした問題が発生する可能性がある．そこで本研究では，モデルベース並列化フローの途中で CSP モデルを生成し，それを利用した形式検証を適用することで，並列化が原因で生じる問題の有無を検出する手法を提案する．},
 title = {モデルベース並列化におけるCSPモデルを利用した形式検証の適用},
 year = {2017}
}