Write a Blog >>
MODELS 2020
Fri 16 - Fri 23 October 2020
Fri 23 Oct 2020 16:00 - 16:10 at Room A - A7-Safety, Security and Testing Chair(s): Joanne M. Atlee

In recent years, the complexity of safety-critical systems such as automotive has been quickly increasing. The need to address safety concerns in such systems led to the development of industry-specific safety standards. They mandate activities that generate safety artifacts (e.g., safety cases and fault trees). Given the importance of these safety artifacts, tool support is needed to facilitate manipulating them throughout their life cycle while maintaining their connection to system artifacts.

In this paper, we report on MMINT-A 2.0, an extended version of our tool MMINT-A, aimed to facilitate the creation, analysis, and evolution of safety artifacts. We demonstrate the tool-supported methodology of MMINT-A 2.0 on an automotive example.

Fri 23 Oct

Displayed time zone: Eastern Time (US & Canada) change