Presentation | 2001/5/18 Markovian Modeling for Software Safety/Availability Measurement in Dynamic Environment Koichi Tokuno, Shigeru Yamada, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | This paper reconstructs a software safety/availability model based on the existing Markovian software availability one. The attention of this paper is directed to the event that the system causes hazardous conditions randomly in operation. In particular, we assume that some of debugging activities contribute to software safety improvement as well. Several quantities for software safety/availability measurement are derived from this model. In particular, we provide a metrics of software safety defined as the probability that the system does not fall into hazardous states at a specified time point. Several numerical illustrations of these measures are also presented. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | software safety / software availability / Markov process / safety improvement / imperfect debugging |
Paper # | R2001-10 |
Date of Issue |
Conference Information | |
Committee | R |
---|---|
Conference Date | 2001/5/18(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) | Markovian Modeling for Software Safety/Availability Measurement in Dynamic Environment |
Sub Title (in English) | |
Keyword(1) | software safety |
Keyword(2) | software availability |
Keyword(3) | Markov process |
Keyword(4) | safety improvement |
Keyword(5) | imperfect debugging |
1st Author's Name | Koichi Tokuno |
1st Author's Affiliation | Department of Social Systems Engineering Faculty of Engineering, Tottori University() |
2nd Author's Name | Shigeru Yamada |
2nd Author's Affiliation | Department of Social Systems Engineering Faculty of Engineering, Tottori University |
Date | 2001/5/18 |
Paper # | R2001-10 |
Volume (vol) | vol.101 |
Number (no) | 88 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |