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
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
Software Engineering Including Model Checking
Invited Paper
- Hafiz Farooq Ahmad:
Multi-Agent Systems: Overview of a New Paradigm for Distributed Systems. 101-108
Papers
- 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
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
Formal Techniques
Papers
- Werner Haas, Stefan Gossens, Ulrich Heinkel:
Integration of Formal Specification into the Standard ASIC Design Flow. 189-194
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
Fast Abstracts
- Juichi Takahashi, Yoshiaki Kakuda:
Extended-Model Based Testing by Directed Chinese Postman Algorithm. 237-239 - Sahra Sedigh-Ali, Arif Ghafoor, Raymond A. Paul:
Metrics-Based Framework for Decision Making in COTS-Based Software Systems. 243-244