CERT-SEI

SoS Software Assurance

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 analysis of embedded and real-time systems

One technique we use for analysis-based assurance is the assurance case. This method provides a means to structure the reasoning that engineers use implicitly to gain confidence that systems will work as expected. It also becomes a key element in the documentation of the system and provides a map to more detailed information.