• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Detection and Repair of Soft-Faults in Software Systems

Research Project

Project/Area Number 23650019
Research Category

Grant-in-Aid for Challenging Exploratory Research

Allocation TypeMulti-year Fund
Research Field Software
Research InstitutionNational Institute of Informatics

Principal Investigator

NAKAJIMA Shin  国立情報学研究所, アーキテクチャ科学研究系, 教授 (60350211)

Project Period (FY) 2011-04-28 – 2015-03-31
Project Status Completed (Fiscal Year 2014)
Budget Amount *help
¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2013: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2012: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2011: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Keywords自己適応システム / Webアプリケーション / 実行時検証 / 柔らかな不具合 / ソフトウェア工学
Outline of Final Research Achievements

Open systems such as Web applications may fall into undesirable situations by unpredictable behavior of users or clients. The situations are such that the system is functionally correct, but exhibits behavior different from what the system owner expect from it. Such faulty behavior is not a program bug that must be removed, and is called “Soft Faults”here. This research project proposes a general theory to account for the Soft Faults, and shows that the theory is effective by applying it to a self-adaptive Web application system.

Report

(5 results)
  • 2014 Annual Research Report   Final Research Report ( PDF )
  • 2013 Research-status Report
  • 2012 Research-status Report
  • 2011 Research-status Report
  • Research Products

    (11 results)

All 2015 2014 2013 2012 2011 Other

All Journal Article (4 results) (of which Peer Reviewed: 4 results,  Acknowledgement Compliant: 1 results) Presentation (7 results)

  • [Journal Article] 要求変化へのソフトウェア工学2015

    • Author(s)
      中島震
    • Journal Title

      電子情報通信学会誌

      Volume: 98 Pages: 124-129

    • NAID

      110009909643

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed
  • [Journal Article] 自己適応システムにおけるコンポーネントの安全な置き換え2014

    • Author(s)
      中島震
    • Journal Title

      コンピュータソフトウェア

      Volume: 31 Pages: 259-269

    • NAID

      130004688283

    • Related Report
      2014 Annual Research Report
    • Peer Reviewed / Acknowledgement Compliant
  • [Journal Article] 実行時干渉の発生確率予測2013

    • Author(s)
      中島震
    • Journal Title

      コンピュータソフトウェア

      Volume: 30 Pages: 95-101

    • NAID

      130004549322

    • Related Report
      2013 Research-status Report
    • Peer Reviewed
  • [Journal Article] 自己適応Webアプリケーションシステム:概念アーキテクチャと実現フレームワーク2012

    • Author(s)
      中島震
    • Journal Title

      コンピュータ・ソフトウェア

      Volume: 29 Pages: 54-69

    • NAID

      10030497714

    • Related Report
      2012 Research-status Report
    • Peer Reviewed
  • [Presentation] 自己適応システムの安全なコンポーネント置き換え2013

    • Author(s)
      中島震
    • Organizer
      日本ソフトウェア科学会第30会大会
    • Place of Presentation
      東京大学、本郷キャンパス
    • Related Report
      2013 Research-status Report
  • [Presentation] Safe Substitution of Components in Self-Adaptive Web Applications2013

    • Author(s)
      Shin Nakajima
    • Organizer
      The 20th Asia-Pacific Software Engineering Conference
    • Place of Presentation
      Bangkok, Thailand
    • Related Report
      2013 Research-status Report
  • [Presentation] Importance Sampling of Runtime Interference2012

    • Author(s)
      Shin Nakajima
    • Organizer
      The 19th Asia-Pacific Software Engineering Conference (APSEC 2012)
    • Place of Presentation
      香港、中国
    • Related Report
      2012 Research-status Report
  • [Presentation] 柔らかな不具合の発生頻度予測2012

    • Author(s)
      中島震
    • Organizer
      日本ソフトウェア科学会第29回大会
    • Place of Presentation
      法政大学、小金井キャンパス
    • Related Report
      2012 Research-status Report
  • [Presentation] An Architecture of Dynamically Adaptive PHP-based Web Applications2011

    • Author(s)
      Shin NAKAJIMA
    • Organizer
      APSEC 2011
    • Place of Presentation
      ベトナム、ホーチミン市
    • Related Report
      2011 Research-status Report
  • [Presentation] 柔らかな不具合に対する自己適応システムのアーキテクチャ2011

    • Author(s)
      中島震
    • Organizer
      2011年度日本ソフトウェア科学会大会
    • Place of Presentation
      那覇市
    • Related Report
      2011 Research-status Report
  • [Presentation] Safe Substitution for Service-based Applications

    • Author(s)
      Shin Nakajima
    • Organizer
      2nd International Workshop on Quality Assurance for Service-based Applications
    • Place of Presentation
      Lugano, Switzerland
    • Related Report
      2013 Research-status Report

URL: 

Published: 2011-08-05   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi