• DocumentCode
    1666291
  • Title

    A strategic surety roadmap for high consequence software

  • Author

    Pollock, Guylaine M. ; Dalton, Larry J.

  • Author_Institution
    Dept. of Comput. Sci., Sandia Nat. Labs., Albuquerque, NM, USA
  • Volume
    4
  • fYear
    1996
  • Firstpage
    351
  • Abstract
    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
  • Keywords
    failure analysis; software fault tolerance; software performance evaluation; HIS goals; High Integrity Software; Sandia National Laboratories; high consequence software; software reliability; strategic surety roadmap; Analytical models; Area measurement; Command and control systems; Computer science; Decision making; Investments; Laboratories; Software safety; Software systems; Visualization;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Aerospace Applications Conference, 1996. Proceedings., 1996 IEEE
  • Conference_Location
    Aspen, CO
  • Print_ISBN
    0-7803-3196-6
  • Type

    conf

  • DOI
    10.1109/AERO.1996.499672
  • Filename
    499672