Titlebook: Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops; DECSoS 2020, DepDevO António Casimiro,Frank Ortmeier,Pedro Ferreira Co

類型

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

https://doi.org/10.1007/978-3-030-55583-2artificial intelligence; computer hardware; computer networks; computer programming; computer science; co

圣人

978-3-030-55582-5Springer Nature Switzerland AG 2020

食草

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

流浪

施魔法