Symbolic Reasoning for Early Decision-Making in Model-Based Systems EngineeringShow others and affiliations
2023 (English)In: Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023, Institute of Electrical and Electronics Engineers Inc. , 2023, p. 721-725Conference paper, Published paper (Refereed)
Abstract [en]
Hardware-intensive engineering domains are undergoing a paradigm shift toward digitalization. This is caused by increased technological advances in conjunction with stricter regulations on sustainability, while customer satisfaction and market competitiveness need to be achieved. In domains such as construction equipment and railway, strong foundations of Systems Engineering exist for development and management of products. With the advent of digitalization, Model-based Systems Engineering (MBSE) is increasingly seeing interest and industrial adoption. An expected benefit of an MBSE approach is the analysis capabilities early on in systems development. This is enabled by full-system models that can assist in early-stage design decision-making. This paper discusses how symbolic reasoning may facilitate knowledge reuse and support automation of design decisions based on previous development efforts and experiments. We situate this contribution in a typical industrial MBSE process and highlight its potential use and implementation.
Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc. , 2023. p. 721-725
Keywords [en]
Early phase, MBSE, Symbolic reasoning
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:mdh:diva-65685DOI: 10.1109/MODELS-C59198.2023.00117ISI: 001137051500097Scopus ID: 2-s2.0-85182398025ISBN: 9798350324983 (print)OAI: oai:DiVA.org:mdh-65685DiVA, id: diva2:1830864
Conference
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS-C 2023, Vasteras, 1 October 2023 through 6 October 2023
2024-01-242024-01-242025-10-10Bibliographically approved