|
Chair |
|
Tomohiro Yoneda (NII) |
Vice Chair |
|
Seiji Kajihara (Kyushu Inst. of Tech.) |
Secretary |
|
Masato Kitagami (Chiba Univ.), Tomohiro Nakamura (Hitachi) |
|
Conference Date |
Fri, Dec 16, 2011 13:00 - 17:40 |
Topics |
Safety, etc |
Conference Place |
|
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
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) DC2011-67 |
Masayuki Arai, Kazuhiko Iwasaki (Tokyo Metro. Univ.) |
(2) |
13:30-14:00 |
Development of Dependable Data Logger for Inline Production Management DC2011-68 |
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 DC2011-69 |
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 DC2011-70 |
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 DC2011-71 |
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 DC2011-72 |
Yuta Takeda, Hiroshi Mochizuki (Nihon Univ.) |
(7) |
16:10-16:40 |
Object Search with Backtracking on Structured Overlay Networks DC2011-73 |
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 DC2011-74 |
Jianhua Xiao, Takashi Minohara (Takushoku Univ.) |
(9) |
17:10-17:40 |
Fault-tolerant Wormhole Switching with Partial Backtrack Capability DC2011-75 |
Hiroki Kanai, Masato Kitakami (Chiba Univ.) |
Announcement for Speakers |
General Talk | Each speech will have 20 minutes for presentation and 10 minutes for discussion. |
Contact Address and Latest Schedule Information |
DC |
Technical Committee on Dependable Computing (DC) [Latest Schedule]
|
Contact Address |
Masato Kitakami
Graduate School of Advanced Integration Science,
Chiba University
1-33 Yayoi-cho Inage-ku, Chiba 263-8522 JAPAN
TEL/FAX +43.290.3039
E-:fultyba-u |
Last modified: 2011-10-25 15:56:35
|