Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures

Rumpe, Bernhard; Wortmann, Andreas

doi:10.1007/978-3-319-95246-8_23

Cited by 4 publications

(4 citation statements)

References 39 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We illustrated a rather simplistic example for Object Orientation (with single vs. multiple inheritance). This is subject to ongoing work and might relate to the notion of model types [17,30] for the structure of formalisms and to the notion of semantic refinement [60] for the behaviour specified in workflows.…”

Section: Discussionmentioning

confidence: 99%

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

et al. 2021

Self Cite

View full text Add to dashboard Cite

The complexity of cyber–physical systems (CPSs) is commonly addressed through complex workflows, involving models in a plethora of different formalisms, each with their own methods, techniques, and tools. Some workflow patterns, combined with particular types of formalisms and operations on models in these formalisms, are used successfully in engineering practice. To identify and reuse them, we refer to these combinations of workflow and formalism patterns as modelling paradigms. This paper proposes a unifying (Descriptive) Framework to describe these paradigms, as well as their combinations. This work is set in the context of Multi-Paradigm Modelling (MPM), which is based on the principle to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s) and workflows. The purpose of the Descriptive Framework presented in this paper is to serve as a basis to reason about these formalisms, workflows, and their combinations. One crucial part of the framework is the ability to capture the structural essence of a paradigm through the concept of a paradigmatic structure. This is illustrated informally by means of two example paradigms commonly used in CPS: Discrete Event Dynamic Systems and Synchronous Data Flow. The presented framework also identifies the need to establish whether a paradigm candidate follows, or qualifies as, a (given) paradigm. To illustrate the ability of the framework to support combining paradigms, the paper shows examples of both workflow and formalism combinations. The presented framework is intended as a basis for characterisation and classification of paradigms, as a starting point for a rigorous formalisation of the framework (allowing formal analyses), and as a foundation for MPM tool development.

show abstract

Section: Discussionmentioning

confidence: 99%

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

et al. 2021

Self Cite

View full text Add to dashboard Cite

show abstract

“…It is also noteworthy that we have used the mathematical concept of streams (e.g., [BS01,RR11] also discussed in [RW18]) and various extensions including automata [Rum96] as semantic basis for the kind of systems, we have in focus: distributed, asynchronously communicating agents, which can be regarded as active objects. We illustrate our state machine formalism and its stream-based composition in Section 2.13.…”

Section: Streams and Automata As Semantic Foundationmentioning

confidence: 99%

“…The complexity and heterogeneity of CPS introduces a wide conceptual gap between problem and solution domains. Model-driven engineering of such systems can decrease this gap by using models as abstractions and thus facilitate a more efficient development of robust CPS [RW18].…”

Section: Cyber-physical Systems (Cps)mentioning

confidence: 99%

Innovations in Model-based Software And Systems Engineering.

Hölldobler¹,

Michael²,

Ringert³

et al. 2019

JOT

Self Cite

View full text Add to dashboard Cite

Engineering software and software intensive systems has become increasingly complex over the last decades. In the ongoing digitalization of all aspects of our lives in almost every domain, including, e.g., mechanical engineering, electrical engineering, medicine, entertainment, or jurisdiction, software is not only used to enable low-level controls of machines, but also to understand system conditions and optimizations potentials.To remain in control of all these heterogeneous systems of systems, a precise, but abstract understanding of these systems is necessary. To this end, models in their various forms are an important prerequisite to gain this understanding.In this article, we summarize research activities focusing on the development and use of models in software and systems engineering. This research has been carried out by the working group of Bernhard Rumpe, which started 25 years ago in Munich, continued in Braunschweig, and since 10 years carries on at RWTH Aachen University.

show abstract

“…Thereby, it facilitates higher consistencies between abstraction layers by construction, which is most valuable to the iterative, incremental, and evolutionary agile development projects in automotive engineering. Building upon formal semantics, the diagrams enable further systematic validations such as (1) backward compatibility checking for software maintenance and evolution between different diagram versions of the same layer as well as (2) refinement checking between diagrams of different layers for the detection of interlayer specification inconsistencies. In turn, consistent requirements and models enable a stable generative development process, which facilitates systematic test case creation and guarantees that tests are meaningful and synchronized with the overall system.…”

Section: Preliminariesmentioning

confidence: 99%

SMArDT modeling for automotive software testing

et al. 2018

Self Cite

View full text Add to dashboard Cite

Summary Efficient testing is a crucial prerequisite to engineer reliable automotive software successfully. However, manually deriving test cases from ambiguous textual requirements is costly and error‐prone. Model‐based software engineering captures requirements in structured, comprehensible, and formal models, which enables early consistency checking and verification. Moreover, these models serve as an indispensable basis for automated test case derivation. To facilitate automated test case derivation for automotive software engineering, we conducted a survey with testing experts of the BMW Group and conceived a method to extend the BMW Group's specification method for requirements, design, and test methodology by model‐based test case derivation. Our method is realized for a variant of systems modeling language activity diagrams tailored toward testing automotive software and a model transformation to derive executable test cases. Hereby, we can address many of the surveyed practitioners' challenges and ultimately facilitate quality assurance for automotive software.

show abstract

Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures

Cited by 4 publications

References 39 publications

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

Multi-paradigm modelling for cyber–physical systems: a descriptive framework

Innovations in Model-based Software And Systems Engineering.

SMArDT modeling for automotive software testing

Contact Info

Product

Resources

About