HASE 2002: Tokyo, Japan

7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan. IEEE Computer Society 2002, ISBN 0-7695-1769-2 BibTeX

@proceedings{DBLP:conf/hase/2002,
  title     = {7th IEEE International Symposium on High-Assurance Systems Engineering
               (HASE 2002), 23-25 October 2002, Tokyo, Japan},
  booktitle = {HASE},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1769-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Yasutomo Shirakawa:
JR East Contactless IC Card Automatic Fare Collection System "Suica". 3-12
Electronic Edition (link) BibTeX

Fault Tolerance

Invited Paper

Katsuyuki Yasuda, Shigeru Yamada:
The Concept and Practice of Software Quality Assurance in Japan in the Global Era. 13-18
Electronic Edition (link) BibTeX

Papers

Peng Li, Binoy Ravindran:
Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems. 19-26
Electronic Edition (link) BibTeX
Tamir Hegazy, Binoy Ravindran:
On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems. 27-36
Electronic Edition (link) BibTeX

High Assurance Architecture

Invited Paper

Kazuhito Ohmaki:
Open Source Software Research Activities in AIST towards Secure Open Systems. 37-42
Electronic Edition (link) BibTeX

Papers

Carlos Perez Leguizamo, Aqeel A. Syed, Kinji Mori:
Assurance System Architecture for Distributed Database Systems. 43-50
Electronic Edition (link) BibTeX
Taghi M. Khoshgoftaar, Erik Geleyn, Laurent A. Nguyen, Lofton A. Bullard:
Cost-Sensitive Boosting In Software Quality Modeling. 51-62
Electronic Edition (link) BibTeX

High Assurance Techniques

Invited Paper

Yongdong Tan, Lijun Yin, Qingquan Qian, Kinji Mori:
A Biologically Inspired Assurance Definition and Specification in Heterogeneous Autonomous Decentralized Systems. 63-70
Electronic Edition (link) BibTeX

Papers

Masayuki Matsumoto, Tadao Tsurumaki, Satoru Kitamura, Dai Watanabe, Kinji Mori:
Assurance Evaluation Technology of Train Control System for Achieving Expansion during Operation . 71-78
Electronic Edition (link) BibTeX
Kazuo Kera, Keisuke Bekki, Kinji Mori, Issei Masumoto:
High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System. 79-86
Electronic Edition (link) BibTeX

Fast Abstracts

Hiroyuki Yashiro, Yoshirou Takahashi, Teruo Fujiwara:
A High Assurance Timing Synchronization Technology for Space On-Board Distributed Computer Systems. 87-88
Electronic Edition (link) BibTeX
Binoy Ravindran, Gérard Le Lann, Peng Li:
Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach. 89-92
Electronic Edition (link) BibTeX
Shuichiro Yamanouchi:
High Assurance, My Personal Experience and View Point. 93-100
Electronic Edition (link) BibTeX

Software Engineering Including Model Checking

Invited Paper

Hafiz Farooq Ahmad:
Multi-Agent Systems: Overview of a New Paradigm for Distributed Systems. 101-108
Electronic Edition (link) BibTeX

Papers

Yunja Choi, Mats Per Erik Heimdahl:
Model Checking RSML-e Requirements. 109-118
Electronic Edition (link) BibTeX
David Owen, Bojan Cukic, Tim Menzies:
An Alternative to Model Checking: Verification by Random Search of AND-OR Graphs Representing Finite-State Models. 119-128
Electronic Edition (link) BibTeX

Assurance in Networks

Invited Paper

Seigo Numajiri, Akira Miura, Keiko Yoshihara, Ryutaro Matsumura:
Evaluation of the Performance of the Large Scale Network: Performance Evaluation of the PDC-P Network Providing the i-mode Service. 129-136
Electronic Edition (link) BibTeX

Papers

Masayuki Arai, Hitoshi Kurosu, Mamoru Ohara, Ryo Suzuki, Satoshi Fukumoto, Kazuhiko Iwasaki:
Experiment for High-Assurance Video Conference System over the Internet. 137-142
Electronic Edition (link) BibTeX
Tomoyuki Ohta, Munehiko Fujimoto, Shinji Inoue, Yoshiaki Kakuda:
Hi-TORA: A Hierarchical Routing Protocol in Ad Hoc Networks. 143-150
Electronic Edition (link) BibTeX

Assurance in Communications

Invited Paper

Toshiaki Miyazaki, Katsushi Iwashita:
Towards Adaptive Networking. 151-158
Electronic Edition (link) BibTeX

Papers

Tadashi Dohi, Kazuki Iwamoto, Hiroyuki Okamura, Naoto Kaio:
Discrete Availability Models to Rejuvenate a Telecommunication Billing Application. 159-166
Electronic Edition (link) BibTeX
Hiroki Suguri, Eiichiro Kodama, Masatoshi Miyazaki, Isao Kaji:
Assuring Interoperability between Heterogeneous Multi-Agent Systems with a Gateway Agent. 167-170
Electronic Edition (link) BibTeX

Fast Abstracts

Wei-Tek Tsai, Raymond A. Paul, Yamin Wang, Chun Fan, Dong Wang:
Extending WSDL to Facilitate Web Services Testing. 171-172
Electronic Edition (link) BibTeX
Wei-Tek Tsai, Raymond A. Paul, Weiwei Song, Zhibin Cao:
Coyote: An XML-Based Framework for Web Services Testing. 173-176
Electronic Edition (link) BibTeX
K. H. Kim:
Toward QoS Certification of Real-Time Distributed Computing Systems. 177-188
Electronic Edition (link) BibTeX

Formal Techniques

Papers

Werner Haas, Stefan Gossens, Ulrich Heinkel:
Integration of Formal Specification into the Standard ASIC Design Flow. 189-194
Electronic Edition (link) BibTeX
Gang Xu, Zhiming Wu:
A Kind of Deadlock-free Scheduling Method Based on Petri Net. 195-200
Electronic Edition (link) BibTeX
Stefan Gossens:
Enhancing System Validation with Behavioural Types. 201-210
Electronic Edition (link) BibTeX

Specification, Testing and Quality

Papers

Arshad Jhumka, Martin Hiller, Neeraj Suri:
An Approach to Specify and Test Component-Based Dependable Software. 211-220
Electronic Edition (link) BibTeX
Tsong Yueh Chen, Pak-Lok Poon, Sau-Fun Tang, T. H. Tse, Yuen-Tak Yu:
Towards a Problem-Driven Approach to Perspective-Based Reading. 221-229
Electronic Edition (link) BibTeX
Nejmeddine Tagoug:
Object-Oriented System Decomposition Quality. 230-236
Electronic Edition (link) BibTeX

Fast Abstracts

Juichi Takahashi, Yoshiaki Kakuda:
Extended-Model Based Testing by Directed Chinese Postman Algorithm. 237-239
Electronic Edition (link) BibTeX
Kai-Yuan Cai, T. Y. Chen, T. H. Tse:
Towards Research on Software Cybernetics. 240-242
Electronic Edition (link) BibTeX
Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul:
Metrics-Based Framework for Decision Making in COTS-Based Software Systems. 243-244
Electronic Edition (link) BibTeX