A strategic surety roadmap for high consequence software
Conference
·
OSTI ID:192563
A strategic surety roadmap for high consequence software systems developed under the High Integrity Software (HIS) Program at Sandia National Laboratories is presented. Selected research tracks are identified and described detailing current technology and outlining advancements to be pursued over the coming decade to reach HIS goals.
- Research Organization:
- Sandia National Labs., Albuquerque, NM (United States)
- Sponsoring Organization:
- USDOE, Washington, DC (United States)
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 192563
- Report Number(s):
- SAND--95-3065C; CONF-960248--1; ON: DE96004676
- Country of Publication:
- United States
- Language:
- English
Similar Records
Achieving strategic surety for high consequence software
High Consequence System Surety. Issue 1
A software surety analysis process
Conference
·
Sun Sep 01 00:00:00 EDT 1996
·
OSTI ID:366566
High Consequence System Surety. Issue 1
Conference
·
Mon Jul 11 00:00:00 EDT 1994
·
OSTI ID:10176029
A software surety analysis process
Technical Report
·
Tue Oct 31 23:00:00 EST 1995
·
OSTI ID:162500