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
Jared Davis , University of Texas at Austin
Steven E. Morrison , Sandia National Laboratories
Steve Roach , University of Texas at El Paso
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, Steven E. Morrison, Steve Roach, Gregory L. Wickstrom, "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
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool