@inproceedings{3614e500b55f45938303a0ad2338587a,
title = "Towards Model Driven Safety and Security by Design",
abstract = "Software is getting more and more complex, while it gets more and more important to make it safe and secure. At the sametime, the expectations towards the software developers increase and it is unrealistic that they are able to cope properly with allsafety and security requirements. To enable developers to focus on the important parts of the system, model driven softwaredevelopment got widely adopted. Within this work, we extend this approach by proposing an architecture, which allows toautomatize the analysis of the safety and security properties of the system under design. After the analysis of the system,feedback will be provided to the developers so that they are able to reason about the design decisions that they recently made.To discuss our approach, we rely on a model driven approach for drone mission planning and envision how the differentcomponents of the architecture would need to interact.",
keywords = "Model-based analysis, Safety and security, model-driven development, Cyber physical system, model checking, simulation and modeling, Threat modeling",
author = "Miguel Campusano and Simon Hacks and Kang, {Eun Young}",
year = "2022",
month = dec,
day = "6",
language = "English",
volume = "3330",
series = "CEUR Workshop Proceedings",
publisher = "CEUR Workshop Proceedings",
pages = "34--41",
booktitle = "Proceedings of the 10th International Workshop on Quantitative Approaches to Software Quality",
note = "10th international workshop on Quantitative Approaches to Software Quality (QuASoQ 2022) ; Conference date: 06-12-2022",
}