You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

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

Fulltext:


Authors:

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

Publication Type:

Conference/Workshop Paper

Venue:

ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems

Abstract

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.

Bibtex

@inproceedings{Cederbladh6807,
author = {Johan Cederbladh and Loek Cleophas and Eduard Kamburjan and Lucas Lima and Hans Vangheluwe},
title = {Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering},
month = {October},
year = {2023},
booktitle = {ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems},
url = {http://www.es.mdu.se/publications/6807-}
}