The SSP: An Example of High-Assurance Systems Engineering

Tampa, Florida March 25-March 26

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281741

Eighth IEEE International Symposium o ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Gregory L. Wickstrom Articles by Jared Davis Articles by Steven E. Morrison Articles by Steve Roach Articles by Victor L. Winter

	ASCII Text	x
	Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter, "The SSP: An Example of High-Assurance Systems Engineering," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 167-177, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004.

	BibTex	x
	@article{ 10.1109/HASE.2004.1281741, author = {Gregory L. Wickstrom and Jared Davis and Steven E. Morrison and Steve Roach and Victor L. Winter}, title = {The SSP: An Example of High-Assurance Systems Engineering}, journal ={High-Assurance Systems Engineering, IEEE International Symposium on}, volume = {0}, year = {2004}, issn = {1530-2059}, pages = {167-177}, doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281741}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - High-Assurance Systems Engineering, IEEE International Symposium on TI - The SSP: An Example of High-Assurance Systems Engineering SN - 1530-2059 SP167 EP177 A1 - Gregory L. Wickstrom, A1 - Jared Davis, A1 - Steven E. Morrison, A1 - Steve Roach, A1 - Victor L. Winter, PY - 2004 KW - null VL - 0 JA - High-Assurance Systems Engineering, IEEE International Symposium on ER -

Gregory L. Wickstrom, Sandia National Laboratories

Jared Davis, University of Texas at Austin

Steven E. Morrison, Sandia National Laboratories

Steve Roach, University of Texas at El Paso

Victor L. Winter, University of Nebraska at Omaha

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.

Citation:

Gregory L. Wickstrom, Jared Davis, Steven E. Morrison, Steve Roach, Victor L. Winter, "The SSP: An Example of High-Assurance Systems Engineering," hase, pp.167-177, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.