IEICE Technical Report

Print edition: ISSN 0913-5685      Online edition: ISSN 2432-6380

Volume 110, Number 333

Dependable Computing

Workshop Date : 2010-12-10 / Issue Date : 2010-12-03

[PREV] [NEXT]

[TOP] | [2007] | [2008] | [2009] | [2010] | [2011] | [2012] | [2013] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

DC2010-51
Magneticfield measurements in case of international standards for railway
Toshihiro Takeuchi, Korefumi Tashiro, Jun Yoshinaga, Tomonori Hasegawa, Takeshi Mizuma (NTSEL)
pp. 1 - 4

DC2010-52
A Study on Dependable Data Logger for Inline Production Management
Masaya Ohta (Nihon Univ.), Kazumi Sakamaki, Yasuaki Kaneda, Yasuharu Irizuki (TIRI), Masanobu Yamazaki, Kazuhiko Horigome (K.T. Mfg. Co., Ltd), Hiroshi Mochizuki, Hideo Nakamura (Nihon Univ.)
pp. 5 - 8

DC2010-53
A class of 1 level error correcting code for multilevel cell flash memories
Kazuya Sato, Masato Kitakami (Chiba Univ.)
pp. 9 - 14

DC2010-54
A Study on Fault Tolerance of Structured P2P Network
Satoshi Fukumoto, Yumeto Terada, Masayuki Arai (Tokyo Metropolitan Univ.)
pp. 15 - 20

DC2010-55
Design and Implementation of a Distributed Control System for Flexible System Reconfiguration
Yuta Takeda, Hiroshi Mochizuki, Hideo Nakamura (Nihon Univ.)
pp. 21 - 24

DC2010-56
Research of Highly Reliable Fail-safe CPU
Yasuo Ogawa, Akihisa Asami (Nippon Signal), Hideo Nakamura (Nihon Univ.)
pp. 25 - 29

DC2010-57
Verification of Automatic Block System for Single Line by Model Checking
Natsuki Terada (RTRI)
pp. 31 - 35

DC2010-58
A Study to reduce Software Requirements Specification Errors with Checklists for the Railway Signalling Systems
Koji Iwata, Ikuo Watanabe (RTRI)
pp. 37 - 42

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan