The SSP: An example of high-assurance systems engineering

Gregory L. Wickstrom, Steven E. Morrison, Jared Davis, Steve Roach, Victor L. Winter

Research output: Contribution to journalConference article

6 Scopus citations

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.

Original languageEnglish (US)
Pages (from-to)167-177
Number of pages11
JournalProceedings of IEEE International Symposium on High Assurance Systems Engineering
Volume8
StatePublished - 2004
EventProceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering - Tampa, FL, United States
Duration: Mar 25 2004Mar 26 2004

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'The SSP: An example of high-assurance systems engineering'. Together they form a unique fingerprint.

  • Cite this

    Wickstrom, G. L., Morrison, S. E., Davis, J., Roach, S., & Winter, V. L. (2004). The SSP: An example of high-assurance systems engineering. Proceedings of IEEE International Symposium on High Assurance Systems Engineering, 8, 167-177.