Titlebook: Computer Safety, Reliability, and Security; 41st International C Mario Trapp,Francesca Saglietti,Friedemann Bitsch Conference proceedings 2

集合

On the?Feasibility and?Performance of?Secure OPC UA Communication with?IIoT Devicesdapting a lightweight cryptographic library to the peculiarities of OPC?UA. To investigate under which conditions secure OPC?UA communication is realizable, the runtime overhead, memory footprint, and power consumption are evaluated and discussed for various usage scenarios. The evaluation reveals c

咽下

: Model-Derived Simulation-Assisted ISA-Level Fault-Injection PlatformsRISC-V) and one newly introduced (AVR) Sail models, we use the Sail toolchain to derive emulators that we combine with the FAIL* framework into multiple new FI platforms. Furthermore, we extend Sail to automatically introduce bit-wise dynamic register tracing into the emulator, which enables us to h

vanquish

畢業(yè)典禮

細(xì)絲

紅腫

Data-Driven Inference of?Fault Tree Models Exploiting Symmetry and?Modularizationolutionary algorithms to learn a compact FT matching the input data. . achieves scalability by leveraging two common phenomena in FTs: (i) We automatically identify symmetries in the failure data set, learning symmetric FT parts only once. (ii) We partition the input data into independent modules, s

thwart

反復(fù)拉緊

Folklore

Generating Assurance Cases Using Workflow, Modelsy in an assurance case. In previous work we introduced Workflow., a model-based framework for modelling the processes and work products in both the development and safety assurance life cycles. WF. metamodels not only serve as templates that guide the development of a safe system, they also facilita

最小