This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04)
The SSP: An Example of High-Assurance Systems Engineering
Tampa, Florida
March 25-March 26
ISBN: 0-7695-2094-4
Gregory L. Wickstrom, Sandia National Laboratories
Jared Davis, University of Texas at Austin
Steven E. Morrison, Sandia National Laboratories
Steve Roach, University of Texas at El Paso
Victor L. Winter, University of Nebraska at Omaha
The SSP is a high assurance systems engineering effort spanning both hardware and software. Extensive design review, first principle design, n-version programming, program transformation, verification, and consistency checking are the techniques used to provide assurance in the correctness of the resulting system.
Citation:
Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter, "The SSP: An Example of High-Assurance Systems Engineering," hase, pp.167-177, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.