5月25日(金) 午後 13:00 - 17:45 |
(1) |
13:00-13:25 |
取替時に二重系期間をもつシステムの最適方策 |
○水谷聡志(愛知工科大)・中川覃夫(愛知工大) |
(2) |
13:25-13:50 |
開発属性データを用いたGMDHによるソフトウェアの信頼性予測に関する一考察 |
○嶋田遼平・木村光宏(法政大) |
(3) |
13:50-14:15 |
二種類の不完全点検切り替え点に関する一考察 |
○佐藤 毅(鳥取大) |
|
14:15-14:30 |
休憩 ( 15分 ) |
(4) |
14:30-14:55 |
消費電力制約を伴うシステム信頼性設計に関する考察 |
○古賀俊孝・土肥 正・岡村寛之(広島大) |
(5) |
14:55-15:20 |
マルコフ連鎖モンテカルロ法による位相型分布のベイズ推定 |
○渡辺 龍・岡村寛之・土肥 正(広島大) |
(6) |
15:20-15:45 |
The Availability Importance Analysis of Components in Virtualized System |
○Junjun Zheng・Hiroyuki Okamura・Tadashi Dohi(Hiroshima Univ.) |
(7) |
15:45-16:10 |
On the Role of Weibull-type Distributions in Binomial Software Reliability Modeling |
○Xiao Xiao・Tadashi Dohi(Hiroshima Univ.) |
|
16:10-16:30 |
休憩 ( 20分 ) |
(8) |
16:30-16:55 |
チェンジポイントを考慮したソフトウェア信頼性評価のためのハザードレートモデルに関する一考察 |
○井上真二・林田志保・山田 茂(鳥取大) |
(9) |
16:55-17:20 |
Bayesian Networks Modeling for Dynamic Fault Tree |
○Tetsushi Yuge・Shigeru Yanagi(National Defense Academy) |
(10) |
17:20-17:45 |
A Note on Software Performability Evaluation with Systemability |
○Koichi Tokuno・Shigeru Yamada(Tottori Univ.) |