HASE 2002: Tokyo, Japan

@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
  

Fault Tolerance

Invited Paper

• Katsuyuki Yasuda, Shigeru Yamada:
  The Concept and Practice of Software Quality Assurance in Japan in the Global Era. 13-18
  

Papers

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

High Assurance Architecture

Invited Paper

• Kazuhito Ohmaki:
  Open Source Software Research Activities in AIST towards Secure Open Systems. 37-42
  

Papers

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

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
  

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
  
• Kazuo Kera, Keisuke Bekki, Kinji Mori, Issei Masumoto:
  High Assurance Step-by-Step Autonomous Construction Technique for Large Real Time System. 79-86
  

Fast Abstracts

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

Software Engineering Including Model Checking

Invited Paper

• Hafiz Farooq Ahmad:
  Multi-Agent Systems: Overview of a New Paradigm for Distributed Systems. 101-108
  

Papers

• Yunja Choi, Mats Per Erik Heimdahl:
  Model Checking RSML-e Requirements. 109-118
  
• 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
  

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
  

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
  
• Tomoyuki Ohta, Munehiko Fujimoto, Shinji Inoue, Yoshiaki Kakuda:
  Hi-TORA: A Hierarchical Routing Protocol in Ad Hoc Networks. 143-150
  

Assurance in Communications

Invited Paper

• Toshiaki Miyazaki, Katsushi Iwashita:
  Towards Adaptive Networking. 151-158
  

Papers

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

Fast Abstracts

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

Formal Techniques

Papers

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

Specification, Testing and Quality

Papers

• Arshad Jhumka, Martin Hiller, Neeraj Suri:
  An Approach to Specify and Test Component-Based Dependable Software. 211-220
  
• 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
  
• Nejmeddine Tagoug:
  Object-Oriented System Decomposition Quality. 230-236
  

Fast Abstracts

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