类型
发表于 2025-3-30 11:24:13
Multilevel Runtime Security and Safety Monitoring for Cyber Physical Systems Using Model-Based Enginonitors at each level of processing and integration. In the proposed multi-level monitoring framework, some monitoring properties are formally defined using Event Calculus. We then demonstrate the need for multilevel monitors for faster detection and isolation of attacks by performing data attack and fault injection on a Simulink CPS model.
Prognosis
发表于 2025-3-30 16:23:49
https://doi.org/10.1007/978-3-030-55583-2artificial intelligence; computer hardware; computer networks; computer programming; computer science; co
圣人
发表于 2025-3-30 19:22:45
978-3-030-55582-5Springer Nature Switzerland AG 2020
食草
发表于 2025-3-30 21:37:52
https://doi.org/10.1007/978-1-349-22352-7r control them as malfunctions could be catastrophic. Fault Tree Analysis (FTA) is one of the most widely used methods for safety analysis in industrial use. However, the standard FTA is manual, informal, and limited to static analysis of systems. In this paper, we present preliminary results from a
流浪
发表于 2025-3-31 02:14:52
http://reply.papertrans.cn/24/2338/233747/233747_55.png
施魔法
发表于 2025-3-31 08:13:53
http://reply.papertrans.cn/24/2338/233747/233747_56.png