組込みソフトウェアのモデル検証

• 本間洋光

• 齋藤理

• 新村祐太

• 力武克彰

抄録

近年，組込みソフトウェアの開発にUMLが広く用いられるようになってきている．UMLはソフトウェアの全体像の把握を容易にする一方で，書いたモデルの厳密な検証を前提にしておらず，モデルの正しさを示すことが困難である．さらに頻繁に更新され続ける各図間のトレーサビリティーを保ち続けることは大きな負担になる．そこで，離散数学を基盤にした検証でソフトウェアの信頼性を向上させる形式手法とUMLモデルを組み合わせ，UMLモデルの厳密な検証を可能にする研究が進められている．そこで本研究では，モデル検査手法を用いることにより，UMLモデルの厳密な検証を可能にし，複数モデル間でのトレーサビリティーを論理的に示す方法を検討する．

収録刊行物

• 第75回全国大会講演論文集

  第75回全国大会講演論文集 2013 (1), 497-498, 2013-03-06

  一般社団法人情報処理学会

キーワード

• ソフトウェア科学・工学

詳細情報

• CRID: 1050855522089985792
• NII論文ID: 110009580449
• NII書誌ID: AN00349328
• Web Site: http://id.nii.ac.jp/1001/00111045/
• 本文言語コード: ja
• 資料種別: conference paper
• データソース種別:
  • IRDB
  • CiNii Articles