1. Home
  2. Proceedings
  3. HASE
  4. HASE 1999
Default Cover Image

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

Nov. 17 1999 to Nov. 19 1999

Washington, D.C.

ISSN: 1530-2059

ISBN: 0-7695-0418-3

Table of Contents

Proceedings 4th IEEE International Symposium on High-Assurance Systems EngineeringFreely available from IEEE.pp. 0_1-0_1
Message from the General ChairFreely available from IEEE.pp. ix
Message from the Program Chair and Vice-General ChairFreely available from IEEE.pp. x
Organizing CommitteeFreely available from IEEE.pp. xii
Program Committee and ReviewersFreely available from IEEE.pp. xiii
Keynote I
Convergence on High Assurability: Will We Converge or Diverge?Full-text access may be available. Sign in or learn about subscription options.
by Vance Hilderman
Keynote II
Countdown to Y2K: View from the DoD DCIOFull-text access may be available. Sign in or learn about subscription options.
by Dr. Marvin J. Langston
Paper Session I: Evaluation and Testing
DynaMICs: An Automated and Independent Software-Fault Detection ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 11
by Ann Q. Gates, Patricia J. Teller
Paper Session I: Evaluation and Testing
Using Modechart Modules for Testing Formal SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 20
by Monica Brockmeyer
Paper Session I: Evaluation and Testing
Assurance-Based Y2K TestingFull-text access may be available. Sign in or learn about subscription options.pp. 27
by W. T. Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond Paul
Paper Session II: Special Session on UML for High Assurance Systems
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 37
by M. Dal Cin, G. Huszerl, K. Kosmidis
Paper Session II: Special Session on UML for High Assurance Systems
Model Checking UML Statechart Diagrams Using JACKFull-text access may be available. Sign in or learn about subscription options.pp. 46
by Stefania Gnesi, Diego Latella, Mieke Massink
Paper Session II: Special Session on UML for High Assurance Systems
UML-Based Analysis of Embedded Systems Using a Mapping to VHDLFull-text access may be available. Sign in or learn about subscription options.pp. 56
by William E. McUmber, Betty H.C. Cheng
Paper Session II: Special Session on UML for High Assurance Systems
Automatic Dependability Analysis for Supporting Design Decisions in UMLFull-text access may be available. Sign in or learn about subscription options.pp. 64
by Andrea Bondavalli, Ivan Mura, Istvan Majzik
Paper Session III: Experience Reports
The Corot Instrument's Software: Towards Intrinsically Reconfigurable Real-Time Embedded Processing Software in Space-Born InstrumentsFull-text access may be available. Sign in or learn about subscription options.pp. 75
by Damien Cailliau, Remy Bellenger
Paper Session III: Experience Reports
Applying Formal Methods to an Information Security Device: An Experience ReportFull-text access may be available. Sign in or learn about subscription options.pp. 81
by James Kirby, Jr., Myla Archer, Constance Heitmeyer
Paper Session III: Experience Reports
Security Assurance Efforts in Engineering Java 2 SE (JDK 1.2)Full-text access may be available. Sign in or learn about subscription options.pp. 89
by Li Gong, Satya Dodda
Paper Session IV: Fault Analysis
COTS-Based Fault Tolerance in Deep Space: Qualitative and Quantitative Analyses of a Bus Network ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 97
by Ann T. Tai, Savio N. Chau, Leon Alkalai
Paper Session IV: Fault Analysis
Predicting Fault-Prone Software Modules in Embedded Systems with Classification TreesFull-text access may be available. Sign in or learn about subscription options.pp. 105
by Taghi M. Khoshgoftaar, Edward B. Allen
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?Full-text access may be available. Sign in or learn about subscription options.pp. 115
by Ray A. Paul, Ann T. Tai
Panel Session I: Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?
Experience of Using COTS Components for Deep Space MissionsFull-text access may be available. Sign in or learn about subscription options.pp. 116
by Savio Chau
Panel Session I: Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?
HASE in Wireless SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 117
by Isaac Levendel
Panel Session I: Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?
Using COTS Software in High Assurance Control ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 118
by Lui Sha
Panel Session I: Building High-Assurance Systems Using COTS Components: Whether, Why, When and How?
COTS and High Assurance: An Oxymoron?Full-text access may be available. Sign in or learn about subscription options.pp. 119
by Jeffrey M. Voas
Paper Session V: Case Studies
Lessons from 342 Medical Device FailuresFull-text access may be available. Sign in or learn about subscription options.pp. 123
by Dolores R. Wallace, D. Richard Kuhn
Paper Session V: Case Studies
Identifying Domain Axioms Using Binary Decision DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 132
by Barbara J. Czerny, Mats P.E. Heimdahl
Paper Session V: Case Studies
Analyzing the Real-Time Properties of a U.S. Navy Signal Processing SystemFull-text access may be available. Sign in or learn about subscription options.pp. 141
by Steve Goddard, Kevin Jeffay
Paper Session V: Case Studies
Formally Modeling a Metal Processing Plant and its Closed Loop SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 151
by Enrico Tronci
Paper Session VI: Reliable Communications
Real-Time Atomic Transaction Processing Using Multi-Invariant Data StructureFull-text access may be available. Sign in or learn about subscription options.pp. 161
by I-Ling Yen, Biao Chen, Ing-Ray Chen
Paper Session VI: Reliable Communications
Autonomous Data Synchronization in Heterogeneous Systems to Assure the TransactionFull-text access may be available. Sign in or learn about subscription options.pp. 169
by Isao Kaji, Yongdong Tan, Kinji Mori
Paper Session VI: Reliable Communications
Look-Ahead Channel Reservation and Borrowing in Cellular Network SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 179
by Haihong Zheng, Sourav Bhattacharya
Paper Session VII: Frameworks, Systems, Tools
Building Dependable Distributed Applications Using AQUAFull-text access may be available. Sign in or learn about subscription options.pp. 189
by Jennifer Ren, Michel Cukier, Paul Rubel, William H. Sanders, David E. Bakken, David A. Karr
Paper Session VII: Frameworks, Systems, Tools
A Framework for a Cryptographic Protocol Evaluation WorkbenchFull-text access may be available. Sign in or learn about subscription options.pp. 197
by Alec Yasinsac, William A. Wulf
Paper Session VII: Frameworks, Systems, Tools
The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance ComputingFull-text access may be available. Sign in or learn about subscription options.pp. 207
by Carol L. Hoover, Jeffery Hansen, Philip Koopman, Sandeep Tamboli
Paper Session VII: Frameworks, Systems, Tools
On the Requirements of High-Integrity Code GenerationFull-text access may be available. Sign in or learn about subscription options.pp. 217
by Michael W. Whalen, Mats. P.E. Heimdahl
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?Full-text access may be available. Sign in or learn about subscription options.pp. 227
by Herbert Hecht
Paper Session VIII: Metrics and Modeling
Fault Detectability Analysis for Requirements Validation of Fault Tolerant SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 231
by Diego Del Gobbo, Bojan Cukic, Marcello R. Napolitano, S. Easterbrook
Paper Session VIII: Metrics and Modeling
A Specification-Based Coverage Metric to Evaluate Test SetsFull-text access may be available. Sign in or learn about subscription options.pp. 239
by Paul E. Ammann, Paul E. Black
Paper Session VIII: Metrics and Modeling
How Much Testing is Enough? Applying Stopping Rules to Behavioral Model TestingFull-text access may be available. Sign in or learn about subscription options.pp. 249
by Tom Chen, Anneliese von Mayrhauser, Amjad Hajjar, Charles Anderson, Mehmet Sahinoglu
Paper Session VIII: Metrics and Modeling
A Synchronous Paradigm for Modeling Stable Reactive SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 257
by Victor L. Winter
Panel Session III: Should High Assurance Systems Use Software? Risk vs. Functionality
Software Systems: Consequence versus FunctionalityFull-text access may be available. Sign in or learn about subscription options.pp. 269
by Victor L. Winter, Ray Berg
Panel Session III: Should High Assurance Systems Use Software? Risk vs. Functionality
Why Modern Systems Should Minimize the Use of Safety Critical SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 271
by John M. Covan
Panel Session III: Should High Assurance Systems Use Software? Risk vs. Functionality
An "in the limit" ViewFull-text access may be available. Sign in or learn about subscription options.pp. 272
by Larry J. Dalton
Panel Session III: Should High Assurance Systems Use Software? Risk vs. Functionality
Software Can Be Entrusted with High Consequence FunctionalityFull-text access may be available. Sign in or learn about subscription options.pp. 273
by Ben L. Di Vito
A world without risks: let me out!Full-text access may be available. Sign in or learn about subscription options.pp. 274-274
by J. Was
Panel Session III: Should High Assurance Systems Use Software? Risk vs. Functionality
Author IndexFreely available from IEEE.pp. 275
Showing 46 out of 46