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 ディペンダビリティ（信頼性）用語改正の狙いと課題 (その１) |
○益田昭彦（東京理科大）・西 干機（DNV）・後藤博之（FDK）・川島 興（オリエンタルモーター） |
| |
16:10-16:20 |
休憩 （ 10分 ） |
| (7) |
16:20-16:45 |
3次元連結型システムの信頼度算出方法の提案と評価 |
○秋葉知昭（千葉工大）・高橋奈津美（首都大東京）・渡邉佳稀（千葉工大）・山本久志（首都大東京） |
| (8) |
16:45-17:10 |
小修理を伴うワンショットシステムの点検間隔に関する検討 |
○北川智大・弓削哲史・柳 繁（防衛大） |
| (9) |
17:10-17:35 |
定期的インクリメンタルガベージコレクションの最適方策 |
○中村正治（金城学院大）・趙 旭峰・中川覃夫（愛知工大） |
: a
