| 1. |
- Cederbladh, Johan, et al.
(author)
-
Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering
- 2023
-
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.. - 9798350324983 ; , s. 721-725
-
Conference paper (peer-reviewed)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.
|
|
| 2. |
- Gurov, Dilian, 1964-, et al.
(author)
-
Who Carries the Burden of Modularity? : Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification
- 2020
-
In: Leveraging Applications of Formal Methods, Verification and Validation. - Cham : Springer Nature. ; , s. 3-21
-
Conference paper (peer-reviewed)abstract
- Modularity and compositionality in verification frameworks occur within different contexts: the model that is the verification target, the specification of the stipulated properties, and the employed verification principle. We give a representative overview of mechanisms to achieve modularity and compositionality along the three mentioned contexts and analyze how mechanisms in different contexts are related. In many verification frameworks one of the contexts carries the main burden. It is important to clarify these relations to understand the potential and limits of the different modularity mechanisms.
|
|
