The SSP: An example of high-assurance systems engineering

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

The SSP: An example of high-assurance systems engineering

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

Computer Science

Research output: Contribution to journal › Conference article › peer-review

9 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 language	English (US)
Pages (from-to)	167-177
Number of pages	11
Journal	Proceedings of IEEE International Symposium on High Assurance Systems Engineering
Volume	8
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

General Engineering

Cite this

@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",

language = "English (US)",

volume = "8",

pages = "167--177",

journal = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",

issn = "1530-2059",

publisher = "IEEE Computer Society",

note = "Proceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering ; Conference date: 25-03-2004 Through 26-03-2004",

}

TY - JOUR

T1 - The SSP

T2 - Proceedings - Eighth IEEE International Symposium on High Assurance Systems Engineering

AU - Wickstrom, Gregory L.

AU - Morrison, Steven E.

AU - Davis, Jared

AU - Roach, Steve

AU - Winter, Victor L.

PY - 2004

Y1 - 2004

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

AN - SCOPUS:2942524127

SN - 1530-2059

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

Y2 - 25 March 2004 through 26 March 2004

ER -

The SSP: An example of high-assurance systems engineering

Abstract

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this