CSDL - Proceedings H

Program Committee Chair's Message (PDF)

pp. x

Committees (PDF)

pp. xi

Reviewers (PDF)

pp. xiii

Keynote 1

JR East Contactless IC Card Automatic Fare Collection System "Suica" (Abstract)

Yasutomo Shirakawa, East Japan Railway Company

pp. 3

PDF

Invited Paper

The Concept and Practice of Software Quality Assurance in Japan in the Global Era (Abstract)

Katsuyuki Yasuda, Hitachi Ltd.

Shigeru Yamada, Tottori University

pp. 13

PDF

Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems (PDF)

Papers

Peng Li, Virginia Tech

Binoy Ravindran, Virginia Tech

pp. 19

On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems (PDF)

Tamir Hegazy, Georgia Institute of Technology

Binoy Ravindran, Virginia Tech

pp. 27

Open Source Software Research Activities in AIST towards Secure Open Systems (Abstract)

Kazuhito Ohmaki, National Research Institutes of Advanced Industrial Science and Technology

pp. 37

PDF

Assurance System Architecture for Distributed Database Systems (Abstract)

Carlos Perez Leguizamo, Tokyo Institute of Technology

Aqeel A. Syed, Tokyo Institute of Technology

Kinji Mori, Tokyo Institute of Technology

pp. 43

PDF

Cost-Sensitive Boosting In Software Quality Modeling (Abstract)

Taghi M. Khoshgoftaar, Florida Atlantic University

Erik Geleyn, Florida Atlantic University

Laurent Nguyen, Florida Atlantic University

Lofton Bullard, Florida Atlantic University

pp. 51

PDF

A Biologically Inspired Assurance Definition and Specification in Heterogeneous Autonomous Decentralized Systems (Abstract)

Yongdong Tan, Southwest Jiaotong University

Lijun Yin, Southwest Jiaotong University

Qingquan Qian, Southwest Jiaotong University

Kinji Mori, Tokyo Institute of Technology

pp. 63

PDF

Assurance Evaluation Technology of Train Control System for Achieving Expansion during Operation (Abstract)

Masayuki Matsumoto, East Japan Railway Company

Tadao Tsurumaki, East Japan Railway Company

Satoru Kitamura, East Japan Railway Company

Dai Watanabe, Hitachi, Ltd.

Kinji Mori, Tokyo Institute of Technology

pp. 71

PDF

High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System (Abstract)

Kazuo Kera, Hitachi Ltd.

Keisuke Bekki, Hitachi Ltd.

Kinji Mori, Tokyo Institute of Technology

Issei Masumoto, Tokyo Institute of Technology

pp. 79

PDF

A High Assurance Timing Synchronization Technology for Space On-Board Distributed Computer Systems (PDF)

Fast Abstracts

Hiroyuki Yashiro, IHI Aerospace Co., Ltd.

Yoshirou Takahashi, IHI Aerospace Co., Ltd.

Teruo Fujiwara, IHI Aerospace Co., Ltd.

pp. 87

Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach (PDF)

Binoy Ravindran, Virginia Tech

Gérard Le Lann, INRIA

Peng Li, Virginia Tech

pp. 89

Keynote 2

High Assurance, My Personal Experience and View Point (Abstract)

Shuichiro Yamanouchi, National Space Development Agency of Japan

pp. 93

PDF

Multi-Agent Systems: Overview of a New Paradigm for Distributed Systems (Abstract)

H. Farooq Ahmad, Communication Technologies

pp. 101

PDF

Model Checking RSML^-e Requirements (Abstract)

Yunja Choi, University of Minnesota

Mats P.E. Heimdahl, University of Minnesota

pp. 109

PDF

An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models (Abstract)

David Owen, West Virginia University

Bojan Cukic, West Virginia University

Tim Menzies, West Virginia University

pp. 119

PDF

Evaluation of the Performance of the Large Scale Network: Performance Evaluation of the PDC-P Network Providing the i-mode Service (Abstract)

Seigo Numajiri, NTT DoCoMo, Inc.

Akira Miura, NTT DoCoMo, Inc.

Keiko Yoshihara, NTT DoCoMo, Inc.

Ryutaro Matsumura, NTT Corporation

pp. 129

PDF

Experiment for High-Assurance Video Conference System over the Internet (Abstract)

Masayuki Arai, Tokyo Metropolitan University

Hitoshi Kurosu, Tokyo Metropolitan University

Mamoru Ohara, Tokyo Metropolitan University

Ryo Suzuki, Tokyo Metropolitan University

Satoshi Fukumoto, Tokyo Metropolitan University

Kazuhiko Iwasaki, Tokyo Metropolitan University

pp. 137

PDF

Hi-TORA: A Hierarchical Routing Protocol in Ad Hoc Networks (Abstract)

Tomoyuki Ohta, Hiroshima City University

Munehiko Fujimoto, Hiroshima City University

Shinji Inoue, Hiroshima City University

Yoshiaki Kakuda, Hiroshima City University

pp. 143

PDF

Towards Adaptive Networking (Abstract)

Toshiaki Miyazaki, NTT Network Innovation Laboratories

Katsushi Iwashita, NTT Network Innovation Laboratories

pp. 151

PDF

Discrete Availability Models to Rejuvenate a Telecommunication Billing Application (Abstract)

Tadashi Dohi, Hiroshima University

Kazuki Iwamoto, Hiroshima University

Hiroyuki Okamura, Hiroshima University

Naoto Kaio, Hiroshima Shudo University

pp. 159

PDF

Assuring Interoperability between Heterogeneous Multi-Agent Systems with a Gateway Agent (Abstract)

Hiroki Suguri, Communication Technologies

Eiichiro Kodama, Iwate Prefectural University

Masatoshi Miyazaki, Iwate Prefectural University

Isao Kaji, Miyagi University

pp. 167

PDF

Extending WSDL to Facilitate Web Services Testing (PDF)

W. T. Tsai, Arizona State University

Ray Paul, Department of Defense

Yamin Wang, University of Minnesota

Chun Fan, Arizona State University

Dong Wang, Arizona State University

pp. 171

Coyote: An XML-Based Framework for Web Services Testing (PDF)

W. T. Tsai, Arizona State University

Ray Paul, Department of Defense

Weiwei Song, Arizona State University

Zhibin Cao, Arizona State University

pp. 173

Keynote 3

Toward QoS Certification of Real-Time Distributed Computing Systems (Abstract)

K. H. (Kane) Kim, University of California at Irvine

pp. 177

PDF

Integration of Formal Specification into the Standard ASIC Design Flow (Abstract)

Werner Haas, University of Erlangen-Nuremberg

Stefan Gossens, University of Erlangen-Nuremberg

Ulrich Heinkel, Lucent Technologies

pp. 189

PDF

A Kind of Deadlock-free Scheduling Method Based on Petri Net (Abstract)

Xu Gang, ShangHai Jiaotong University

Zhiming Wu, ShangHai Jiaotong University

pp. 195

PDF

Enhancing System Validation with Behavioural Types (Abstract)

Stefan Gossens, University of Erlangen-Nürnberg

pp. 201

PDF

An Approach to Specify and Test Component-Based Dependable Software (Abstract)

Arshad Jhumka, Chalmers University of Technology

Martin Hiller, Chalmers University of Technology

Neeraj Suri, Chalmers University of Technology

pp. 211

PDF

Towards a Problem-Driven Approach to Perspective-Based Reading (Abstract)

T. Y. Chen, Swinburne University of Technology

Pak-Lok Poon, Hong Kong Polytechnic University

Sau-Fun Tang, Hong Kong Baptist University

T. H. Tse, University of Hong Kong

Y. T. Yu, City University of Hong Kong

pp. 221

PDF

Object-Oriented System Decomposition Quality (Abstract)

Nejmeddine Tagoug, United Arab Emirates University

pp. 230

PDF

Extended-Model Based Testing by Directed Chinese Postman Algorithm (Abstract)

Juichi Takahashi, SAP Labs Tokyo

Yoshiaki Kakuda, Hiroshima City University

pp. 237

PDF

Towards Research on Software Cybernetics (PDF)

Kai- Yuan Cai, Beijing University of Aeronautics and Astronautics

T. Y. Chen, Swinburne University of Technology

T. H. Tse, University of Hong Kong

pp. 240

Metrics-Based Framework for Decision Making in COTS-Based Software Systems (PDF)

Sabra Sedigh-Ali, Purdue University

Arif Ghafoor, Purdue University

Raymond A. Paul, Department of Defense

pp. 243

Author Index

Author Index (PDF)

pp. 245