More Web Proxy on the site http://driver.im/

research-article

Integration of modeling and verification for system model based on KARMA language

Authors:

Michel Reniers,

Dimitris KiritsisAuthors Info & Claims

DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling

Pages 41 - 50

https://doi.org/10.1145/3486603.3486775

Published: 18 October 2021 Publication History

Abstract

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.

Supplementary Material

Auxiliary Presentation Video (splashws21dsmmain-p3-p-video.mp4)

This is a presentation video of my talk at DSM 2021 on our paper "Integration of Modeling and Verification for System Model Based on KARMA Language".

Download
146.82 MB

References

[1]

R. A. Luísa, F. J. Vasconcelos, B. Jaume, Model-based systems engineering: An emerging approach for modern systems, IEEE transactions on systems, man and cybernetics. 42 (1) (2012) 101–111. https://doi.org/10.1109/TSMCC.2011.2106495

Digital Library

[2]

B. Ronan, C. Mohammad, B. Jean-Michel, O. Iulian, Sysml models verification and validation in an industrial context: Challenges and experimentation, in: Modelling Foundations and Applications, Springer International Publishing, Cham, 2018, pp. 132–146. https://doi.org/10.1007/978-3-319-92997-2_9

[3]

A. Mounifah, N. Nan, S. Juha, Sysml modeling mistakes and their impacts on requirements, in: 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW), 2019, pp. 14–23. https://doi.org/10.1109/REW.2019.00010

[4]

H. Wang, G. Wang, J. Lu, C. Ma, Ontology supporting model-based systems engineering based on a gopprr approach, in: WorldCIST, 2019, pp. 426–436. https://doi.org/10.1007/978-3-030-16181-1_40

[5]

S. Kelly, J.P.Tolvanen, Domain-Specific Modeling: Enabling Full Code Generation, Wiley, 2008.

Digital Library

[6]

J. Lu, J. Ma, X. Zheng, G. Wang, K. Dimitris, Design ontology supporting model-based systems-engineering formalisms, IEEE Systems Journal 42 (1) (2021) 1–12. https://doi.org/10.1109/JSYST.2021.3106195

[7]

J. Lu, G. Wang, J. Ma, K. Dimitris, H. Zhang, T. Martin, General modeling language to support model-based systems engineering formalisms (part 1), in: INCOSE International Symposium, Vol. 30, 2020, pp. 323–338. https://doi.org/https://doi.org/10.1002/j.2334-5837.2020.00725.x

[8]

O. Samir, M. Otmane, D. Mourad, A formal verification framework for sysml activity diagrams, Expert Systems with Applications 41 (6) (2014) 2713–2728. https://doi.org/https://doi.org/10.1016/j.eswa.2013.10.064

Digital Library

[9]

H. Wang, D. Zhong, T. Zhao, F. Ren, Integrating model checking with sysml in complex system safety analysis, IEEE Access 7 (2019) 16561–16571. https://doi.org/10.1109/ACCESS.2019.2892745

[10]

E. Huang, L. F. McGinnis, S. W. Mitchel, Verifying sysml activity diagrams using formal transformation to petri nets, Systems Engineering 23 (1) (2020) 118–135. https://doi.org/https://doi.org/10.1002/sys.21524

[11]

M. Rahim, A. Hammad, M. Ioualalen, A methodology for verifying sysml requirements using activity diagrams, Innovations in Systems and Software Engineering 13 (1) (2017) 19–33. https://doi.org/https://doi.org/10.1007/ s11334-016-0281-y s11334-016-0281-y.

Digital Library

[12]

C. Dechsupa, W. Vatanawood, A. Thongtak, Transformation of the bpmn design model into a colored petri net using the partitioning approach, IEEE Access 6 (2018) 38421–38436. https://doi.org/10.1109/ACCESS.2018.2853669

[13]

J. Thomas, K. Aleksandr, P. Christiaan, Integrating models and simulations of continuous dynamics into sysml, Journal of Computing and Information Science in Engineering 38 (1) (2012) 122–129. https://doi.org/10.1115/1.4005452

[14]

Y. Cao, Y. Liu, H. Fan, B. Fan, Sysml-based uniform behavior modeling and automated mapping of design and simulation model for complex mechatronics, Computer-Aided Design 45 (3) (2013) 764–776. https://doi.org/https://doi.org/10.1016/j.cad.2012.05.001

Digital Library

[15]

O. M. Group, Action Language for Foundational UML (Alf), 2013.

[16]

O. M. Group, Meta Object Facility (MOF) 2.0 Core Specification, 2003.

[17]

D. Wang, H. Liang, J. Cu, Modeling and simulation of top-level design based on mbse, in: Journal of Physics: Conference Series, Vol. 1486, 2020, p. 072061. https://doi.org/10.1088/1742-6596/1486/7/072061

[18]

F. Goran, An introduction to hybrid automata, numerical simulation and reachability analysis, Formal Modeling and Verification of Cyber-Physical Systems (2015). https://doi.org/10.1007/978-3-658-09994-7_3

[19]

D. A. van Beek, W. J. Fokkink, D. Hendriks, A. Hofkamp, J. Markovski, J. M. van de Mortel-Fronczak, M. A. Reniers, Cif 3: Model-based engineering of supervisory controllers 8413 (2014) 575–580. https://doi.org/https://doi.org/10.1007/978-3-642-54862-8_48

[20]

Y. Chen, W. Li, Y. Guo, Y. Wu, Dynamic graph hybrid automata: A modeling method for traffic network (2015) 1396–1401 https://doi.org/https://doi.org/10.1109 / ITSC.2015.229. / ITSC.2015.229.

Digital Library

[21]

T. Parr, The Definitive ANTLR4 Reference, 2007.

Digital Library

Cited By

Cederbladh JCicchetti ASuryadevara J(2024)Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature ReviewACM Transactions on Software Engineering and Methodology10.1145/363197633:3(1-67)Online publication date: 15-Mar-2024
https://dl.acm.org/doi/10.1145/3631976
Hu ZChen JLu JZhang H(2024)Mission-Oriented Electrified Aircraft Propulsion System Design and Verification Using Model-Based Systems EngineeringJournal of Engineering for Gas Turbines and Power10.1115/1.4064411146:7Online publication date: 5-Feb-2024
https://doi.org/10.1115/1.4064411
Liu ZWang GMa JLu JDong M(2024)Mission Modeling for the Perseverance Rover Based on KARMA LanguageKnowledge and Systems Sciences10.1007/978-981-96-0178-3_14(198-212)Online publication date: 9-Nov-2024
https://doi.org/10.1007/978-981-96-0178-3_14
Show More Cited By

Index Terms

Integration of modeling and verification for system model based on KARMA language
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Model verification and validation
2. Software and its engineering
  1. Software notations and tools
    1. System description languages
      1. Integration frameworks

Recommendations

Comparison of dynamic system modeling methods

This paper compares state-equation models to state-machine models. It compares continuous system models to discrete system models. The examples were designed to be at the same level of abstraction. This paper models these systems with the following ...
Generating SysML views from an OPM model: Design and evaluation

Conceptual modeling is key to Model-Based Systems Engineering (MBSE) approaches. OPM (Object-Process Methodology) and SysML (OMG Systems Modeling Language) are two state-of-the-art conceptual modeling languages. While both languages aim at the same ...
From Manual to Machine-executable Model-based Systems Engineering via Graph-based Design Languages
MODELSWARD 2019: Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development

Today, Model-Based Systems Engineering (MBSE) is widely used in the successful design of complex systems in various industries. It intends to provide a complete description of the design process of complex systems in form of a V-Model or one of its ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling

October 2021

60 pages

ISBN:9781450391061

DOI:10.1145/3486603

Program Chairs:
Jeff Gray
University of Alabama, USA
,
Matti Rossi
Aalto University, Finland
,
Jonathan Sprinkle
Vanderbilt University, USA
,
Juha-Pekka Tolvanen
MetaCase, Finland

Copyright © 2021 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 October 2021

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SPLASH '21

Sponsor:

SIGPLAN

SPLASH '21: Software for Humanity

October 18, 2021

IL, Chicago, USA

Acceptance Rates

Overall Acceptance Rate 31 of 50 submissions, 62%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
313
Total Downloads

Downloads (Last 12 months)39
Downloads (Last 6 weeks)1

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Cederbladh JCicchetti ASuryadevara J(2024)Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature ReviewACM Transactions on Software Engineering and Methodology10.1145/363197633:3(1-67)Online publication date: 15-Mar-2024
https://dl.acm.org/doi/10.1145/3631976
Hu ZChen JLu JZhang H(2024)Mission-Oriented Electrified Aircraft Propulsion System Design and Verification Using Model-Based Systems EngineeringJournal of Engineering for Gas Turbines and Power10.1115/1.4064411146:7Online publication date: 5-Feb-2024
https://doi.org/10.1115/1.4064411
Liu ZWang GMa JLu JDong M(2024)Mission Modeling for the Perseverance Rover Based on KARMA LanguageKnowledge and Systems Sciences10.1007/978-981-96-0178-3_14(198-212)Online publication date: 9-Nov-2024
https://doi.org/10.1007/978-981-96-0178-3_14
Ma JWang GLu JZhu SChen JYan Y(2022)Semantic Modeling Approach Supporting Process Modeling and Analysis in Aircraft DevelopmentApplied Sciences10.3390/app1206306712:6(3067)Online publication date: 17-Mar-2022
https://doi.org/10.3390/app12063067
Zhang LYe FXie KGu PWang XLaili YZhao CZhang XChen MLin TChen Z(2022)An Integrated Intelligent Modeling and Simulation Language for Model-based Systems EngineeringJournal of Industrial Information Integration10.1016/j.jii.2022.10034728(100347)Online publication date: Jul-2022
https://doi.org/10.1016/j.jii.2022.100347
Zheng XHu XArista RLu JSorvari JLentes JUbis FKiritsis D(2022)A semantic-driven tradespace framework to accelerate aircraft manufacturing system designJournal of Intelligent Manufacturing10.1007/s10845-022-02043-735:1(175-198)Online publication date: 25-Oct-2022
https://dl.acm.org/doi/10.1007/s10845-022-02043-7
Cao YXie BWang JZheng XLu J(2022)3D Visualization Supporting Situational Awareness of Model-Based System of SystemsKnowledge and Systems Sciences10.1007/978-981-19-3610-4_8(113-127)Online publication date: 4-Jun-2022
https://doi.org/10.1007/978-981-19-3610-4_8

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents