Fri, Aug 1 PM
13:30 - 17:35 |
| (1) |
13:30-13:55 |
Hazard Rate Modeling for Software Reliability Assessment with Multiple Change-Point |
Shinji Inoue, Shigeru Yamada (Tottori Univ.) |
| (2) |
13:55-14:20 |
On improvement of automatic test case generation taking account of reward structure |
Masaki Imatomi, Tadashi Dohi (Hiroshima Univ.) |
| (3) |
14:20-14:45 |
Quantifying Resiliency of Virtualized System with Software Rejuvenation |
Hiroyuki Okamura, Jungang Gang, Chao Luo, Tadashi Dohi (Hiroshima Univ.) |
| |
14:45-14:55 |
Break ( 10 min. ) |
| (4) |
14:55-15:20 |
Algorithm for obtaining optimal arrangement of connected-(r,s)-out-of-(m,n):F system in the case of m=r and s=2. |
Toru Omura, Hisashi Yamamoto (TMU), Tomoaki Akiba (CIT), Xiao Xiao (TMU) |
| (5) |
15:20-15:45 |
A Study on Evaluation Measures for Performance, Availability and Consistency in Distributed Replication |
Satoshi Fukumoto, Ippei Kanda (Tokyo Metropolitan Univ.), Masayuki Arai (Nihon Univ.) |
| (6) |
15:45-16:10 |
Aims and Key Issues of the Amendment of JIS Z 8115 Dependability (Reliability) Terms (Part 1) |
Akihiko Masuda (Tokyo Univ. of Science), Tateki Nishi (DNV), Hiroyuki Goto (FDK), Ko Kawashima (Oriental Motor) |
| |
16:10-16:20 |
Break ( 10 min. ) |
| (7) |
16:20-16:45 |
Evaluation of algorithm for the reliability of a 3-dimensional k-system |
Tomoaki Akiba (CIT), Natsumi Takahashi (TMU), Yoshiki Watanabe (CIT), Hisashi Yamamoto (TMU) |
| (8) |
16:45-17:10 |
Optimal Inspection policies for a One-shot System with Minimal Repair |
Tomohiro Kitagawa, Tetsushi Yuge, Shigeru Yanagi (National Defense Academy) |
| (9) |
17:10-17:35 |
Optimal Policies for Periodic Incremental Garbage Collection |
Syouji Nakamura (Kinjo Gakuin Univ), Xufeng Zhao, Toshio Nakagawa (AIT) |
: a
