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 Citations (Scopus)

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 - Jun 22 2004
EventProceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering - Tampa, FL, United States
Duration: Mar 25 2004Mar 26 2004

Fingerprint

Systems engineering
Computer hardware

ASJC Scopus subject areas

  • Engineering(all)

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.

The SSP : An example of high-assurance systems engineering. / Wickstrom, Gregory L.; Morrison, Steven E.; Davis, Jared; Roach, Steve; Winter, Victor L.

In: Proceedings of IEEE International Symposium on High Assurance Systems Engineering, Vol. 8, 22.06.2004, p. 167-177.

Research output: Contribution to journalConference article

Wickstrom, GL, Morrison, SE, Davis, J, Roach, S & Winter, VL 2004, 'The SSP: An example of high-assurance systems engineering', Proceedings of IEEE International Symposium on High Assurance Systems Engineering, vol. 8, pp. 167-177.
Wickstrom, Gregory L. ; Morrison, Steven E. ; Davis, Jared ; Roach, Steve ; Winter, Victor L. / The SSP : An example of high-assurance systems engineering. In: Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 2004 ; Vol. 8. pp. 167-177.
@article{5ffa2456bea84237b46701f81d3d44eb,
title = "The SSP: An example of high-assurance systems engineering",
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.",
author = "Wickstrom, {Gregory L.} and Morrison, {Steven E.} and Jared Davis and Steve Roach and Winter, {Victor L}",
year = "2004",
month = "6",
day = "22",
language = "English (US)",
volume = "8",
pages = "167--177",
journal = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",
issn = "1530-2059",

}

TY - JOUR

T1 - The SSP

T2 - An example of high-assurance systems engineering

AU - Wickstrom, Gregory L.

AU - Morrison, Steven E.

AU - Davis, Jared

AU - Roach, Steve

AU - Winter, Victor L

PY - 2004/6/22

Y1 - 2004/6/22

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=2942524127&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=2942524127&partnerID=8YFLogxK

M3 - Conference article

VL - 8

SP - 167

EP - 177

JO - Proceedings of IEEE International Symposium on High Assurance Systems Engineering

JF - Proceedings of IEEE International Symposium on High Assurance Systems Engineering

SN - 1530-2059

ER -