Presentation 2009-05-29
Software Performability Model with Two Kinds of Restoration
Koichi TOKUNO, Shigeru YAMADA,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) In this paper, we discuss software performability evaluation considering the real-time property. The time-dependent behavior of the system alternating between up and down state is described by the Markov process. Then we incorporate the operation-oriented restoration scenario into the model, i.e., we consider the following two types of restoration: one is the restoration with debugging and the other is without debugging. Assuming that the software system can process the multiple tasks simultaneously, we also consider the variety of tasks in terms of the task arrival process and the processing time limit. We describe the arrival process of the tasks follows a nonhomogeneous Poisson process and treat the processing time limit as a random variable. We analyze the distribution of the number of tasks whose processes can be completed within the processing time limit with the infinite server queueing model. From the model, we derive several software performability measures considering the real-time property. Finally, we illustrate several numerical examples of the measures to investigate the impact of the variety of tasks and the operational restoration on the system performability evaluation.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) Performability / Operation-oriented restoration / Real-time property / Variety of tasks / Infinite-server queueing model / Software reliability growth
Paper # R2009-11
Date of Issue

Conference Information
Committee R
Conference Date 2009/5/22(1days)
Place (in Japanese) (See Japanese page)
Place (in English)
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair
Vice Chair
Secretary
Assistant

Paper Information
Registration To Reliability(R)
Language ENG
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Software Performability Model with Two Kinds of Restoration
Sub Title (in English)
Keyword(1) Performability
Keyword(2) Operation-oriented restoration
Keyword(3) Real-time property
Keyword(4) Variety of tasks
Keyword(5) Infinite-server queueing model
Keyword(6) Software reliability growth
1st Author's Name Koichi TOKUNO
1st Author's Affiliation Graduate School of Engineering, Tottori University()
2nd Author's Name Shigeru YAMADA
2nd Author's Affiliation Graduate School of Engineering, Tottori University
Date 2009-05-29
Paper # R2009-11
Volume (vol) vol.109
Number (no) 67
Page pp.pp.-
#Pages 6
Date of Issue