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

2010 Fiscal Year Final Research Report

A Study on Service Availability Evaluation for Software System

Research Project

  • PDF
Project/Area Number 20510136
Research Category

Grant-in-Aid for Scientific Research (C)

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

Principal Investigator

TOKUNO Koichi  Tottori University, 大学院・工学研究科, 准教授 (40263488)

Project Period (FY) 2008 – 2010
Keywordsソフトウェア可用性 / サービス信頼性 / ユーザの間欠使用 / コデザイン / リアルタイム性 / マルコフ過程 / 信頼度成長 / 無限サーバ待ち行列理論
Research Abstract

In this study, we construct several types of mathematical and stochastic model for evaluating the novel reliability characteristic, called "service availability" of software-based systems, considering the usage characteristics of the end-users. We define the software service availability as the probability that the software-based systems can satisfactorily complete the services the end-users require, and then derive several stochastic quantities for software service availability assessment as the functions of time and the debugging activities.

  • Research Products

    (32 results)

All 2011 2010 2009 2008 Other

All Journal Article (18 results) (of which Peer Reviewed: 18 results) Presentation (9 results) Book (5 results)

  • [Journal Article] Performability analysis for software-intensive system considering variety of tasks and operation-oriented restoration2011

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

      Quality Technology and Quantitative Management Vol.8, No.1

      Pages: 27-43

    • Peer Reviewed
  • [Journal Article] Codesign-oriented performability modeling for hardware-software system2011

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

      IEEE Transactions on Reliability Vol.60, No.1

      Pages: 171-179

    • Peer Reviewed
  • [Journal Article] Stochastic performability measurement for software system with random performance degradation and field-oriented restoration2010

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

      International Journal of Systems Assurance Engineering and Management Vol.1, No.4

      Pages: 330-339

    • Peer Reviewed
  • [Journal Article] Availability-based software performability analysis with operation-oriented restoration and imperfect debugging2010

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

      in the Proceedings of the Tenth International Conference on Industrial Management (ICIM'2010), Beijing, China

      Pages: 431-436

    • Peer Reviewed
  • [Journal Article] Generalized framework for Markovian software availability modeling and its approximation2010

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

      in the Proceedings of the Sixteenth ISSAT International Conference on Reliability and Quality in Design (RQD'2010), Washington, D.C., U.S.A.

      Pages: 238-242

    • Peer Reviewed
  • [Journal Article] Markovian performability evaluation for software system with random performance degradation and imperfect debugging2010

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

      in the Proceedings of the Sixteenth ISSAT International Conference on Reliability and Quality in Design (RQD'2010), Washington, D.C., U.S.A.

      Pages: 243-247

    • Peer Reviewed
  • [Journal Article] Markovian model for user-perceived software service availability measurement with operation-oriented restoration2010

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

      in the Proceedings of the 7th International Conference on Service Systems and Service Management (ICSSSM'10), Tokyo, Japan

      Pages: 478-483

    • Peer Reviewed
  • [Journal Article] Availability-based software performability model with user-perceived performance degradation2010

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

      International Journal of Software Engineering and Its Applications Vol.4, No.1

      Pages: 1-14

    • Peer Reviewed
  • [Journal Article] Generalized Markovian software reliability modeling and its alternative calculation2009

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

      International Journal of Reliability, Quality and Safety Engineering Vo1.16, No.5

      Pages: 385-402

    • Peer Reviewed
  • [Journal Article] Generalized Markovian software reliability modeling and its approximation2009

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

      in the Proceedings of the Fifteenth ISSAT International Conference on Reliability and Quality in Design (RQD'2009), San Francisco, California, U.S.A.

      Pages: 377-381

    • Peer Reviewed
  • [Journal Article] Markovian performability modeling for hardware-software system2009

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

      in the Proceedings of the Fifteenth ISSAT International Conference on Reliability and Quality in Design (RQD'2009), San Francisco, California, U.S.A.

      Pages: 382-386

    • Peer Reviewed
  • [Journal Article] Performability modeling for software system with performance degradation and reliability growth2009

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

      IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Vol.E92-A, No.7

      Pages: 1563-1571

    • Peer Reviewed
  • [Journal Article] Performance analysis based on the number of debuggings for software system with processing time limit using reliability growth model2008

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

      Asia-Pacific Journal of Operational Research Vol.25, No.6

      Pages: 765-780

    • Peer Reviewed
  • [Journal Article] Stochastic performability evaluation for software-intensive system in case of tasks with various processing deadlines2008

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

      in the Proceedings of the 3rd Asian International Workshop on Advanced Reliability Modeling (AIWARM 2008), Taichung, Taiwan, R.O.C.

      Pages: 575-582

    • Peer Reviewed
  • [Journal Article] Service-oriented software availability model with service degradation2008

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

      in the Proceedings of the Ninth International Conference on Industrial Management (ICIM'2008), Osaka, Japan

      Pages: 626-631

    • Peer Reviewed
  • [Journal Article] Markovian software reliability modeling with testing-effort2008

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

      in the Proceedings of the Fourteenth ISSAT International Conference on Reliability and Quality in Design (RQD'2008), Orlando, Florida, U.S.A.

      Pages: 193-197

    • Peer Reviewed
  • [Journal Article] Dynamic performance analysis for software system considering real-time property in case of NHPP task arrival2008

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

      in the Proceedings of the Second IEEE International Conference on Secure System lntegration and Reliability Improvement SSIRI 2008(Yokohama, Japan)

      Pages: 73-80

    • Peer Reviewed
  • [Journal Article] Dynamic software performability analysis with operation-oriented restoration and imperfect debugging based on Markovian availability model

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

      Asia-Pacific Journal of Industrial Management, to be published in 2011

    • Peer Reviewed
  • [Presentation] 性能低下および運用段階特有の修復シナリオを考慮したソフトウェア性能評価のための統合モデル2010

    • Author(s)
      得能貢一, 山田茂
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会), Vol.110, No.345, R2010-37, 1-6
    • Year and Date
      20101200
  • [Presentation] ハードウェア/ソフトウェアシステムに対するサービス可用性評価法に関する一考察2010

    • Author(s)
      得能貢一, 山田茂
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会), Vol.110, No.159, R2010-21, 25-30
    • Year and Date
      20100700
  • [Presentation] 運用時の復旧シナリオを考慮したソフトウェア・サービスアベイラビリティ評価モデル2010

    • Author(s)
      得能貢一, 山田茂
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会), Vol.110, No.62, R2010-14, 43-48
    • Year and Date
      20100500
  • [Presentation] 性能低下を考慮したマルコフ型ソフトウェア性能評価モデル2009

    • Author(s)
      得能貢一, 山田茂
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会), Vol.109, No.161, R2009-25, 17-22
    • Year and Date
      20090700
  • [Presentation] 2種類の復旧シナリオを考慮したソフトウェア性能評価モデル2009

    • Author(s)
      得能貢一, 山田茂
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会), Vol.109, No.67, R2009-11, 19-24
    • Year and Date
      20090500
  • [Presentation] ハードウェアおよびソフトウェアコンポーネントの故障/修復特性を同時に考慮したコンピュータシステムの性能評価法2009

    • Author(s)
      高橋淳一, 得能貢一, 山田茂
    • Organizer
      平成21年度電気・情報関連学会中国支部第60会連合大会
    • Place of Presentation
      山口大学工学部(宇部市)
    • Year and Date
      2009-11-21
  • [Presentation] マルコフ型ソフトウェア信頼性モデルの一般化枠組みと信頼性評価尺度算出のための近似計算法に関する一考察2009

    • Author(s)
      小寺貴裕, 得能貢一, 山田茂
    • Organizer
      平成21年度電気・情報関連学会中国支部第60会連合大会
    • Place of Presentation
      山口大学工学部(宇部市)
    • Year and Date
      2009-11-21
  • [Presentation] 処理時間制約が分布する場合のソフトウェア処理性評価法2008

    • Author(s)
      得能貢一, 山田茂
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会), Vol.108, No.72, R2008-10,7-12
    • Year and Date
      20080500
  • [Presentation] Performability Modeling for Hardware-Software System with Software Reliability Growth2008

    • Author(s)
      得能貢一, 山田茂
    • Organizer
      日本OR学会2008年秋季研究発表会
    • Place of Presentation
      札幌コンベンションセンター
    • Year and Date
      2008-09-10
  • [Book] Markovian service availability modeling for hardware/software system, in Advanced Reliability Modeling IV(Beyond the Traditional Reliability and Maintainability Approaches, Wellington, New Zealand, 2-4 December 2010, Proceedings of the 4th Asia-Pacific International Symposium (APARM 2010))2010

    • Author(s)
      K.Tokuno, S.Yamada
    • Total Pages
      680-687
    • Publisher
      McGraw Hill, Taipei, Taiwan, R.O.C.
  • [Book] Software performability measurement based on availability model with user-perceived performance degradation, in Advances in Software Engineering --- International Conference on Advanced Software Engineering and Its Applications(ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009, Proceedings, Communications in Computer and Information Science 59)2009

    • Author(s)
      K.Tokuno, S.Yamada
    • Total Pages
      264-271
    • Publisher
      Springer-Verlag, Berlin
  • [Book] Operational software performance evaluation based on the number of debuggings with two kinds of restoration scenarios(in Recent Advances in Stochastic Operations Research II)2009

    • Author(s)
      K.Tokuno, S.Yamada
    • Total Pages
      253-269
    • Publisher
      World Scientific, Singapore
  • [Book] Markovian performance evaluation for software system availability with processing time limit(in Recent Advances in Reliability and Quality in Design, Chapter 10)2008

    • Author(s)
      M.Fukuda, K. Tokuno, S. Yamada
    • Total Pages
      225-238
    • Publisher
      Springer-Verlag, London
  • [Book] User-perceived software service availability modeling with reliability growth(in Service Availability --- 5th International Service Availability Symposium, ISAS 2008, Tokyo, Japan, May 19-21 2008, Proceedings, Lecture Notes in Computer Science 5017)2008

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

URL: 

Published: 2012-01-26   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi