FASTEN features DSLs for modeling assurance case arguments (based on the GSN notation), linking assurance arguments with system / safety models, automating consistency checks between safety and system models and expressing confidence in assurance cases.
Modeling assurance cases based on the GSN notation
The creation and instantiation of patterns
References from GSN entities to system models
Consistency checks with system models
Modeling confidence in assurance cases
Propagation of confidence accross different legs
Firing up checks of various system aspects that are modeled outside of the assurance case itself
