• H
  • HASE
  • 1997
  • 1997 High-Assurance Systems Engineering Workshop
Advanced Search 
1997 High-Assurance Systems Engineering Workshop
Washington, DC
August 11-August 12
ISBN: 0-8186-7971-9
Table of Contents
null
Plenary Session
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
Wei-Tek Tsai, Cardiac Pacemakers Inc., Guidant Corporation,
Ramin Mojdehbakhsh, Cardiac Pacemakers Inc., Guidant Corporation,
Sanjai Rayadurgam, University of Minnesota
pp. 0032
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
Insup Lee, University of Pennsylvania
Oleg Sokolsky, University of Pennsylvania
pp. 0042
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
Myong H. Kang, Naval Research Laboratory
Andrew P. Moore, Naval Research Laboratory
Ira S. Moskowitz, Naval Research Laboratory
pp. 0064
State-Of-The-Art Session 1
Practical Methods For Designing, Implementing, then Automatically Analyzing Embedded Real-Time Software
Open Discussion Session
Open Discussion Panel
Short Paper Session 1
Short Paper Session
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
Short Paper Session
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
Rob Sumners, University of Texas at Austin
Jacob Abraham, University of Texas at Austin
pp. 0134
T.M. Khoshgoftaar, Florida Atlantic University
E.B. Allen, Florida Atlantic University
R. Halstead, Northrop Grumman
G. Trio, Northrop Grumman
R. Flass, Northrop Grumman
pp. 0155
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
Guillem Bernat, Universitat de les Illes Balears
Jose Miro-Julia, Universitat de les Illes Balears
Julian Proenza, Universitat de les Illes Balears
pp. 0221
State-Of-The-Art Session 2
Towards Secure Executable Content: Java Security
Usage of this product signifies your acceptance of the Terms of Use.