12月12日(金) 午後 13:00 - 14:40 |
(1) |
13:00-13:25 |
光結合を用いたフェールセーフ論理ゲート |
○工藤大地・平尾裕司・木村哲也・蓬原弘一(長岡技科大) |
(2) |
13:25-13:50 |
故障の許容性に基づく閾値テスト生成のための回路モデル |
○周藤健太・吉川祐樹・市原英行・井上智生(広島市大) |
(3) |
13:50-14:15 |
耐故障プロセッサ評価モデルの解析について |
○福本 聡・新井雅之・岩崎一彦(首都大東京) |
(4) |
14:15-14:40 |
系再構成機能を適用した分散制御システムの実装 |
○安澤卓也・望月 寛・高橋 聖・中村英夫(日大) |
|
14:40-14:50 |
休憩 ( 10分 ) |
12月12日(金) 午後 14:50 - 16:55 |
(5) |
14:50-15:15 |
インターネット利用システムにおけるIntegrityの定量的評価 |
○今野 宏・北神正人・難波一輝・伊藤秀男(千葉大) |
(6) |
15:15-15:40 |
自動車制御システムのエラーモデル記述による安全性分析手法 |
○吉村 悠・日高隆博・小林隆志・手嶋茂晴(名大)・中條直也(豊田中研)・高田広章・高浜盛雄(名大) |
(7) |
15:40-16:05 |
鉄道信号装置のアベイラビリティ向上策に関する一検討 |
○林 辰憲・中村英夫(日大)・山本春生・岩田浩司(鉄道総研) |
(8) |
16:05-16:30 |
RAMS指標による鉄道信号システム構成の検討手法 |
○平栗滋人(鉄道総研) |
(9) |
16:30-16:55 |
鉄道信号装置のリスク評価法の検討 |
○岩田浩司・渡辺郁夫(鉄道総研) |