Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University
Menu
Home Digital Library Incremental Lifecycle Assurance of Critical Systems (2015)

Digital Library

Presentation

Incremental Lifecycle Assurance of Critical Systems (2015)

  • October 2015
  • By Peter H. Feiler
  • This 2015 Research Review presentation explores the author's research into ways to improve critical system assurance.
  • Publisher: Software Engineering Institute

  • Abstract

    SEI researchers investigated ways to improve critical system assurance through

    • Improved requirement quality through coverage and managed uncertainty
    • Improved evidence quality through compositional analytical verification
    • Measurably reduced certification related rework cost through virtual integration and verification automation
  • Download

Part of a Collection

SEI 2015 Research Review Artifacts