モデル検査によるアーキテクチャ設計検証 Architectural Design Verification utilizing Model Checking Techniques

この論文にアクセスする

この論文をさがす

著者

抄録

アーキテクチャ設計にモデル検査技術を適用するに際しては、設計モデルと検証モデルの間に厳密性や詳細度にミスマッチIn applying model checking techniques to software architectural design verification, there occur some problems, such as mismatch between design model and verification model in its strictness and preciseness. In this paper, we propose a method for applying model checking techniques to architectural design verification, in which we based on results from software architecture field. We also introduce a case study, in which we apply the method to actual embedded software design verification.

In applying model checking techniques to software architectural design verification, there occur some problems, such as mismatch between design model and verification model in its strictness and preciseness. In this paper, we propose a method for applying model checking techniques to architectural design verification. in which we based on results from software architecture field. We also introduce a case study, in which we apply the method to actual embedded software design verification.

収録刊行物

  • 情報処理学会研究報告ソフトウェア工学(SE)

    情報処理学会研究報告ソフトウェア工学(SE) 2005(119(2005-SE-150)), 9-16, 2005-11-29

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

参考文献:  15件中 1-15件 を表示

被引用文献:  1件中 1-1件 を表示

各種コード

  • NII論文ID(NAID)
    110003503083
  • NII書誌ID(NCID)
    AN10112981
  • 本文言語コード
    JPN
  • 資料種別
    Technical Report
  • ISSN
    09196072
  • NDL 記事登録ID
    7730983
  • NDL 雑誌分類
    ZM13(科学技術--科学技術一般--データ処理・計算機)
  • NDL 請求記号
    Z14-1121
  • データ提供元
    CJP書誌  CJP引用  NDL  NII-ELS  IPSJ 
ページトップへ