8月1日(金) 午後 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 |
報酬構造を考慮したテストケース自動生成の改良について |
今富政喜・○土肥 正(広島大) |
(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 |
休憩 ( 10分 ) |
(4) |
14:55-15:20 |
m=r,s=2である場合のconnected-(r,s)-out-of-(m,n):Fシステムの最適配置算出アルゴリズムに関する研究 |
○小村 徹・山本久志(首都大東京)・秋葉知昭(千葉工大)・肖 霄(首都大東京) |
(5) |
15:20-15:45 |
分散レプリケーションの性能・可用性・一貫性に関する評価尺度の検討 |
○福本 聡・神田一平(首都大東京)・新井雅之(日大) |
(6) |
15:45-16:10 |
JIS Z 8115 ディペンダビリティ(信頼性)用語改正の狙いと課題 (その1) |
○益田昭彦(東京理科大)・西 干機(DNV)・後藤博之(FDK)・川島 興(オリエンタルモーター) |
|
16:10-16:20 |
休憩 ( 10分 ) |
(7) |
16:20-16:45 |
3次元連結型システムの信頼度算出方法の提案と評価 |
○秋葉知昭(千葉工大)・高橋奈津美(首都大東京)・渡邉佳稀(千葉工大)・山本久志(首都大東京) |
(8) |
16:45-17:10 |
小修理を伴うワンショットシステムの点検間隔に関する検討 |
○北川智大・弓削哲史・柳 繁(防衛大) |
(9) |
17:10-17:35 |
定期的インクリメンタルガベージコレクションの最適方策 |
○中村正治(金城学院大)・趙 旭峰・中川覃夫(愛知工大) |