Title :
The SSP: an example of high-assurance systems engineering
Author :
Wickstrom, Gregory L. ; Davis, Jared ; Morrison, Steven E. ; Roach, Steve
Author_Institution :
Dept. of Surety Electron. & Software, Sandia Nat. Labs., USA
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.
Keywords :
hardware description languages; hardware-software codesign; program testing; program verification; systems analysis; systems engineering; systems software; SSP; hardware engineering; high assurance systems engineering; n-version programming; program consistency checking; program transformation; program verification; software engineering; Application software; Computer science; Hardware; High level languages; Java; Laboratories; Memory management; Programming; Systems engineering and theory; US Department of Energy;
Conference_Titel :
High Assurance Systems Engineering, 2004. Proceedings. Eighth IEEE International Symposium on
Print_ISBN :
0-7695-2094-4
DOI :
10.1109/HASE.2004.1281741
