Towards digital twin-enabled DevOps for CPS providing architecture-based service adaptation & verification at runtime
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 …
providing access to cyber-physical systems'(CPS) capabilities. The design of such systems …
[PDF][PDF] Object system layer
In diesem Papier erläutern wir einige Probleme der Komponierung, Konfiguration und
Adaptierung von heterogenen Software-Komponenten. Einige bekannte Pattern können …
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
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 …
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 …
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 …
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 …
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 …
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 …
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 …
implement tactics that improve fault tolerance. Information about how the implementation of …
Architecting fault tolerance with exception handling: Verification and validation
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 …
not originally designed to interact with each other, it is likely the occurrence of architectural …