MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety Artifacts
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 OctDisplayed time zone: Eastern Time (US & Canada) change
15:00 - 16:15
|Automating the Early Detection of Security Design FlawsFT
Katja Tuma Chalmers | University of Gothenburg, Laurens Sion imec-DistriNet, KU Leuven, Riccardo Scandariato , Koen Yskout imec - DistriNet, KU LeuvenPre-print
|Scenario-based Specification of Security Protocols and Transformation to Security Model CheckersFT
|Automating Test Schedule Generation with Domain-Specific Languages: A Configurable, Model-Driven ApproachP&I
|MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety ArtifactsDemo