Design patterns are an established approach for reusing knowledge about good solutions to
recurring problems. Patterns can be seen as a way of describing the best practices, and …

Fault analysis and resolution of faults should be part of any end-to-end system development
process. This paper is concerned with developing a formal transformation method that maps …

Today, software systems tend to be split into multiple components that can operate, both,
autonomously and in a networked way, in order to pursue a common objective. Such a …

Systems of Systems exhibit characteristics that pose difficulty in modelling and predicting
their overall performance capabilities, including the presence of operational independence …

Modern automotive vehicles represent one category of CPS (Cyber-Physical Systems) that
are inherently time-and safety-critical. To justify the actions for quality-of-service adaptation …

A key challenge in System of Systems (SoS) engineering is the analysis and maintenance of
global properties under SoS evolution, and the integration of new constituent elements …

SysML is a UML-based graphical notation for systems engineering that is becoming a de
facto standard. Whilst it reuses a number of UML diagrams, it introduces new diagrams, and …

New mobility solutions can be characterized as a System of Systems (SoS). SoS
characteristics such as emergent system behavior and the operational and managerial …

Modeling and specifying correct software systems is a challenging task that can be
supported by providing appropriate modeling abstractions. This article proposes an …

Safety-critical systems may fail dangerously with severe consequences to the health of the
involved humans, costly equipment, the environment, or other valuable assets of a …