Systems Engineering and Assurance Modeling (SEAM) is a tool for the modeling of assurance cases that are integrated with the models of the system, such as requirement models, functional decomposition models, and architecture models extended with fault propagations.