The Community for Technology Leaders
Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) (2004)
Tampa, Florida
Mar. 25, 2004 to Mar. 26, 2004
ISSN: 1530-2059
ISBN: 0-7695-2094-4
pp: 167-177
Jared Davis , University of Texas at Austin
Steve Roach , University of Texas at El Paso
Steven E. Morrison , Sandia National Laboratories
Victor L. Winter , University of Nebraska at Omaha
Gregory L. Wickstrom , Sandia National Laboratories
ABSTRACT
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.
INDEX TERMS
null
CITATION
Jared Davis, Steve Roach, Steven E. Morrison, Victor L. Winter, Gregory L. Wickstrom, "The SSP: An Example of High-Assurance Systems Engineering", Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), vol. 00, no. , pp. 167-177, 2004, doi:10.1109/HASE.2004.1281741
102 ms
(Ver 3.3 (11022016))