GSN Assurance Models

SEAM supports the Goal Structuring Notations (GSN) standard to build assurance case models. SEAM uses hierarchical models, as well as cross-referencing to manage complexity in GSN models. Additionally, SEAM allows linking assurance cases to system models to provide context to the assurance case argument.

System Models

SEAM supports a subset of block diagram models in the SysML modeling standard. These include functional (hierarchical requirement) models and architecture design with block diagram models.

Fault Models

SEAM extends the internal block diagram models to allow specification of discrete fault propagation to capture the faults and their anomalous effects within a block (subsystem) and their propagation across the system through subsystem interfaces.

Integrated Models

SEAMS allows context specification through cross-referencing of modeling entities across the models. Functional models are cross-referenced in the system fault propagation models to capture the impact (function loss or degradation) of and response (mitigation function) to failure effects. Sub-system models that implement specific functions are cross-referenced in functional models. Subsystem and functional models are cross-referenced in the GSN assurance case models to provide context to the argument.

NASA R&M Hierarchy

NASA's Reliability and Maintainability Standard serves as a template to build radiation hardness assurance cases for using COTS systems in space missions. SEAMs provides template models of the R&M hierarchy to kick-start the assurance case development.

Examples

A set of examples is available including:

    Collaborate

    Collaborate with your colleagues by simultaneously working on the same project. SEAM uses the WebGME modeling framework that works just like Google Docs; it updates and shows all changes to each user concurrently. And you never lose work because the models are stored in a database in the cloud.

    Disclaimer

    The SEAM tool set and the associated models have been prepared for the Radiation Effects research community for informational purposes that are not export controlled. Your privacy and security are important to us; please do not upload any data that is controlled unclassified information, export controlled, or considered to be intellectual property.
    Please provide a professional email address that we will use only to confirm your registration. Your registration information may be reviewed by our sponsor whose approval is necessary to grant access.
    You can make your own site (e.g. internal server, Amazon gov cloud, etc.) if you want to work with sensitive material.
    Note: The content of this website and the SEAM tool set are considered “Beta Software”.
    Vanderbilt University disclaims all warranties with regard to this software, including all implied warranties of merchantability and fitness. In no event shall Vanderbilt University be liable for any special, indirect or consequential damages or any damages whatsoever resulting from loss of use, data or profits, whether in an action of contract, negligence or other tortious action, arising out of or in connection with the use or performance of this software.
    Contact us via email info‑seam (at) vanderbilt (dot) edu