Message from the General Chair

Message from the Program Chair and Vice-General Chair (PDF)

pp. x

Organizing Committee (PDF)

pp. xii

Program Committee and Reviewers (PDF)

pp. xiii

Keynote I

Convergence on High Assurability: Will We Converge or Diverge?

Keynote II

Countdown to Y2K: View from the DoD DCIO

Paper Session I: Evaluation and Testing

DynaMICs: An Automated and Independent Software-Fault Detection Approach (Abstract)

Ann Q. Gates, University of Texas at El Paso

Patricia J. Teller, University of Texas at El Paso

pp. 11

PDF

Using Modechart Modules for Testing Formal Specifications (Abstract)

Monica Brockmeyer, Wayne State University

pp. 20

PDF

Assurance-Based Y2K Testing (Abstract)

W. T. Tsai, University of Minnesota

Weiguang Shao, University of Minnesota

Sanjai Rayadurgam, University of Minnesota

Jinbao Li, University of Minnesota

Raymond Paul, OASD, Y2K Office

pp. 27

PDF

Paper Session II: Special Session on UML for High Assurance Systems

Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models (Abstract)

M. Dal Cin, IMMD 3 University of Erlangen-Nuremberg and Technical University of Budapest

G. Huszerl, IMMD 3 University of Erlangen-Nuremberg and Technical University of Budapest

K. Kosmidis, IMMD 3 University of Erlangen-Nuremberg and Technical University of Budapest

pp. 37

PDF

Model Checking UML Statechart Diagrams Using JACK (Abstract)

Stefania Gnesi, Consiglio Nazionale delle Ricerche

Diego Latella, Consiglio Nazionale delle Ricerche

Mieke Massink, Consiglio Nazionale delle Ricerche

pp. 46

PDF

UML-Based Analysis of Embedded Systems Using a Mapping to VHDL (Abstract)

William E. McUmber, Michigan State University

Betty H.C. Cheng, Michigan State University

pp. 56

PDF

Automatic Dependability Analysis for Supporting Design Decisions in UML (Abstract)

Andrea Bondavalli, CNR Ist. CNUCE

Ivan Mura, CNR Ist. CNUCE

Istvan Majzik, TUB-DMIS

pp. 64

PDF

The Corot Instrument's Software: Towards Intrinsically Reconfigurable Real-Time Embedded Processing Software in Space-Born Instruments (Abstract)

Paper Session III: Experience Reports

Damien Cailliau, DESPA

Remy Bellenger, DAEC

pp. 75

PDF

Applying Formal Methods to an Information Security Device: An Experience Report (Abstract)

James Kirby, Jr., Naval Research Laboratory

Myla Archer, Naval Research Laboratory

Constance Heitmeyer, Naval Research Laboratory

pp. 81

PDF

Security Assurance Efforts in Engineering Java 2 SE (JDK 1.2) (Abstract)

Li Gong, Sun Microsystems, Inc.

Satya Dodda, Sun Microsystems, Inc.

pp. 89

PDF

Paper Session IV: Fault Analysis

COTS-Based Fault Tolerance in Deep Space: Qualitative and Quantitative Analyses of a Bus Network Architecture (Abstract)

Ann T. Tai, IA Tech, Inc.

Savio N. Chau, California Institute of Technology

Leon Alkalai, California Institute of Technology

pp. 97

PDF

Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees (Abstract)

Taghi M. Khoshgoftaar, Florida Atlantic University

Edward B. Allen, Florida Atlantic University

pp. 105

PDF

Panel Session I: Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?

Building High-Assurance Systems Using COTS Components: Whether, Why, When and How? (Abstract)

Ray A. Paul, Department of Defense

Ann T. Tai, IA Tech, Inc.

pp. 115

PDF

Experience of Using COTS Components for Deep Space Missions (Abstract)

Savio Chau, California Institute of Technology

pp. 116

PDF

HASE in Wireless Systems (Abstract)

Isaac Levendel, Motorola Incorporated

pp. 117

PDF

Using COTS Software in High Assurance Control Applications (Abstract)

Lui Sha, CS, UIUC

pp. 118

PDF

COTS and High Assurance: An Oxymoron? (Abstract)

Jeffrey M. Voas, Reliable Software Technologies

pp. 119

PDF

Paper Session V: Case Studies

Lessons from 342 Medical Device Failures (Abstract)

Dolores R. Wallace, National Institute of Standards and Technology

D. Richard Kuhn, National Institute of Standards and Technology

pp. 123

PDF

Identifying Domain Axioms Using Binary Decision Diagrams (Abstract)

Barbara J. Czerny, Delphi Delco Electronics Systems

Mats P.E. Heimdahl, University of Minnesota

pp. 132

PDF

Analyzing the Real-Time Properties of a U.S. Navy Signal Processing System (Abstract)

Steve Goddard, University of Nebraska

Kevin Jeffay, University of North Carolina at Chapel Hill

pp. 141

PDF

Formally Modeling a Metal Processing Plant and its Closed Loop Specifications (Abstract)

Enrico Tronci, Universita` di L'Aquila

pp. 151

PDF

Paper Session VI: Reliable Communications

Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure (Abstract)

I-Ling Yen, University of Texas at Dallas

Biao Chen, University of Texas at Dallas

Ing-Ray Chen, Virginia Polytechnic Institute

pp. 161

PDF

Autonomous Data Synchronization in Heterogeneous Systems to Assure the Transaction (Abstract)

Isao Kaji, Miyagi University

Yongdong Tan, Tokyo Institute of Technology

Kinji Mori, Tokyo Institute of Technology

pp. 169

PDF

Look-Ahead Channel Reservation and Borrowing in Cellular Network Systems (Abstract)

Haihong Zheng, Nokia Research Center

Sourav Bhattacharya, Arizona State University

pp. 179

PDF

Paper Session VII: Frameworks, Systems, Tools

Building Dependable Distributed Applications Using AQUA (Abstract)

Jennifer Ren, University of Illinois at Urbana-Champaign

Michel Cukier, University of Illinois at Urbana-Champaign

Paul Rubel, University of Illinois at Urbana-Champaign

William H. Sanders, University of Illinois at Urbana-Champaign

David E. Bakken, BBN Technologies

David A. Karr, BBN Technologies

pp. 189

PDF

A Framework for a Cryptographic Protocol Evaluation Workbench (Abstract)

Alec Yasinsac, National Academy of Engineering

William A. Wulf, Florida State University

pp. 197

PDF

The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing (Abstract)

Carol L. Hoover, Carnegie Mellon University

Jeffery Hansen, Carnegie Mellon University

Philip Koopman, Carnegie Mellon University

Sandeep Tamboli, Carnegie Mellon University

pp. 207

PDF

On the Requirements of High-Integrity Code Generation (Abstract)

Michael W. Whalen, University of Minnesota

Mats. P.E. Heimdahl, University of Minnesota

pp. 217

PDF

Panel Session II: What are the Most Critical Challenges to Integrating High Assurance Systems?

What are the Most Critical Challenges to Integrating High Assurance Systems? (Abstract)

Herbert Hecht, Sohar Incorporated

pp. 227

PDF

Paper Session VIII: Metrics and Modeling

Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems (Abstract)

Diego Del Gobbo, West Virginia University

Bojan Cukic, West Virginia University

Marcello R. Napolitano, West Virginia University

S. Easterbrook, University of Toronto

pp. 231

PDF

A Specification-Based Coverage Metric to Evaluate Test Sets (Abstract)

Paul E. Ammann, George Mason University

Paul E. Black, National Institute of Standards and Technology

pp. 239

PDF

How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing (Abstract)

Tom Chen, Colorado State University

Anneliese von Mayrhauser, Colorado State University

Amjad Hajjar, Colorado State University

Charles Anderson, Colorado State University

Mehmet Sahinoglu, Case Western Reserve

pp. 249

PDF

A Synchronous Paradigm for Modeling Stable Reactive Systems (Abstract)

Victor L. Winter, Sandia National Laboratories

pp. 257

PDF

Panel Session III: Should High Assurance Systems Use Software? Risk vs. Functionality

Software Systems: Consequence versus Functionality (Abstract)

Victor L. Winter, Sandia National Laboratories

Ray Berg, Sandia National Laboratories

pp. 269

PDF

Why Modern Systems Should Minimize the Use of Safety Critical Software (Abstract)

John M. Covan, Sandia National Laboratories

pp. 271

PDF

An "in the limit" View (Abstract)

Larry J. Dalton, Sandia National Laborities

pp. 272

PDF

Software Can Be Entrusted with High Consequence Functionality (Abstract)

Ben L. Di Vito, NASA Langley Research Center

pp. 273

PDF

A World Without Risks: Let Me Out! (Abstract)

Jeffrey M. Voas, Reliable Software Technologies

pp. 274

PDF

Author Index (PDF)

pp. 275