• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

段階的詳細化の柔軟な変更および設計指針の確立

研究課題

研究課題/領域番号 17H07323
研究種目

研究活動スタート支援

配分区分補助金
研究分野 ソフトウェア
研究機関国立情報学研究所

研究代表者

小林 努  国立情報学研究所, アーキテクチャ科学研究系, 特任研究員 (10803405)

研究期間 (年度) 2017-08-25 – 2019-03-31
研究課題ステータス 完了 (2018年度)
配分額 *注記
2,990千円 (直接経費: 2,300千円、間接経費: 690千円)
2018年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
2017年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
キーワードソフトウェア / 段階的詳細化 / 形式手法 / ソフトウェアモデリング / ソフトウエア開発効率化・安定化 / Event-B / プロブレムフレーム
研究成果の概要

高信頼ソフトウェアシステムの構築のための形式仕様を用いた開発において、厳密な詳細化を通じて導入される対象システムの構成要素の導入順を整合性を保ったまま変更することがその変更容易性向上に有効である。
本研究では、既存の導入順の変更手法の改良のため、専門家の間で有効と知られている仕様のパターンを分析し、パターン由来の要素を用いた柔軟な要素導入の変更手法を提案し、さらに導入順をどのように変更すると有効かについて分析を行い知見を獲得した。

研究成果の学術的意義や社会的意義

本研究は、ソフトウェア工学における最も重要な概念であるモデルの抽象化・詳細化に、厳密な方法と新しい切り口で貢献するものである。
さらに、本研究の成果は形式仕様を用いた開発のコストを下げ、積極的な再利用を促進する。そのため、本研究は高信頼システムの開発プロセスの改良につながり、より多くのソフトウェアシステムを安全にすることに貢献するものと期待される。

報告書

(3件)
  • 2018 実績報告書   研究成果報告書 ( PDF )
  • 2017 実績報告書
  • 研究成果

    (6件)

すべて 2019 2018 2017 その他

すべて 国際共同研究 (2件) 雑誌論文 (1件) (うち国際共著 1件、 査読あり 1件) 学会発表 (3件) (うち国際学会 2件、 招待講演 1件)

  • [国際共同研究] トゥールーズ工科大学(フランス)

    • 関連する報告書
      2018 実績報告書
  • [国際共同研究] ニューカッスル大学(英国)

    • 関連する報告書
      2018 実績報告書
  • [雑誌論文] Consistency-Preserving Refactoring of Refinement Structures in Event-B Models2019

    • 著者名/発表者名
      Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden
    • 雑誌名

      Formal Aspects of Compupting

      巻: Preprint 号: 3 ページ: 287-320

    • DOI

      10.1007/s00165-019-00478-z

    • 関連する報告書
      2018 実績報告書
    • 査読あり / 国際共著
  • [学会発表] Refactoring Refinement of Event-B Models2018

    • 著者名/発表者名
      Tsutomu Kobayashi and Fuyuki Ishikawa
    • 学会等名
      Shonan Meeting towards Industrial Application of Advanced Formal Methods for Cyber-Physical System Engineering
    • 関連する報告書
      2018 実績報告書
    • 国際学会
  • [学会発表] 博士論文紹介:Supporting Planning and Refactoring of Refinement Structure of Event-B Models2017

    • 著者名/発表者名
      小林 努
    • 学会等名
      第197回ソフトウェア工学研究発表会
    • 関連する報告書
      2017 実績報告書
    • 招待講演
  • [学会発表] Extracting Traceability between Predicates in Event-B Refinement2017

    • 著者名/発表者名
      Shinnosuke Saruwatari
    • 学会等名
      The 24th Asia-Pacific Software Engineering Conference
    • 関連する報告書
      2017 実績報告書
    • 国際学会

URL: 

公開日: 2017-08-25   更新日: 2020-03-30  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi