SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Mon 18 Oct 2021 11:10 - 11:30 at Zurich F - Verification and validation, Tooling Chair(s): Matti Rossi

Model-based systems engineering (MBSE) enables to verify the system performance using system behavior models, which can identify design faults that do not meet the stakeholders’ requirements as early as possible, thus reducing the R&D cost and error risks. Currently, different domain engineers make use of different modeling languages to create their own behavior models. Different behavior models are verified by different approaches. It is difficult to adopt a unified integrated platform to support the modeling and verification of heterogeneous behavior models during the conceptual design phase. This paper proposes a unified modeling and verification approach supporting system formalisms and verification. The KARMA language is used to support the unified formalisms across MBSE models and dynamic simulations for different domain specific models. In order to describe the behavior model more precisely and to facilitate verification, the syntax of hybrid automata is integrated into KARMA. We implemented behavior models and their verification in MetaGraph, a multi-architecture modeling tool. Finally, the effectiveness of the proposed approach is validated by two cases: 1) the scenario of booking railway tickets using BPMN models; 2) the behavior performance simulation of unmanned vehicles using a SysML state machine diagram.

Mon 18 Oct

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

10:50 - 12:10
Verification and validation, ToolingDSM at Zurich F
Chair(s): Matti Rossi Aalto University School of Business

Verification and validation with DSM, Tool development, Workshop summary and discussion

10:50
20m
Talk
Co-designing DSL Quality Assurance Measures for and with Non-programming Experts
DSM
Holger Borum IT University of Copenhagen, Christoph Seidl IT University of Copenhagen, Peter Sestoft IT University of Copenhagen
DOI
11:10
20m
Talk
Integration of Modeling and Verification for System Model Based on KARMA Language
DSM
Jie Ding Beijing Institute of Technology, Michel Reniers Eindhoven University of Technology, Jinzhi Lu EPFL, Guoxin Wang Beijing Institute of Technology, Lei Feng KTH, Dimitris Kiritsis EPFL
DOI
11:30
20m
Talk
Differential-FORMULA: Towards a Semantic Backplane for Incremental Modeling
DSM
Qishen Zhang Vanderbilt University, Daniel Balasubramanian Vanderbilt University, Tamas Kecskes Vanderbilt University, Janos Sztipanovits Vanderbilt University
DOI
11:50
20m
Other
Discussion and summary
DSM
Jonathan Sprinkle University of Arizona, Matti Rossi Aalto University School of Business, Jeff Gray University of Alabama, Juha-Pekka Tolvanen MetaCase