The Community for Technology Leaders
2012 Workshop on Dependable Transportation Systems/Recent Advances in Software Dependability (WDTS-RASD) (2012)
Niigata
Nov. 18, 2012 to Nov. 19, 2012
ISBN: 978-1-4799-0315-3
TABLE OF CONTENTS

WDTS 2012 Preface (PDF)

Hideo Nakamura , Nihon University, Japan
Masayuki Arai , Tokyo Metropolitan University, Japan
pp. vii

SafeCap Domain Language for Reasoning about Safety and Capacity (Abstract)

A. Iliasov , Sch. of Comp. Sci., Newcastle Univ., Newcastle upon Tyne, UK
A. Romanovsky , Sch. of Comp. Sci., Newcastle Univ., Newcastle upon Tyne, UK
pp. 1-10

Next Generation OS for Railway Signalling Safety Devices - Development of Exclusive Double Thread OS (EDTOS) (Abstract)

F. Higuchi , Traffic & Transp. Infrastruct. Module Design Dept., Nippon Signal Co., Ltd., Japan
M. Mori , Traffic & Transp. Infrastruct. Module Design Dept., Nippon Signal Co., Ltd., Japan
pp. 11-14

Formalizing and Analyzing the Train-to-Wayside Network System for CBTC (Abstract)

Guo Xie , Xi'an Univ. of Technol., Xi'an, China
Xinhong Hei , Xi'an Univ. of Technol., Xi'an, China
H. Mochizuki , Dept. of Electron. & Comput. Sci., Nihon Univ. Funabashi, Funabashi, Japan
S. Takahashi , Dept. of Electron. & Comput. Sci., Nihon Univ. Funabashi, Funabashi, Japan
H. Nakamura , Dept. of Electron. & Comput. Sci., Nihon Univ. Funabashi, Funabashi, Japan
pp. 15-22

A Bootstrap Method for Software Reliability Assessment Based on a Discretized NHPP Model (Abstract)

S. Inoue , Dept. of Social Manage. Eng., Tottori Univ., Tottori, Japan
S. Yamada , Dept. of Social Manage. Eng., Tottori Univ., Tottori, Japan
pp. 23-27

A Note on Static Software Reliability Models by GMDH: Comparison with a Multiple Regression Model (Abstract)

M. Kimura , Dept. of Ind. & Syst. Eng., Hosei Univ., Koganei, Japan
R. Shimada , Grad. Sch. of Eng., Hosei Univ., Koganei, Japan
pp. 28-33

Optimal Inspection First and Last Policies for a Computer System (Abstract)

Xufeng Zhao , Dept. of Bus. Adm., Aichi Inst. of Technol., Toyota, Japan
S. Nakamura , Dept. of Human Life & Inf., Kinjo Gakuin Univ., Nagoya, Japan
T. Nakagawa , Dept. of Bus. Adm., Aichi Inst. of Technol., Toyota, Japan
pp. 34-38

Security Evaluation for Software System with Vulnerability Life Cycle and User Profiles (Abstract)

H. Okamura , Dept. of Inf. Eng., Hiroshima Univ., Higashi-Hiroshima, Japan
M. Tokuzane , Japan Ground Self-Defense Force, Japan
T. Dohi , Dept. of Inf. Eng., Hiroshima Univ., Higashi-Hiroshima, Japan
pp. 39-44

Optimal Policy of a Server System with Replication Buffering Relay Method (Abstract)

M. Kimura , Dept. of Int. Culture Studies, Gifu City Women's Coll., Gifu, Japan
M. Imaizumi , Aichi Gakusen Univ., Toyota, Japan
T. Nakagawa , Dept. of Bus. Adm., Aichi Inst. of Technol., Toyota, Japan
pp. 45-49

Towards Development of Risk-based Checkpointing Scheme Via Parametric Bootstrapping (Abstract)

S. Tokumoto , Dept. of Inf. Eng., Hiroshima Univ., Higashi-Hiroshima, Japan
T. Dohi , Dept. of Inf. Eng., Hiroshima Univ., Higashi-Hiroshima, Japan
Wong Young Yun , Dept. of Ind. Eng., Pusan Nat. Univ., Busan, South Korea
pp. 50-55
91 ms
(Ver 3.3 (11022016))