SEAM provides a template model based on the NASA Reliability and Maintainability Standard to kick-start the development of assurance cases...
Internal block diagram models of components can contain discrete fault propagation models that capture the anticipated faults of the component and their induced local effects, as well as effects of failures propagating into and out of the component...
Systems Engineering and Assurance Modeling(SEAM):A web-based solution for integrated mission assurance