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
ASCII Text
x 
 
Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter, "The SSP: An Example of High-Assurance Systems Engineering," Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), pp. 167-177, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/HASE.2004.1281741,
author = {Gregory L. Wickstrom and Jared Davis and Steven E. Morrison and Steve Roach and Victor L. Winter},
title = {The SSP: An Example of High-Assurance Systems Engineering},
journal ={Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)},
volume = {0},
year = {2004},
issn = {1530-2059},
pages = {167-177},
doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281741},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
TI - The SSP: An Example of High-Assurance Systems Engineering
SN - 1530-2059
SP167
EP177
A1 - Gregory L. Wickstrom,
A1 - Jared Davis,
A1 - Steven E. Morrison,
A1 - Steve Roach,
A1 - Victor L. Winter,
PY - 2004
KW - null
VL - 0
JA - Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)
ER -
 
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.