HASE 1997: Washington, D.C., USA

Realism Versus Optimism: Integrating and Evaluating Fault Tolerance and Formal Methods

• Ann T. Tai, Kishor S. Trivedi, Herbert Hecht:
  On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers. 2-13
  
• James M. Boyle, R. Daniel Resler, Victor L. Winter:
  Do You Trust Your Compiler? Applying Formal Methods to Constructing High-Assurance Compilers. 14-
  

Key Applications in Embedded Systems

• Wei-Tek Tsai, Ramin Mojdehbakhsh, Sanjai Rayadurgam:
  Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment. 32-
  

Integrated Design and Development of High-Assurance Systems

• Thomas F. Lawrence:
  The Quality of Service Model and High Assurance. 38-
  

Tools and Techniques for Formal Specification and Their Use in the Real World

• Insup Lee, Oleg Sokolsky:
  Analytical Design of Evolutionary Control Flow Components. 48-55
  
• Mats Per Erik Heimdahl:
  Verifying Communication Constraints in RSML Specifications. 56-
  

High-Assurance Techniques and Their Role in Real-World Applications

• Gilberto Matos, James M. Purtilo, Elizabeth L. White:
  Automated Computation of Decomposable Synchronization Conditions. 72-77
  
• Monica Brockmeyer, Farnam Jahanian, Elly Winner, Constance L. Heitmeyer, Bruce G. Labaw:
  A. Software Environment for Custom Simulation and Monitoring of Real-Time Specifications. 78-84
  
• Andrea Bondavalli, Ivan Mura, Manuela Nelli:
  Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications. 85-
  

Practical Methods For Designing, Implementing, then Automatically Analyzing Embedded Real-Time Software

• Mario Dal Cin:
  Verifying Fault-Tolerant Behavior of State Machines. 94-99
  
• Minsoon Kweon, Soomyung Park, Sangjin Joung, Sunyoung Han, Moon-hae Kim:
  Scalable and Reliable Synchronous Collaboration Environment on CORBA using WWW. 100-103
  
• Anouar Jamoussi:
  An Automated Tool for Efficiently Generating a Massive Number of Random Test Cases. 104-107
  
• F. Maurice, Abdelmalek Benzekri, Yves Raynaud:
  Evaluation and Improvement of Software Products and Processes based on Measurement. 108-113
  
• S. Sanyal, Viren Shah, Samrat Bhattacharya:
  Framework of a Software Reliability Engineering Tool. 114-119
  
• Zeyad Alkhalifa, V. S. S. Nair:
  Design of a Portable Control-Flow Checking Technique. 120-123
  
• Edgar Nett, Michael Mock:
  A Recovery Model for Extended Real-Time Transactions. 0124-129
  
• William G. Castaneda:
  Software Complexity Analysis on Department of Defense Real-Time Systems. 130-
  

Integrating Specification, Design, and Evaluation Techniques for High-Assurance Systems

• Robert W. Sumners, Jacob A. Abraham:
  Hierarchical Specification of System Behavior. 134-140
  
• K. H. Kim, Chittur Subbaraman, Eltefaat Shokri:
  High-Coverage Fault Tolerance in Real-Time Systems Based on Point-to-Point Communication. 141-148
  
• Kam S. Tso, Eltefaat Shokri, Roger J. Dziegiel Jr.:
  ReSoFT: A Reusable Testbed for Development and Evaluation of Software Fault-Tolerant Systems. 149-154
  
• Taghi M. Khoshgoftaar, Edward B. Allen, Robert Halstead, Gary P. Trio, Ronald M. Flass:
  Process Measures for Predicting Software Quality. 155-
  

Key Applications in High-Assurance Systems

• J. Boulanger, V. Delebarre, Stéphane Natkin, J. Ozello:
  Deriving Safety Properties of Critical Software from the System Risk Analysis Application to Ground Transportation Systems. 162-167
  
• Kinji Mori:
  High-Assurance Application Systems and Their Technologies Under Changing Situations. 168-
  

Testing, Verification, and QoS Control for High-Assurance Systems

• Herbert Hecht, Myron Hecht, Dolores R. Wallace:
  Toward More Effective Testing for High-Assurance Systems. 176-181
  
• Bojan Cukic:
  Combining Testing and Correctness Verification in Software Reliability Assessment. 182-187
  
• Jeffrey J. P. Tsai, Eric Y. T. Juan:
  Efficient Compositional State-Space Verification for Communicating Processes in Distributed Systems. 188-193
  
• Saurav Chatterjee, Jaroslaw J. Sydir, Bikash Sabata, Thomas F. Lawrence:
  Modeling Applications for Adaptive QoS-based Resource Management. 194-201
  
• Husni Fahmi, Raymond A. Paul, Ahmed R. Bashandy, Arif Ghafoor:
  Ensuring Quality of Service for Multimedia Applications in a LAN Environment. 202-
  

Toward the Integration of Multiple Criteria in High-Assurance Systems

• Michel Raynal:
  A Case Study of Agreement Problems in Distributed Systems: Non-Blocking Atomic Commitment. 209-214
  
• Mehrdad Hassani, David B. Stewart:
  A Mechanism for Communicating in Dynamically Reconfigurable Embedded Systems. 215-220
  
• Guillem Bernat, José Miró-Julià, Julian Proenza:
  A Technique to Analyze the Tolerance to Transient Overloads of a Fault-Tolerant Real-Time System. 221-
  

Last update Wed May 22 23:40:25 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page