The Community for Technology Leaders
7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings. (2002)
Tokyo, Japan
Oct. 23, 2002 to Oct. 25, 2002
ISSN: 1530-2059
ISBN: 0-7695-1769-2

Committees (PDF)

pp. xi

Reviewers (PDF)

pp. xiii
Keynote 1
Invited Paper
Invited Paper

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

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

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
Invited Paper

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

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

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
Fast Abstracts
Keynote 2

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

Shuichiro Yamanouchi , National Space Development Agency of Japan
pp. 93
Invited Paper

Model Checking RSML<sup>-e</sup> Requirements (Abstract)

Yunja Choi , University of Minnesota
Mats P.E. Heimdahl , University of Minnesota
pp. 109

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
Invited Paper

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

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
Invited Paper

Towards Adaptive Networking (Abstract)

Toshiaki Miyazaki , NTT Network Innovation Laboratories
Katsushi Iwashita , NTT Network Innovation Laboratories
pp. 151

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

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
Fast Abstracts

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

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

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

Xu Gang , ShangHai Jiaotong University
Zhiming Wu , ShangHai Jiaotong University
pp. 195

Enhancing System Validation with Behavioural Types (Abstract)

Stefan Gossens , University of Erlangen-Nürnberg
pp. 201

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

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

Object-Oriented System Decomposition Quality (Abstract)

Nejmeddine Tagoug , United Arab Emirates University
pp. 230
Fast Abstracts

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
Author Index

Author Index (PDF)

pp. 245
78 ms
(Ver 3.3 (11022016))