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.