HASE 1997: Washington, D.C., USA
2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings. IEEE Computer Society 1997 ISBN 0-8186-7971-9
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
- 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
- William G. Castaneda: Software Complexity Analysis on Department of Defense Real-Time Systems. 130-
Integrating Specification, Design, and Evaluation Techniques for High-Assurance Systems
- 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-
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team