Fri, Dec 10 PM 13:30 - 15:00 |
(1) |
13:30-14:00 |
Magneticfield measurements in case of international standards for railway |
Toshihiro Takeuchi, Korefumi Tashiro, Jun Yoshinaga, Tomonori Hasegawa, Takeshi Mizuma (NTSEL) |
(2) |
14:00-14:30 |
A Study on Dependable Data Logger for Inline Production Management |
Masaya Ohta (Nihon Univ.), Kazumi Sakamaki, Yasuaki Kaneda, Yasuharu Irizuki (TIRI), Masanobu Yamazaki, Kazuhiko Horigome (K.T. Mfg. Co., Ltd), Hiroshi Mochizuki, Hideo Nakamura (Nihon Univ.) |
(3) |
14:30-15:00 |
A class of 1 level error correcting code for multilevel cell flash memories |
Kazuya Sato, Masato Kitakami (Chiba Univ.) |
|
15:00-15:10 |
Break ( 10 min. ) |
Fri, Dec 10 PM 15:10 - 17:40 |
(4) |
15:10-15:40 |
A Study on Fault Tolerance of Structured P2P Network |
Satoshi Fukumoto, Yumeto Terada, Masayuki Arai (Tokyo Metropolitan Univ.) |
(5) |
15:40-16:10 |
Design and Implementation of a Distributed Control System for Flexible System Reconfiguration |
Yuta Takeda, Hiroshi Mochizuki, Hideo Nakamura (Nihon Univ.) |
(6) |
16:10-16:40 |
Research of Highly Reliable Fail-safe CPU |
Yasuo Ogawa, Akihisa Asami (Nippon Signal), Hideo Nakamura (Nihon Univ.) |
(7) |
16:40-17:10 |
Verification of Automatic Block System for Single Line by Model Checking |
Natsuki Terada (RTRI) |
(8) |
17:10-17:40 |
A Study to reduce Software Requirements Specification Errors with Checklists for the Railway Signalling Systems |
Koji Iwata, Ikuo Watanabe (RTRI) |