Towards model co-evolution across self-adaptation steps for combined safety and security analysis-Reference-Cited by-同舟云学术

Towards model co-evolution across self-adaptation steps for combined safety and security analysis

Published:2022-05-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems
language:
Short-container-title:

Author:

Witte Thomas¹,Groner Raffaela¹,Raschke Alexander¹,Tichy Matthias¹,Pekaric Irdin²,Felderer Michael²

Affiliation:

1. Ulm University, Germany

2. University of Innsbruck, Austria

Funder

DFG

FWF

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3524844.3528062

Reference29 articles.

1. Étienne André , Didier Lime , Mathias Ramparison , and Mariëlle Stoelinga . 2019. Parametric analyses of attack-fault trees. CoRR abs/1902.04336 ( 2019 ). arXiv:1902.04336 http://arxiv.org/abs/1902.04336 Étienne André, Didier Lime, Mathias Ramparison, and Mariëlle Stoelinga. 2019. Parametric analyses of attack-fault trees. CoRR abs/1902.04336 (2019). arXiv:1902.04336 http://arxiv.org/abs/1902.04336

2. Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformations

3. Mechanisms for Leveraging Models at Runtime in Self-adaptive Software

4. Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation

5. Runtime Equilibrium Verification for Resilient Cyber-Physical Systems

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Towards an Uncertainty-aware Decision Engine for Proactive Self-Protecting Software;2023 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C);2023-09-25

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 Distributed MAPE-K Framework for Self-Protective IoT Devices;2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS);2023-05

4. Model-Based Generation of Attack-Fault Trees;Lecture Notes in Computer Science;2023

5. Simulation of Sensor Spoofing Attacks on Unmanned Aerial Vehicles using the Gazebo Simulator;2022 IEEE 22nd International Conference on Software Quality, Reliability, and Security Companion (QRS-C);2022-12