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. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1109/HASE.2004.1281741 | HASE |
Keywords | Field | DocType |
resulting system,consistency checking,program transformation,high assurance systems engineering,high-assurance systems engineering,principle design,extensive design review,n-version programming,software engineering,application software,systems analysis,system engineering,computer science,memory management,java,high level languages,programming,first principle,n version programming,hardware description languages,systems engineering,hardware | Systems engineering,Software engineering,Intelligent verification,Computer science,Software system,Systems development life cycle,Formal methods,Software construction,Software verification and validation,Reliability engineering,Software development,Software verification | Conference |
ISBN | Citations | PageRank |
0-7695-2094-4 | 10 | 0.67 |
References | Authors | |
10 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gregory L. Wickstrom | 1 | 13 | 1.87 |
Jared Davis | 2 | 72 | 7.39 |
Steven E. Morrison | 3 | 12 | 1.17 |
Steve Roach | 4 | 282 | 27.39 |
Victor L. Winter | 5 | 110 | 17.04 |