|
|
| Chair |
|
Seiji Kajihara (Kyushu Inst. of Tech.) |
| Vice Chair |
|
Nobuyasu Kanekawa (Hitachi) |
| Secretary |
|
Tomohiro Nakamura (Hitachi), Tatsuhiro Tsuthiya (Osaka Univ.) |
|
| Conference Date |
Fri, Dec 14, 2012 13:45 - 17:30 |
| Topics |
Safety, etc. |
| Conference Place |
AOSSA Fukui |
| Address |
1-4-1 Teyori, Fukui-shi, Fukui 910-0858 Japan |
| Transportation Guide |
1 min walk from JR Fukui station
http://www.aossa.jp/access.html |
Contact
Person |
鉄道総合技術研究所
+81-776-20-1535 (Venue) |
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 14 PM
13:45 - 17:30 |
| (1) |
13:45-14:15 |
Mobile device prediction for location-based cloud service  DC2012-73 |
Haibo Yan, Masato Kitakami (Chiba Univ.) |
| (2) |
14:15-14:45 |
Error Control for Loss-less Compressed Data by Using Inverted Index DC2012-74 |
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 DC2012-75 |
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 DC2012-76 |
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 DC2012-77 |
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 DC2012-78 |
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 DC2012-79 |
Natsuki Terada (RTRI) |
| 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 |
|
Last modified: 2012-10-21 01:25:45
|