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

2013 Fiscal Year Final Research Report

A Study on Service-Oriented Software Reliability Evaluation with Systemability

Research Project

  • PDF
Project/Area Number 23510170
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Social systems engineering/Safety system
Research InstitutionTottori University

Principal Investigator

TOKUNO Koichi  鳥取大学, 工学(系)研究科(研究院), 教授 (40263488)

Project Period (FY) 2011 – 2013
Keywordsソフトウェア信頼性 / システマビリティ / サービス可用性 / 運用環境の変動性 / マルコフ過程 / NHPP
Research Abstract

In this study, we construct several types of mathematical and stochastic model for evaluating reliability of software-based systems in the operation phase considering systemability, which is a novel concept of reliabiilty characteristic and considers the uncertainty and variability factors of the operational envoronment. Furthermore, we introduce the concept of systemability to the method for assessing the software service availability.We derive several stochastic quantities for software reliability and availability assessment as the functions of time and the debugging activities.

  • Research Products

    (15 results)

All 2012 2011

All Journal Article (8 results) (of which Peer Reviewed: 8 results) Presentation (6 results) Book (1 results)

  • [Journal Article] Markovian modeling for operational software reliability evaluation with systemability2012

    • Author(s)
      K. Tokuno, S. Yamada
    • Journal Title

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences

      Volume: Vol. E95-A, No. 9 Pages: 1469-1477

    • Peer Reviewed
  • [Journal Article] NHPP-based software availability assessment modeling with systemability2012

    • Author(s)
      M. Yamamoto, K. Tokuno, S. Yamada
    • Journal Title

      the Proceedings of the Eleventh International Conference on Industrial Management, Tokyo, Japan

      Pages: 378-392

    • Peer Reviewed
  • [Journal Article] Imperfect debugging model with random fault removal efficiency for software reliability evaluation2012

    • Author(s)
      G. Murakami, K. Tokuno, S. Yamada
    • Journal Title

      the Proceedings of the Eleventh International Conference on Industrial Management, Tokyo, Japan

      Pages: 375-380

    • Peer Reviewed
  • [Journal Article] Software performability evaluation based on Markovian reliability model with systemability2012

    • Author(s)
      T. Fukuda, K. Tokuno, S. Yamada
    • Journal Title

      the Proceedings of the Eighteenth ISSAT International Conference on Reliability and Quality in Design, Boston, Massachusetts, U.S.A.

      Pages: 116-120

    • Peer Reviewed
  • [Journal Article] Codesign-oriented and user-perceived service availability measurement for hardware/software system2012

    • Author(s)
      K. Tokuno
    • Journal Title

      Asia-Pacific Journal of Operational Research

      Volume: Vol. 29, No. 3 Pages: 1240024-1-22

    • Peer Reviewed
  • [Journal Article] Stochastic software performability evaluation based on NHPP reliability growth model2011

    • Author(s)
      K. Tokuno, T. Nagata, S. Yamada
    • Journal Title

      International Journal of Reliability, Quality and Safety Engineering

      Volume: Vol. 18, No. 5 Pages: 431-444

    • Peer Reviewed
  • [Journal Article] Stochastic performability evaluation for software system based on NHPP reliability model2011

    • Author(s)
      T. Nagata, K. Tokuno, S. Yamada
    • Journal Title

      the Proceedings of the Seventeenth ISSAT International Conference on Reliability and Quality in Design, Vancouver, B.C., Canada

      Pages: 127-131

    • Peer Reviewed
  • [Journal Article] Software reliability modeling with randomness of fault correction probability2011

    • Author(s)
      K. Tokuno, S. Yamada
    • Journal Title

      the Proceedings of the Seventh International Conference on Mathematical Methods in Reliability, Theory, Methods and Applications (MMR 2011), Beijing, China

      Pages: 280-286

    • Peer Reviewed
  • [Presentation] Software performability evaluation with NHPP-based SRGM considerating systemability2012

    • Author(s)
      得 能貢一
    • Organizer
      日本 OR 学会2012年秋季研究発表会
    • Place of Presentation
      ウインクあいち
    • Year and Date
      2012-09-13
  • [Presentation] システマビリティを考慮したソフトウェア可用性モデル2012

    • Author(s)
      得能貢一, 山田茂
    • Organizer
      日本OR 学会2012年春季研究発表会
    • Place of Presentation
      防衛大学校
    • Year and Date
      2012-03-28
  • [Presentation] Markovian operational software reliability modeling with systemability2011

    • Author(s)
      K. Tokuno, S. Yamada
    • Organizer
      Supplemental Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering
    • Place of Presentation
      (CD-ROM)
    • Year and Date
      2011-12-01
  • [Presentation] NHPP に基づく完全デバッグ率のランダム性を考慮したソフトウェア信頼性モデル2011

    • Author(s)
      村上元太, 得能貢一, 山田茂
    • Organizer
      第13回 IEEE 広島支部学生シンポジウム論文集
    • Place of Presentation
      広島 (CD-ROM)
    • Year and Date
      2011-11-19
  • [Presentation] NHPP モデルを用いたソフトウェア性能評価法2011

    • Author(s)
      得能貢一, 山田茂
    • Organizer
      日本 OR 学会2011年秋季研究発表会
    • Place of Presentation
      甲南大学
    • Year and Date
      2011-09-16
  • [Presentation] システマビリティを導入したソフトウェアの運用信頼性評価モデルに関する一考察2011

    • Author(s)
      得能貢一, 山田茂
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会)
    • Year and Date
      2011-07-29
  • [Book] Application of systemability to software reliability evaluation, in Advances in Software Engineering, International Conference on Advanced Software Engineering and Its Applications, ASEA 2011 Held as Part of the Future Generation Information Technology Conference, FGIT 2011, Jeju Island, Korea2011

    • Author(s)
      K. Tokuno, S. Yamada
    • Total Pages
      514-521
    • Publisher
      Springer-Verlag, Berlin

URL: 

Published: 2015-07-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi