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

非决定性

书目名称Computer Safety, Reliability, and Security影响因子(影响力)




书目名称Computer Safety, Reliability, and Security影响因子(影响力)学科排名




书目名称Computer Safety, Reliability, and Security网络公开度




书目名称Computer Safety, Reliability, and Security网络公开度学科排名




书目名称Computer Safety, Reliability, and Security被引频次




书目名称Computer Safety, Reliability, and Security被引频次学科排名




书目名称Computer Safety, Reliability, and Security年度引用




书目名称Computer Safety, Reliability, and Security年度引用学科排名




书目名称Computer Safety, Reliability, and Security读者反馈




书目名称Computer Safety, Reliability, and Security读者反馈学科排名

忧伤

Using Process Models in System Assurance the process justifications required in assurance cases for critical systems. We use an example case study to illustrate an implementation of the approach. We describe the advantages that this approach brings for system assurance and the development of critical systems.

召集

Composition of Safety Argument Patternssatisfies certain desirable properties. Furthermore, we show that it is always possible to construct complex patterns by omposition in this way. We motivate this work with example patterns extracted from real aviation safety cases, and illustrate the application of the theory on the same.

打包

Isolate

Using STPA in an ISO 26262 Compliant Processl hazard analysis techniques. In this paper, we analyze how STPA can be used in an ISO 26262 compliant process. We also provide an excerpt of our application of STPA on an automotive subsystem as per the concept phase of ISO 26262.

Herd-Immunity

Automatic Invariant Selection for Online Anomaly Detectionse a general and automatic approach for identifying a subset of mined invariants that properly model system runtime behavior with a reduced amount of background noise. This translates into better overall performance (i.e., less false positives).

Herd-Immunity

0302-9743 iability, and Security, SAFECOMP 2016, held 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, anom

Nostalgia

Linkage Between Stratigraphyand Hydrology,security of one of the most used industrial protocols: OPC-UA. Using ProVerif, a well known cryptographic protocol verification tool, we are able to check secrecy and authentication properties. We find several attacks on the protocols and provide countermeasures.

debase

epinephrine