Fri, Dec 16 PM 13:00 - 15:30 |
(1) |
13:00-13:30 |
International Conference Report: PRDC2011 (17th IEEE Pacific Rim International Symposium on Dependable Computing) |
Masayuki Arai, Kazuhiko Iwasaki (Tokyo Metro. Univ.) |
(2) |
13:30-14:00 |
Development of Dependable Data Logger for Inline Production Management |
Masaya Ohta (Nihon univ.), Kazumi Sakamaki, Yasuaki Kaneda, Yasuharu Irizuki (TIRI), Masanobu Yamazaki, Kazuhiko Horigome (KT), Hiroshi Mochizuki, Hideo Nakamura (Nihon univ.) |
(3) |
14:00-14:30 |
Development of monitoring system on railawy using by all-purpose |
Toshihiro Takeuchi, Tomonori Hasegawa, Nozomi Kudo, Takeshi Mizuma (NTSEL) |
(4) |
14:30-15:00 |
A Safety Estimation of the ATPB System using UML and Formal Method |
Guo Xie, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura (Nihon Univ.) |
(5) |
15:00-15:30 |
Safety requirements for the conceptual design phase in the hierarchical design of train control systems |
Koji Iwata (R.T.R.I) |
|
15:30-15:40 |
Break ( 10 min. ) |
Fri, Dec 16 PM 15:40 - 17:40 |
(6) |
15:40-16:10 |
Design of Flexible System Reconfiguration Using I<sup>2</sup>C Communication |
Yuta Takeda, Hiroshi Mochizuki (Nihon Univ.) |
(7) |
16:10-16:40 |
Object Search with Backtracking on Structured Overlay Networks |
Satoshi Fukumoto, Ippei Ozawa, Masayuki Arai (Tokyo Metropolitan Univ.) |
(8) |
16:40-17:10 |
Wormhole Detection in Ad Hoc Sensor Networks by using Location Information |
Jianhua Xiao, Takashi Minohara (Takushoku Univ.) |
(9) |
17:10-17:40 |
Fault-tolerant Wormhole Switching with Partial Backtrack Capability |
Hiroki Kanai, Masato Kitakami (Chiba Univ.) |