The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (1998)
Washington DC
Nov. 13, 1998 to Nov. 14, 1998
ISBN: 0-8186-9221-9
TABLE OF CONTENTS

Reviewers (PDF)

pp. xii
Keynote Address
Session 1: Formal/Analytic Methods for Dependability

Checking Modification Tolerance (Abstract)

M. Dal Cin , University of Erlangen-Nuernberg
pp. 4

Formal Specification in Collaborative Design of Critical Software Tools (Abstract)

David Coppit , University of Virginia
Kevin J. Sullivan , University of Virginia
pp. 13
Session II: Invited Speaker
Panel Session I
Keynote Address II
Keynote Address III
Session 3: Reliability Modeling
Session 4: Invited Speaker

Design for Constraint Violation Detection in Safety-Critical Systems (Abstract)

Sanjai Rayadurgam , Cardiac Pacemakers Inc.
Wei-Tek Tsai , University of Minnesota and Cardiac Pacemakers Inc.
Satish Subramanian , Cardiac Pacemakers Inc.
pp. 109
Session 5: Formal Methods

Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic (Abstract)

Sam Lin , National Central University
William Chu , TungHai University
Stephen J.H. Yang , National Central University
Jonathan Lee , National Central University
pp. 150
Session 6: State-of-the-Art Talk

Object-Oriented Software Testing ? Some Research and Development (Abstract)

David C. Kung , The University of Texas at Arlington
Jerry Gao , Fujitsu Network Communication Systems
Cris Chen , Fujitsu Network Communication Systems
Pei Hsia , The University of Texas at Arlington
Yasufumi Toyoshima , Fujitsu Network Communication Systems
pp. 158

Good Enough versus High Assurance Software Testing and Evaluation Methods (Abstract)

W.E. Howden , University of California at San Diego
pp. 166
Keynote Address IV

Enhancing Competitiveness via a Public Fault & Failure Data Repository (Abstract)

Dolores R. Wallace , National Institute of Standards and Technology
pp. 178
Session 7: Design for High Assurance

Predictable Safety in the Control of High Consequence Systems (Abstract)

J.M. Covan , Sandia National Labs
J.A. Cooper , Sandia National Labs
pp. 200
Session 8: Fault Analysis and Predication

Matching Software Fault Tolerance with Application Needs (Abstract)

Eltefaat Shokri , SoHaR Incorporated
Herbert Hecht , SoHaR Incorporated
pp. 248
Session 9: Testing and Analysis of High-Assurance Systems

In-Parameter-Order: A Test Generation Strategy for Pairwise Testing (Abstract)

Yu Lei , Fujitsu Network Communications, Inc.
K. C. Tai , North Carolina State University
pp. 254
Session 10: High-Assurance in Intelligent Systems

Author Index (PDF)

pp. 320
83 ms
(Ver )