集合 发表于 2025-3-27 00:09:05

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

咽下 发表于 2025-3-27 05:02:15

: 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 发表于 2025-3-27 06:41:27

http://reply.papertrans.cn/24/2338/233726/233726_33.png

毕业典礼 发表于 2025-3-27 11:40:35

http://reply.papertrans.cn/24/2338/233726/233726_34.png

细丝 发表于 2025-3-27 14:47:46

http://reply.papertrans.cn/24/2338/233726/233726_35.png

红肿 发表于 2025-3-27 19:11:17

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 发表于 2025-3-27 22:54:42

http://reply.papertrans.cn/24/2338/233726/233726_37.png

反复拉紧 发表于 2025-3-28 05:38:51

http://reply.papertrans.cn/24/2338/233726/233726_38.png

Folklore 发表于 2025-3-28 06:50:11

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

最小 发表于 2025-3-28 13:57:53

http://reply.papertrans.cn/24/2338/233726/233726_40.png
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Computer Safety, Reliability, and Security; 41st International C Mario Trapp,Francesca Saglietti,Friedemann Bitsch Conference proceedings 2