|
Chair |
|
Takashi Aikyo (STARC) |
Vice Chair |
|
Tomohiro Yoneda (NII) |
Secretary |
|
Masato Kitagami (Chiba Univ.), Michinobu Nakao (Renesas) |
|
Conference Date |
Fri, Dec 11, 2009 13:00 - 17:05 |
Topics |
|
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 11 PM 13:00 - 14:15 |
(1) |
13:00-13:25 |
A Note on Techniques of Characteristic Evaluation for Data Replication DC2009-56 |
Satoshi Fukumoto, Kota Ishikawa, Masayuki Arai (Tokyo Metropolitan Univ.) |
(2) |
13:25-13:50 |
Note on Programmable On-Product Clock Generation (OPCG) Circuitry for Low Power Aware Delay Test DC2009-57 |
Anis Uzzaman (Cadence Design Systems/Tokyo Metro. Univ), Brion Keller, Tom Snethen (Cadence), Kazuhiko Iwasaki, Masayuki Arai (Tokyo Metro. Univ) |
(3) |
13:50-14:15 |
Enumeration and Synthesis of Shift Register Equivalents for Secure Scan Design DC2009-58 |
Katsuya Fujiwara (Akita Univ.), Hideo Fujiwara (NAIST), Hideo Tamamoto (Akita Univ.) |
|
14:15-14:25 |
Break ( 10 min. ) |
Fri, Dec 11 PM 14:25 - 16:05 |
(4) |
14:25-14:50 |
Reliability of Network Signaling System and Integrated logical controller DC2009-59 |
Yoshinori Saiki, Satoshi Masutani, Takashi Kunifuji, Masayuki Matsumoto (JR East) |
(5) |
14:50-15:15 |
Transition and Trend of OS for Safety Control of Railway Signaling DC2009-60 |
Hideo Nakamura (Nihon Univ.) |
(6) |
15:15-15:40 |
Verification of Automatic Block System for Single Line by B-method DC2009-61 |
Natsuki Terada (Railway Technical Research Inst.) |
(7) |
15:40-16:05 |
A Case Study to reduce Downtime by A Distributed Train Control System DC2009-62 |
Koji Iwata, Ikuo Watanabe (Railway Technical Research Inst.) |
|
16:05-16:15 |
Break ( 10 min. ) |
Fri, Dec 11 PM 16:15 - 17:05 |
(8) |
16:15-16:40 |
Study of equipment's operational accuracy using GPS position-fix
-- Accuracy of railway direction and Simulation result -- DC2009-63 |
Jun Yoshinaga (NTSEL), Kenji Seino (Hitachi Industrial Equipment Systems), Yoshiharu Ogura (Hitachi Keiyo Engineering) |
(9) |
16:40-17:05 |
Safety Prevention Technology by Probe Vehicle on Railway Field DC2009-64 |
Takeshi Mizuma, Yasuhiro Sato, Hiroyuki Ohno, Masakazu Adachi (NTSEL) |
Announcement for Speakers |
General Talk | Each speech will have 20 minutes for presentation and 5 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: 2009-11-05 16:40:55
|