Software Engineering Institute Carnegie Mellon

Performance-Critical Systems
Introduction
Cooperation
Conferences
PCS Staff
Integration of Software-Intensive Systems
COTS-Based Systems
Dynamic Systems Program

Analysis-Based Assurance of System Performance

It is difficult to assure the safety, security, or reliability of systems of systems because of their size, complexity, and continuing evolution—and because they can exhibit undesired and unanticipated emergent behavior.

Tests cannot adequately show that dependability requirements have been met. In the Performance-Critical Systems Initiative, we use an approach for analysis-based assurance that is derived from the safety case construct used successfully for more than a decade in such areas as flight control, railroad signaling, and nuclear reactor shutdown systems.



We are extending that construct through the assurance case concept (shown above) for

Your organization can use analysis-based assurance to

  • leverage scarce assurance resources
  • provide assurance of mission-critical properties or go/no-go criteria at different stages of development
  • form evidence-based, high-assurance practices
  • develop an engineering culture in which claims are articulated and verified

Go to information about how to develop assurance cases

Return to PCS main page

 

Through analysis-based assurance, the SEI can help your organization by

  • reviewing the "as-is" state of your assurance practices
  • recommending a desired state and path forward
  • documenting assurance patterns used by expert engineers
  • applying best assurance practices from other organizations
  • training your engineers to use leading-edge assurance technologies
  • learn how to plan the development of an assurance case
  • providing services and tools for model-based analysis of embedded and real-time systems

Contact Us

Customer Engagements
Terry Dailey
Phone: 703-908-8213
E-mail: etd@sei.cmu.edu

Technical Questions
John Goodenough
Phone: 412-268-6391
E-mail: jbg@sei.cmu.edu

Are you looking for alternatives to conventional test and evaluation approaches for systems-of-systems? Anlaysis-based assurance offers new possibilities. Read more about our approach to system-of-system test and evaluation.

Read our information sheet on analysis-based assurance.