7月15日(金) 午後 13:00 - 16:40 |
|
13:00-13:05 |
委員長挨拶 ( 5分 ) |
(1) |
13:05-13:30 |
ATS地上子の状態監視技術の開発 |
○平本匡寛・高橋 聖・中村英夫(日大) |
(2) |
13:30-13:55 |
シミュレータを利用した鉄道システム安全性の定量的評価手法の検討 |
○杉浦章之・中村英夫(日大)・山口知宏・水間 毅(交通安全環境研) |
(3) |
13:55-14:20 |
割り込みのあるサービスの三要素FMEAによる不具合解析 |
○益田昭彦(帝京科学大) |
(4) |
14:20-14:45 |
従属故障要素により構成されるシステムの最適取替え時期について |
○弓削哲史・田村信幸・柳 繁(防衛大) |
|
14:45-15:00 |
休憩 ( 15分 ) |
(5) |
15:00-15:25 |
Software Reliability Assessment Tool for Concurrent Distributed Development Environment |
○Yoshinobu Tamura(Tottori Univ. of Env. Studies)・Shigeru Yamada(Tottori Univ.) |
(6) |
15:25-15:50 |
マルコフ型不完全デバッグモデルを用いたソフトウェアの運用信頼性評価法 |
○得能貢一・山田 茂(鳥取大) |
(7) |
15:50-16:15 |
A generalized discrete binomial process model for software reliability assessment and its application to optimal release problems |
○Shinji Inoue・Shigeru Yamada(Tottori Univ.) |
(8) |
16:15-16:40 |
Exact Computation Algorithms for Sequential Checkpoint Placement |
Tatsuya Ozaki・○Tadashi Dohi(Hiroshima Univ.)・Naoto Kaio(Hiroshima Shudo Univ.) |