DocumentCode
2747535
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
fYear
2004
fDate
25-26 March 2004
Firstpage
167
Lastpage
177
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;
fLanguage
English
Publisher
ieee
Conference_Titel
High Assurance Systems Engineering, 2004. Proceedings. Eighth IEEE International Symposium on
ISSN
1530-2059
Print_ISBN
0-7695-2094-4
Type
conf
DOI
10.1109/HASE.2004.1281741
Filename
1281741
Link To Document