Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering

Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

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.

Originele taal-2Engels
Titel2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's721-725
Aantal pagina's5
ISBN van elektronische versie979-8-3503-2498-3
DOI's
StatusGepubliceerd - 22 dec. 2023
Evenement2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C - Västerås, Zweden
Duur: 1 okt. 20236 okt. 2023

Congres

Congres2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C
Verkorte titelMODELS-C
Land/RegioZweden
StadVästerås
Periode1/10/236/10/23

Financiering

This work was partly funded by the AIDOaRt project, an ECSEL Joint Undertaking (JU) under grant agreement No. 101007350, and the PeTWIN (294600) and SIRIUS (237898) projects funded by the RCN.

FinanciersFinanciernummer
Réseau de cancérologie Rossy
Electronic Components and Systems for European Leadership101007350, 294600, 237898

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit