Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. (2004)
Mar. 25, 2004 to Mar. 26, 2004
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.
J. Davis, S. Roach, S. E. Morrison, V. L. Winter and G. L. Wickstrom, "The SSP: An Example of High-Assurance Systems Engineering," Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings.(HASE), Tampa, Florida, 2004, pp. 167-177.