Abstract
In recent years it has become more and more evident that openness and adaptivity are key characteristics of next-generation distributed systems. The reason for this is not least due to the advent of computing trends like ubiquitous computing, ambient intelligence, and cyber-physical systems, where systems are usually open for dynamic integration and able to react adaptively to changing situations. Despite being open and adaptive, it is a common requirement for such systems to be safe. However, traditional safety assurance techniques, both state-of-the-practice and state-of-the-art ones, are not sufficient in this context. We have recently developed some initial solution concepts based on conditional safety certificates and corresponding runtime analyses. In this article we show how to operationalize these concepts. To this end, we present in detail how to specify conditional safety certificates, how to transform them into suitable runtime models, and how these models finally support dynamic safety evaluations.
Funder
European Regional Development Fund
State of Rhineland-Palatinate
Publisher
Association for Computing Machinery (ACM)
Subject
Software,Computer Science (miscellaneous),Control and Systems Engineering
Cited by
61 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Towards the Concept of Trust Assurance Case;2023 IEEE/ACM 5th International Workshop on Robotics Software Engineering (RoSE);2023-05
2. Hazard Analysis for Self-Adaptive Systems Using System-Theoretic Process Analysis;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05
3. A Security-Enabled Safety Assurance Framework for IoT-Based Smart Homes;IEEE Transactions on Industry Applications;2023-01
4. Structuring Research Related to Dynamic Risk Management for Autonomous Systems;Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops;2023
5. Paired Safety Rule Structure for Human-Machine Cooperation with Feature Update and Evolution;Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops;2023