HASE 1999: Washington, D.C., USA

@proceedings{DBLP:conf/hase/1999,
  title     = {4th IEEE International Symposium on High-Assurance Systems Engineering
               (HASE '99), 17-19 November 1999, Washington, D.C, USA, Proceedings},
  booktitle = {HASE},
  publisher = {IEEE Computer Society},
  year      = {1999},
  isbn      = {0-7695-0418-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Evaluation and Testing

• Ann Q. Gates, Patricia J. Teller:
  DynaMICs: An Automated and Independent Software-FaultDetection Approach. 11-19
  
• Monica Brockmeyer:
  Using Modechart Modules for Testing Formal Specifications. 20-26
  
• Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul:
  Assurance-Based Y2K Testing. 27-37
  

Special Session on UML for High Assurance Systems

• Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis:
  Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models. 37-45
  
• Stefania Gnesi, Diego Latella, Mieke Massink:
  Model Checking UML Statechart Diagrams Using JACK. 46-55
  
• William E. McUmber, Betty H. C. Cheng:
  UML-Based Analysis of Embedded Systems Using a Mapping to VHDL. 56-63
  
• Andrea Bondavalli, Ivan Mura, István Majzik:
  Automatic Dependability Analysis for Supporting Design Decisions in UML. 64-
  

Experience Reports

• Damien Cailliau, Remy Bellenger:
  The CorotInstrument's Software: Towards Intrinsically Reconfigurable Real-Time Embedded Processing Software in Space-Born Instruments. 75-80
  
• James Kirby Jr., Myla Archer, Constance L. Heitmeyer:
  Applying Formal Methods to an Information Security Device: An Experience Report. 81-88
  
• Li Gong, Satya Dodda:
  Security Assurance Efforts in Engineering Java 2 SE (JDK 1.2). 89-
  

Fault Analysis

• Ann T. Tai, Savio N. Chau, Leon Alkalai:
  COTS-Based Fault Tolerance in Deep Space: Qualitative and Quantitative Analyses of a Bus Network Architecture. 97-104
  
• Taghi M. Khoshgoftaar, Edward B. Allen:
  Predicting Fault-Prone Software Modules in Embedded Systems with Classification Trees. 105-
  

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

• Raymond A. Paul, Ann T. Tai:
  Building High-Assurance Systems Using COTS Components: Whether, Why, When and How? 115
  
• Savio N. Chau:
  Experience of Using COTS Components for Deep Space Missions. 116
  
• Isaac Levendel:
  HASE in Wireless Systems. 117
  
• Lui Sha:
  Using COTS Software in High Assurance Control Applications. 118
  
• Jeffrey M. Voas:
  COTS and High Assurance: An Oxymoron? 119-
  

Case Studies

• Dolores R. Wallace, D. Richard Kuhn:
  Lessons from 342 Medical Device Failures. 123-131
  
• Barbara J. Czerny, Mats Per Erik Heimdahl:
  Identifying Domain Axioms Using Binary Decision Diagrams. 132-140
  
• Steve Goddard, Kevin Jeffay:
  Analyzing the Real-Time Properties of a U.S. Navy Signal Processing System. 141-150
  
• Enrico Tronci:
  Formally Modeling a Metal Processing Plant and its Closed Loop Specifications. 151-
  

Reliable Communications

• I-Ling Yen, Biao Chen, Ing-Ray Chen:
  Real-Time Atomic Transaction Processing Using Multi-Invariant Data Structure. 161-168
  
• Isao Kaji, Yongdong Tan, Kinji Mori:
  Autonomous Data Synchronization in Heterogeneous Systems to Assure the Transaction. 169-178
  
• Haihong Zheng, Sourav Bhattacharya:
  Look-Ahead Channel Reservation and Borrowing in Cellular Network System. 179-
  

Frameworks, Systems, Tools

• Jennifer Ren, Michel Cukier, Paul Rubel, William H. Sanders, David E. Bakken, David A. Karr:
  Building Dependable Distributed Applications Using AQUA. 189-196
  
• Alec Yasinsac, William A. Wulf:
  A Framework for a Cryptographic Protocol Evaluation Workbench. 197-206
  
• Carol L. Hoover, Jeffery P. Hansen, Philip Koopman, Sandeep Tamboli:
  The Amaranth Framework: Probabilistic, Utility-Based Quality of Service Management for High-Assurance Computing. 207-216
  
• Michael W. Whalen, Mats Per Erik Heimdahl:
  On the Requirements of High-Integrity Code Generation. 217-
  

What are the Most Critical Challenges to Integrating High Assurance Systems

• Herbert Hecht:
  What are the Most Critical Challenges to Integrating High Assurance Systems?. 227-230
  

Metrics and Modeling

• Diego Del Gobbo, Bojan Cukic, Marcello R. Napolitano, Steve M. Easterbrook:
  Fault Detectability Analysis for Requirements Validation of Fault Tolerant Systems. 231-238
  
• Paul Ammann, Paul E. Black:
  A Specification-Based Coverage Metric to Evaluate Test Sets. 239-248
  
• Tom Chen, Anneliese von Mayrhauser, Amjad Hajjar, Charles Anderson, Mehmet Sahinoglu:
  How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing. 249-256
  
• Victor L. Winter:
  A Synchronous Paradigm for Modeling Stable Reactive Systems. 257-
  

Should High Assurance Systems Use Software? Risk vs. Functionality

• Victor L. Winter, Raymond Berg:
  Software Systems: Consequence versus Functionality. 269-270
  
• John M. Covan:
  Why Modern Systems Should Minimize the Use of Safety Critical Software. 271-271
  
• Larry J. Dalton:
  An "in the limit" View. 272-272
  
• Ben L. Di Vito:
  Software Can Be Entrusted with High Consequence Functionality. 273-272
  
• Jeffrey M. Voas:
  A World Without Risks: Let Me Out! 274-274