CSDL - 4th IEEE International Symposium on High-Assurance Systems Engineering - Table of Contents

Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering (1999)

Washington, D.C.

Nov. 17, 1999 to Nov. 19, 1999

ISSN: 1530-2059

ISBN: 0-7695-0418-3

TABLE OF CONTENTS

Message from the General Chair (PDF)

pp. ix

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? (PDF)

Vance Hilderman , Teksci

pp. 0

Keynote II

Countdown to Y2K: View from the DoD DCIO (PDF)

Dr. Marvin J. Langston , US Department of Defense

pp. 0

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

Using Modechart Modules for Testing Formal Specifications (Abstract)

Monica Brockmeyer , Wayne State University

pp. 20

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

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

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

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

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

Paper Session III: Experience Reports

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

Damien Cailliau , DESPA

Remy Bellenger , DAEC

pp. 75

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

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

Li Gong , Sun Microsystems, Inc.

Satya Dodda , Sun Microsystems, Inc.

pp. 89

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

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

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

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

Savio Chau , California Institute of Technology

pp. 116

HASE in Wireless Systems (Abstract)

Isaac Levendel , Motorola Incorporated

pp. 117

Using COTS Software in High Assurance Control Applications (Abstract)

Lui Sha , CS, UIUC

pp. 118

COTS and High Assurance: An Oxymoron? (Abstract)

Jeffrey M. Voas , Reliable Software Technologies

pp. 119

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

Identifying Domain Axioms Using Binary Decision Diagrams (Abstract)

Barbara J. Czerny , Delphi Delco Electronics Systems

Mats P.E. Heimdahl , University of Minnesota

pp. 132

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

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

Enrico Tronci , Universita` di L'Aquila

pp. 151

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

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

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

Haihong Zheng , Nokia Research Center

Sourav Bhattacharya , Arizona State University

pp. 179

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

A Framework for a Cryptographic Protocol Evaluation Workbench (Abstract)

Alec Yasinsac , National Academy of Engineering

William A. Wulf , Florida State University

pp. 197

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

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

Michael W. Whalen , University of Minnesota

Mats. P.E. Heimdahl , University of Minnesota

pp. 217

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

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

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

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

A Synchronous Paradigm for Modeling Stable Reactive Systems (Abstract)

Victor L. Winter , Sandia National Laboratories

pp. 257

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

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

John M. Covan , Sandia National Laboratories

pp. 271

An "in the limit" View (Abstract)

Larry J. Dalton , Sandia National Laborities

pp. 272

Software Can Be Entrusted with High Consequence Functionality (Abstract)

Ben L. Di Vito , NASA Langley Research Center

pp. 273

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

Jeffrey M. Voas , Reliable Software Technologies

pp. 274

Author Index (PDF)

pp. 275