文献

J-GLOBAL ID：201002250220252662   整理番号：10A0326830

MCBOK2008:ソフトウェア開発のためのモデル検査知識体系

著者 (7件)： 西原秀明 (産業技術総合研 システム検証研究セ) ,  青木利晃 (北陸先端科学技術大学院大) ,  粂野文洋 (国立情報学研 先端ソフトウェア工学・国際研究セ) ,  粂野文洋 (三菱総研) ,  篠崎孝一 (関西電力 総合技術研 電力技術研) ,  田口研治 (国立情報学研 先端ソフトウェア工学・国際研究セ) ,  早水公二 (メルコ・パワー・システムズ)
資料名： 情報処理学会シンポジウム論文集  (情報処理学会ワークショップ論文集)
巻： 2009  号： 10  ページ： 49-57  発行年： 2009年10月14日 
JST資料番号： Y0978B  ISSN： 1344-0640  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 機能安全やセキュリティ評価基準において,形式手法の採用が強く推奨されているなど,システムの安全性を保証する分野において,形式的検証技術の利用が広がりつつある。その中でもモデル検査は有望な技術として認められつつある。モデル検査の習得環境を整備し,普及を促進することを目的として,産学官の組織が連携し,ソフトウェア開発にモデル検査を適用する際の知識をMCBOK 2008(Model Checking Body Of Knowledge)として体系立ててまとめた。本論文ではMCBOK 2008の概要と,想定されるMCBOKの用途について述べる。また,MCBOK 2008を作成する際にとった手法,得られた知見について述べる。(著者抄録)

シソーラス用語： *モデル検査 ,  *ソフトウェア開発 ,  形式的手法【計算機】 ,  安全性 ,  産学協同 ,  カリキュラム ,  セキュリティ ,  評価基準
準シソーラス用語： 産官学連携

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： ソフトウェア ,  開発 ,  モデル検査 ,  知識体系