The Community for Technology Leaders
RSS Icon
Subscribe
Tampa, Florida
Mar. 25, 2004 to Mar. 26, 2004
ISBN: 0-7695-2094-4
pp: 167-177
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
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
Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter, "The SSP: An Example of High-Assurance Systems Engineering", HASE, 2004, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05), Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05) 2004, pp. 167-177, doi:10.1109/HASE.2004.1281741
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool