Write a Blog >>
MODELS 2021
Sun 10 - Sat 16 October 2021
Thu 14 Oct 2021 17:40 - 17:50 at Room 1 - Certification and Assurance II Chair(s): Ileana Ober

The development of cyber-physical systems can significantly benefit from domain-specific modeling and requires adequate (meta)-modeling frameworks. If such systems are designed for the safety-critical area, the systems must undergo qualification processes defined and monitored by a certification authority. To use the resulting artifacts of modeling tools without further qualification activities, the modeling tool must be additionally qualified. Tool qualification has to be conducted by the tool user and can be assisted by the tool developer by providing qualification artifacts. However, state-of-the-art domain-specific modeling frameworks barely support the user in the qualification process, which results in extensive manual effort. To reduce this effort and to avoid modeling constructs that can hardly be implemented in a qualifiable way, we propose the development of an open source (meta)-modeling framework that inherently considers qualification issues. Based on the functionality of existing frameworks, we have identified components that necessarily need to be rethought or changed. This leads to the consideration of the following six cornerstones for our framework: (1) a reduced meta-language, (2) a minimal runtime, (3) deterministic transformations, (4) a qualification artifact generation, (5) a sophisticated visualization, and (6) a decoupled interaction of framework components. All these cornerstones consider the aspect of a safety-critical (meta)-modeling framework in their own manner. This combination leads to a holistic framework usable in the safety-critical system development domain.

Thu 14 Oct

Displayed time zone: Osaka, Sapporo, Tokyo change

17:00 - 18:00
Certification and Assurance IITechnical Papers at Room 1
Chair(s): Ileana Ober University of Toulouse
17:00
20m
Talk
Multi-Paradigm Modelling for Cyber-Physical Systems: A Descriptive FrameworkJ1ST
Technical Papers
Moussa Amrani University of Namur, Dominique Blouin LTCI Lab, Telecom Paris, Institute Politechnqie de Paris, Robert Heinrich , Arend Rensink University of Twente, The Netherlands, Hans Vangheluwe University of Antwerp and McGill University, A W
17:20
20m
Talk
Guaranteed master for interval-based cosimulationJ1ST
Technical Papers
17:40
10m
Short-paper
A Concept for a Qualifiable (Meta)-Modeling Framework Deployable in Systems and Tools of Safety-critical and Cyber-physical EnvironmentsVISION
Technical Papers
Vanessa Tietz University of Stuttgart, Germany, Julian Schoepf , Andreas Waldvogel University of Stuttgart, Germany, Bjoern Annighoefer University of Stuttgart
Pre-print