- H
- HASE
- 1997
- 1997 High-Assurance Systems Engineering Workshop
| | This Publication | | | | | | | |
| | | | Bibliographic References | | | |
| | | | |
1997 High-Assurance Systems Engineering Workshop Washington, DC August 11-August 12 ISBN: 0-8186-7971-9 Table of Contents
 | null |
| Plenary Session |
| Keynote Address |
High Consequence Operations: In the Limit
| Paper Session 1 |
Realism Versus Optimism: Integrating and Evaluating Fault Tolerance and Formal Methods
Taming the Octopus: Using Formal Models to Integrate the Octopus Object-Oriented Analysis Models
Enhancing System Dependability with Dynamically Reconfigurable FPGAs
| Invited Speaker Session 1 |
Key Applications in Embedded Systems
High-Assurance Embedded Systems: Definations and Existing Practices
| Panel Session 1 |
Integrated Design and Development of High-Assurance Systems
| Paper Session 2 |
Tools and Techniques for Formal Specification and Their Use in the Real World
The VSE Formal Development Method in Industrial Applications: A Brief Survey of Pilot Project Results
| Paper Session 3 |
High-Assurance Techniques and Their Role in Real-World Applications
M. Nelli, PDCC - Consorzio Pisa Ricerche, Pisa, Italy pp. 0085
| State-Of-The-Art Session 1 |
Practical Methods For Designing, Implementing, then Automatically Analyzing Embedded Real-Time Software
| Open Discussion Session |
| Short Paper Session 1 |
F. Maurice, Universit? Paul Sabatier, bat 1R1 IRIT/SIERA
A. Benzekri, Universit? Paul Sabatier, bat 1R1 IRIT/SIERA
Y. Raynaud, Universit? Paul Sabatier, bat 1R1 IRIT/SIERA pp. 0108
| Short Paper Session 2 |
Edgar Nett, German National Research Center for Information Technology
Michael Mock, German National Research Center for Information Technology pp. 0124
Hase Application to the Development of Military Aircraft
| Paper Session 4 |
Integrating Specification, Design, and Evaluation Techniques for High-Assurance Systems
| Invited Speaker Session 2 |
Key Applications in High-Assurance Systems
Multilevel Security via Gadgets and Cheap Tricks
| Panel Session 2 |
Protocol Failure and Tools for Preventing It
| Paper Session 5 |
Testing, Verification, and QoS Control for High-Assurance Systems
| Paper Session 6 |
Toward the Integration of Multiple Criteria in High-Assurance Systems
| State-Of-The-Art Session 2 |
Towards Secure Executable Content: Java Security Usage of this product signifies your acceptance of the Terms of Use.
| | | | | | | |
