===============================================
Technical Committee on Dependable Computing (DC)
Chair: Seiji Kajihara (Kyushu Inst. of Tech.) Vice Chair: Nobuyasu Kanekawa (Hitachi)
Secretary: Tomohiro Nakamura (Hitachi), Tatsuhiro Tsuthiya (Osaka Univ.)
DATE:
Fri, Dec 14, 2012 13:45 - 17:30
PLACE:
AOSSA Fukui(1-4-1 Teyori, Fukui-shi, Fukui 910-0858 Japan. 1 min walk from JR Fukui station. http://www.aossa.jp/access.html. 鉄道総合技術研究所. +81-776-20-1535 (Venue))
TOPICS:
Safety, etc.
----------------------------------------
Fri, Dec 14 PM (13:45 - 17:30)
----------------------------------------
(1) 13:45 - 14:15
Mobile device prediction for location-based cloud service
Haibo Yan, Masato Kitakami (Chiba Univ.)
(2) 14:15 - 14:45
Error Control for Loss-less Compressed Data by Using Inverted Index
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
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
Hiroshi Mochizuki, Yuta Takeda, Yujiro Tohyama (Nihon Univ.)
----- 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
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
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
Natsuki Terada (RTRI)
# Information for speakers
General Talk will have 20 minutes for presentation and 10 minutes for discussion.
=== Technical Committee on Dependable Computing (DC) ===
# FUTURE SCHEDULE:
Wed, Feb 13, 2013: Kikai-Shinko-Kaikan Bldg. [Thu, Dec 13], Topics: VLSI Design and Test, etc.
Wed, Mar 13, 2013 - Thu, Mar 14, 2013: [Mon, Jan 14]
Last modified: 2012-10-21 01:25:45
|
Notification: Mail addresses are partially hidden against SPAM.
|