Integrating the technical level into a model-based safety and security analysis : why it's necessary and how it can be done

Fröschle, Sibylle B.Sibylle B.Fröschle2025-10-162025-10-162025-09-0544th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2025https://hdl.handle.net/11420/58058We motivate why it is necessary to integrate the technical level into a model-based safety and security analysis on the dynamical system level, and show how this can be done.enSecurity analysisSafetyModel-basedCyber-physical systemsNetwork AttacksAttack Detection and MitigationComputer Science, Information and General Works::005: Computer Programming, Programs, Data and SecurityIntegrating the technical level into a model-based safety and security analysis : why it's necessary and how it can be doneConference Paperhttps://ens.hal.science/SAFECOMP2025/hal-05242073v1Conference Paper