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

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

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