Towards digital twin-enabled DevOps for CPS providing architecture-based service adaptation & verification at runtime

J Dobaj, A Riel, T Krug, M Seidl, G Macher… - Proceedings of the 17th …, 2022 - dl.acm.org
Background: Industrial Product-Service Systems (IPSS) denote a service-oriented way of
providing access to cyber-physical systems'(CPS) capabilities. The design of such systems …

[PDF][PDF] Object system layer

M Goedicke, G Neumann, U Zdun - 2000 - eprints.cs.univie.ac.at
In diesem Papier erläutern wir einige Probleme der Komponierung, Konfiguration und
Adaptierung von heterogenen Software-Komponenten. Einige bekannte Pattern können …

Towards cyber-physical infrastructure as-a-service (CPIaaS) in the era of industry 4.0

J Dobaj, M Krisper, G Macher - … 2019, Edinburgh, UK, September 18–20 …, 2019 - Springer
The crucial role of resilience and interoperability in today's highly dynamic cyber-physical
systems (CPSs), where (timely) human intervention is limited, calls for a holistic vision that …

Incorporating fault tolerance tactics in software architecture patterns

NB Harrison, P Avgeriou - Proceedings of the 2008 RISE/EFTS Joint …, 2008 - dl.acm.org
One important way that an architecture impacts fault tolerance is by making it easy or hard to
implement measures that improve fault tolerance. Many such measures are described as …

Formal development and assessment of a reconfigurable on-board satellite system

A Tarasyuk, I Pereverzeva, E Troubitsyna… - … Safety, Reliability, and …, 2012 - Springer
Ensuring fault tolerance of satellite systems is critical for achieving goals of the space
mission. Since the use of redundancy is restricted by the size and the weight of the on-board …

Web service compensation at runtime: formal modeling and verification using the event-b refinement and proof based formal method

G Babin, Y Ait-Ameur, M Pantel - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
One of the key interests in web services is the ability to compose them in order to build more
powerful and complex ones running in an interoperable and distributed setting. Several …

Executing reconfigurations in hierarchical component architectures

C Heinzemann, S Becker - Proceedings of the 16th International ACM …, 2013 - dl.acm.org
Mechatronic systems reconfigure the structure of their software architecture, eg, to avoid
hazardous situations or to optimize operational conditions like minimizing their energy …

Transactional execution of hierarchical reconfigurations in cyber-physical systems

C Heinzemann, S Becker, A Volk - Software & Systems Modeling, 2019 - Springer
Cyber-physical systems reconfigure the structure of their software architecture, eg, to avoid
hazardous situations and to optimize operational conditions like their energy consumption …

On the impact of fault tolerance tactics on architecture patterns

NB Harrison, P Avgeriou, U Zdun - … of the 2nd International Workshop on …, 2010 - dl.acm.org
One important way that an architecture impacts fault tolerance is by making it easy or hard to
implement tactics that improve fault tolerance. Information about how the implementation of …

Architecting fault tolerance with exception handling: Verification and validation

PHS Brito, R De Lemos, CMF Rubira… - Journal of Computer …, 2009 - Springer
When building dependable systems by integrating untrusted software components that were
not originally designed to interact with each other, it is likely the occurrence of architectural …