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.
|Original language||English (US)|
|Number of pages||11|
|Journal||Proceedings of IEEE International Symposium on High Assurance Systems Engineering|
|State||Published - 2004|
|Event||Proceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering - Tampa, FL, United States|
Duration: Mar 25 2004 → Mar 26 2004
ASJC Scopus subject areas