Modeling aspects of dynamically reconfigurable system of systems

AD Hristozov, ET Matson - Conference on Systems Engineering Research, 2023 - Springer
Dynamic reconfiguration is challenging, especially for a system of systems (SoS), although it
is necessary given the nature and amount of change these systems undergo. SoS has …

Contract-based methods and activities in the validation of interfaces for System of Systems

M Wäschle, M Behrendt, K Xing, H Shi… - … Conference of System …, 2021 - ieeexplore.ieee.org
One of the key challenges in System of Systems Engineering is the validation of System of
Systems (SoS). In a SoS the interfaces between the systems need to be defined as early as …

A formal language for modelling and verifying systems-of-systems software architectures

A Seghiri, F Belala, N Hameurlain - International journal of systems …, 2022 - igi-global.com
Abstract Systems of systems (SoS) are a set of independent systems that are constantly
evolving. These systems cooperate in order to achieve a common goal, known as an SoS …

Approaching Smart Interface Specifications in the Systems of Systems Context

R Schüssler, F Balduf, M Becker - Tag des Systems Engineering …, 2023 - books.google.com
The rapid growth and distributed nature of complex systems pose challenges to their
integration and functioning. Moreover, to achieve sustainability objectives and future goals …

Towards verification of constituent systems through automated proof

LD Couto, S Foster, R Payne - arXiv preprint arXiv:1404.7792, 2014 - arxiv.org
This paper explores verification of constituent systems within the context of the Symphony
tool platform for Systems of Systems (SoS). Our SoS modelling language, CML, supports …

A methodological framework for model-based self-management of services and components in dependable cyber-physical systems

DJ Chen, Z Lu - Advances in Dependability Engineering of Complex …, 2018 - Springer
Modern automotive vehicles featuring ADAS (Advanced Driving Assistant Systems) and AD
(Autonomous Driving) represent one category of dependable CPS (Cyber-Physical …

Development of an integrated validation environment for System of Systems in the context of V2X using the XiL-Approach

M Wäschle, Y Jiang, M Behrendt… - 2020 IEEE 15th …, 2020 - ieeexplore.ieee.org
Transport networking (also Vehicle-to-Everything (V2X)) can be regarded as a System of
Systems (SoS). For validation purposes, the specific properties of the SoS must be taken into …

Systems Modeling Language viewpoint utilization to facilitate shared mental models among system stakeholders

LD Thomas, E Patterson - Systems Research and Behavioral …, 2020 - Wiley Online Library
Mental models are a vital part of complex engineered system design and operations and
contribute to either success or failure in both system development and operations. This …

A refinement-based approach for specifying multi-scale software architectures: application to sos

I Khlif, I Tounsi, MH Kacem, C Eichler… - Proceedings of the 33rd …, 2018 - dl.acm.org
Specifying correct software-intensive Systems of Systems architectures is a challenging
research direction requiring new modeling abstractions and techniques. For this purpose …

Modeling Aspects of Dynamically Reconfigurable System of Systems Check for updates

AD Hristozov, ET Matson - … of the 2023 Conference on Systems …, 2024 - books.google.com
Dynamic reconfiguration is challenging, especially for a system of systems (SOS), although it
is necessary given the nature and amount of change these systems undergo. SoS has …