The SSP: an example of high-assurance systems engineering

The SSP: an example of high-assurance systems engineering

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Wickstrom, G.L., Davis, J., Morrison, S.E., Roach, S.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Application software
Computer science
Hardware
High level languages
Java
Laboratories
Memory management
Programming
Systems engineering and theory
US Department of Energy
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
ISSN:1530-2059
2640-7507
DOI:10.1109/HASE.2004.1281741