Titlebook: Computer Safety, Reliability, and Security; 35th International C Amund Skavhaug,Jérémie Guiochet,Friedemann Bitsch Conference proceedings 2

heckle

虚假

Integrate

vasculitis

Towards Modelling Adaptive Fault Tolerance for Resilient Computing Analysisand functionalities reasons, over-the-air updates are very attractive for embedded systems manufacturers in many application domains. The challenge here is to maintain dependability properties when facing changes. This is exactly the definition of resilient computing we consider in this work. The im

MANIA

Automatic Invariant Selection for Online Anomaly Detectionbe used to detect anomalies at runtime. However, this approach does not scale to large systems, as the number of invariants quickly grows with the number of considered metrics. The resulting “background noise” for the invariant-based detection system hinders its effectiveness. In this paper we propo

cyanosis

间谍活动

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233720.jpg

阻挠

https://doi.org/10.1007/978-3-319-45477-1cloud computing; cybersecurity; formal verification; human-robot collaboration; safety analysis; anomaly

Osteons

978-3-319-45476-4Springer International Publishing Switzerland 2016

废墟

Conference proceedings 2016 in Trondheim, Norway, in September 2016. The 24 revised full papers presented were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on fault injection, safety assurance, formal verification, automotive, anomaly detection and resilience, cyber security, fault trees, and safety analysis.