MMINT-A 2.0

In recent years, the complexity of safety-critical systems such as automotive systems has been rapidly increasing. The need to address safety concerns in such systems led to the development of industry-specific safety standards. The standards mandate activities that generate model-based safety artifacts (e.g., safety cases and fault trees). Given the importance of these safety models, tool support is needed to facilitate manipulating them …