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 Oct Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change
|15:00 - 15:20|
Katja TumaChalmers | University of Gothenburg, Laurens Sionimec-DistriNet, KU Leuven, Riccardo Scandariato, Koen Yskoutimec - DistriNet, KU LeuvenPre-print
|15:20 - 15:40|
|15:40 - 16:00|
Automating Test Schedule Generation with Domain-Specific Languages: A Configurable, Model-Driven ApproachP&I
|16:00 - 16:10|