Fri, Dec 14 PM 13:00 - 17:35 |
(1) |
13:00-13:20 |
On-Chip Delay Measurement for In-field Periodic Test of FPGAs |
Yousuke Miyake, Yasuo Sato, Seiji Kajihara (KIT) |
(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 |
|
|
|
14:00-14:05 |
Break ( 5 min. ) |
(4) |
14:05-14:25 |
SAT-Based Solution for SDN Rule Table Partitioning |
Ryota Ogasawara, Masayuki Arai (Nihon Univ.) |
(5) |
14:25-14:45 |
Prosal of Practical Method of track condition monitoring compact device using machine learning |
Shohei Wakai, Tetsuya Takata (Kyosan Electric Manufacturing), Takeshi Mizuma (Tokyo Univ.), Hitoshi Tsunashima, Akira Matsumoto, Yuichi Hayashida, Ryota Hirose (Nihon Univ.) |
(6) |
14:45-15:05 |
Study on the influence on system quality using FMEA result |
Keita Ishikawa, Yasunori Miyama (KYOSAN), Upvinder Singh, Takeshi Mizuma (Tokyo Univ.) |
(7) |
15:05-15:25 |
Study on how to choose substitutes for discontinued parts |
Yusuke Yamamoto (Kyosan Electric Mfg.), Takeshi Mizuma, Upvinder Singh (Univ. of Tokyo) |
(8) |
15:25-15:45 |
Stydy on the safety evaluation using STAMP and FMEA/FTA in combination |
Yasunori Miyama, Keitg Ishikawa (Kyosan Electric MFG), Takeshi Mizuma (Tokyo UNV.) |
|
15:45-15:50 |
Break ( 5 min. ) |
(9) |
15:50-16:10 |
A Case Study on Train Position Detection Method without Use of Ground Beacons in A Long Straight Section |
Shigeru Taniguchi, Kouji Iwata, Takayasu Kitano (RTRI), Masayuki Kitora, Akira Asano (Kyosan) |
(10) |
16:10-16:30 |
On the absolute position detection method using LiDAR sensor |
Noriyuki Shinoda, Toshihiro Takeuchi, Daisuke Yamaguchi, Shouitirou Watanabe (NTSEL), Takeshi Mizuma (TOKYO UV) |
(11) |
16:30-16:50 |
A study on utilization of autonomous driving technology for the railway and the track |
Toshihiro Takeuchi, Shinoda Noriyuki, Hasegawa Tomonori, Daisuke Yamaguchi, Watanabe Syoichirou (NTSEL), Mizuma Takeshi (UTokyo) |
(12) |
16:50-17:10 |
Consideration on the key points to ensure security for train control using communication |
Tomonori Hasegawa (NTSEL), Takashi Mori (JR-West), Morimasa Hayashida (NTSEL), Takeshi Mizuma (U-Tokyo) |
|
17:10-17:15 |
Break ( 5 min. ) |
(13) |
17:15-17:35 |
[Invited Talk]
Implementation of Security Function Utilizing Safety Verification Function for Collaboration of Security and Safety |
Nobuyasu Kanekawa (Hitachi) |