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
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

models-2020-technical-track
15:00 - 16:15: Technical Track - A7-Safety, Security and Testing at Room A
Chair(s): Joanne M. AtleeUniversity of Waterloo
models-2020-technical-track15:00 - 15:20
Full-paper
Katja TumaChalmers | University of Gothenburg, Laurens Sionimec-DistriNet, KU Leuven, Riccardo Scandariato, Koen Yskoutimec - DistriNet, KU Leuven
Pre-print
models-2020-technical-track15:20 - 15:40
Full-paper
models-2020-technical-track15:40 - 16:00
Full-paper
models-2020-technical-track16:00 - 16:10
Demonstration
Alessio Di Sandro, Gehan Selim, Sahar KokalyGeneral Motors, Torin Viger, Rick SalayUniversity of Toronto
Hide past events