A strategic surety roadmap for high consequence software
G.M. Pollock, Larry J. Dalton · 1996 IEEE Aerospace Applications Conference. Proceedings · 2002
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.