12月14日(金) 午後 13:00 - 17:35 |
(1) |
13:00-13:20 |
FPGAにおける周期的なフィールドテストのためのオンチップ遅延測定 |
○三宅庸資・佐藤康夫・梶原誠司(九工大) |
(2) |
13:20-13:40 |
On Estimating Uncertainty Propagation in Dependability Models
-- Moment-Based Approach -- |
Hiroyuki Okamura・○Tadashi Dohi(Hiroshima Univ.)・Kishor Trivedi(Duke Univ.) |
(3) |
13:40-14:00 |
標準車載ネットワークCANの評価手法 |
○佐藤諒平・福本 聡(首都大東京)・新井雅之(日大) |
|
14:00-14:05 |
休憩 ( 5分 ) |
(4) |
14:05-14:25 |
SDNのルールテーブル分割に対するSATベース解法 |
小笠原亮太・○新井雅之(日大) |
(5) |
14:25-14:45 |
機械学習を用いた小型レール状態診断装置の活用方法の提案 |
○若井翔平・高田哲也(京三製作所)・水間 毅(東大)・綱島 均・松本 陽・林田悠一・廣瀬亮太(日大) |
(6) |
14:45-15:05 |
FMEA結果を用いたシステム品質への影響に関する一考察 |
○石川桂多・深山靖典(京三製作所)・Upvinder Singh・水間 毅(東大) |
(7) |
15:05-15:25 |
製造中止部品の代替品選定手法の研究 |
○山本祐亮(京三製作所)・水間 毅・Upvinder Singh(東大) |
(8) |
15:25-15:45 |
STAMPとFMEA/FTAを併用した安全性評価の一考察 |
○深山靖典・石川桂多(京三製作所)・水間 毅(東大) |
|
15:45-15:50 |
休憩 ( 5分 ) |
(9) |
15:50-16:10 |
地上子を用いない直線区間における列車位置検出手法の基礎検討 |
○谷口 茂・岩田浩司・北野隆康(鉄道総研)・記虎正幸・浅野 晃(京三製作所) |
(10) |
16:10-16:30 |
LiDARセンサを用いた絶対位置検出手法について |
○篠田憲幸・竹内俊裕・山口大助・渡邉翔一郎(交通安全環境研)・水間 毅(東大) |
(11) |
16:30-16:50 |
地方鉄道を対象とした自動運転技術活用に関する基礎検討 |
○竹内俊裕・篠田憲幸・長谷川智紀・山口大助・渡邉翔一郎(交通安全環境研)・水間 毅(東大) |
(12) |
16:50-17:10 |
鉄道における通信を利用した列車制御に対するセキュリティ確保のポイントの考察 |
○長谷川智紀(交通安全環境研)・森 崇(JR西日本)・林田守正(交通安全環境研)・水間 毅(東大) |
|
17:10-17:15 |
休憩 ( 5分 ) |
(13) |
17:15-17:35 |
[招待講演]安全検証を利用したセキュリティ機能の実現 ~ セキュリティと機能安全の両立のために ~ |
○金川信康(日立) |