A comprehensive technological survey on the dependable self-management CPS: From self-adaptive architecture to self-management strategies
P Zhou, D Zuo, KM Hou, Z Zhang, J Dong, J Li, H Zhou - Sensors, 2019 - mdpi.com
Cyber Physical Systems (CPS) has been a popular research area in the last decade. The
dependability of CPS is still a critical issue, and few surveys have been published in this …
dependability of CPS is still a critical issue, and few surveys have been published in this …
WiP: A novel blockchain-based trust model for cloud identity management
Secure and reliable management of identities has become one of the greatest challenges
facing cloud computing today, mainly due to the huge number of new cloud-based …
facing cloud computing today, mainly due to the huge number of new cloud-based …
[PDF][PDF] The interpretation and evaluation of assurance cases
J Rushby - Comp. Science Laboratory, SRI International, Tech …, 2015 - csl.sri.com
Assurance cases are a method for providing assurance for a system by giving an argument
to justify a claim about the system, based on evidence about its design, development, and …
to justify a claim about the system, based on evidence about its design, development, and …
[HTML][HTML] A systematic review on security and safety of self-adaptive systems
Context: Cyber–physical systems (CPS) are increasingly self-adaptive, ie they have the
ability to introspect and change their behavior. This self-adaptation process must be …
ability to introspect and change their behavior. This self-adaptation process must be …
Towards safety-awareness and dynamic safety management
M Trapp, D Schneider, G Weiss - 2018 14th European …, 2018 - ieeexplore.ieee.org
Future safety-critical systems will be highly automated or even autonomous and they will
dynamically cooperate with other systems as part of a comprehensive ecosystem. This …
dynamically cooperate with other systems as part of a comprehensive ecosystem. This …
Adaptive autonomy in human-on-the-loop vision-based robotics systems
Computer vision approaches are widely used by autonomous robotic systems to sense the
world around them and to guide their decision making as they perform diverse tasks such as …
world around them and to guide their decision making as they perform diverse tasks such as …
A conceptual safety supervisor definition and evaluation framework for autonomous systems
P Feth, D Schneider, R Adler - … 2017, Trento, Italy, September 13-15, 2017 …, 2017 - Springer
The verification and validation (V&V) of autonomous systems is a complex and difficult task,
especially when artificial intelligence is used to achieve autonomy. However, without proper …
especially when artificial intelligence is used to achieve autonomy. However, without proper …
A component framework for the runtime enforcement of safety properties
Safety assurance of a complex system cannot be completely ensured at
design/development time since most uncertainties and unknowns are revealed when the …
design/development time since most uncertainties and unknowns are revealed when the …
B-space: dynamic management and assurance of open systems of systems
D Schneider, M Trapp - Journal of Internet Services and Applications, 2018 - Springer
Connected cars, freely configurable operating rooms, or autonomous harvesting fleets:
dynamically emerging open systems of systems will shape a new generation of systems …
dynamically emerging open systems of systems will shape a new generation of systems …
A paradigm for safe adaptation of collaborating robots
The dynamic forces that transit back and forth traditional boundaries of system development
have led to the emergence of digital ecosystems. Within these, business gains are achieved …
have led to the emergence of digital ecosystems. Within these, business gains are achieved …