Fri, Dec 14 PM 13:45 - 17:30 |
(1) |
13:45-14:15 |
Mobile device prediction for location-based cloud service |
Haibo Yan, Masato Kitakami (Chiba Univ.) |
(2) |
14:15-14:45 |
Error Control for Loss-less Compressed Data by Using Inverted Index |
Kohei Toyama, Masato Kitakami (Chiba Univ.) |
(3) |
14:45-15:15 |
Fault Tolerance of an In-vehicle LAN by CAN Protocol under Severe Electro-magnetic Noise |
Masahiko Negishi, Aromhack Saysanasongkham, Masayuki Arai, Mamoru Ohara, Satoshi Fukumoto (Tokyo Metropolitan Univ.) |
(4) |
15:15-15:45 |
Development of Distributed Control System Using Flexible System Reconfiguration |
Hiroshi Mochizuki, Yuta Takeda, Yujiro Tohyama (Nihon Univ.) |
|
15:45-16:00 |
Break ( 15 min. ) |
(5) |
16:00-16:30 |
A Test Generation Model for Over-testing Alleviation and Its Application to Testing Based on Fault Acceptability |
Masaaki Sakurada, Hideyuki Ichihara, Tsuyoshi Iwagaki, Tomoo Inoue (HCU) |
(6) |
16:30-17:00 |
Research on Formalization and Analysis of Automatic Train Protection and Block System |
Guo Xie, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura (Nihon Univ.) |
(7) |
17:00-17:30 |
Verification of Automatic Block System for Single Line Using SMT Solver |
Natsuki Terada (RTRI) |