dandruff 发表于 2025-3-25 05:14:26

Modular Safety Cases for Product Lines Based on Assume-Guarantee Contractstracts. The proposed safety-case architecture is analyzed against possible product-line changes and it is shown that it is robust both with respect to fine and coarse-grained, and also product and implementation-level changes. The proposed modular safety case is exemplified on a simplified, but real

扫兴 发表于 2025-3-25 10:26:10

A Survey on the Applicability of Safety, Security and Privacy Standards in Developing Dependable Sys security engineering are not widely used at the moment, or practitioners are not aware of this feature. For privacy engineering, the availability and usage of standards, analysis methodologies and software tools are relatively weaker than for safety and security, reflecting the fact that privacy en

割让 发表于 2025-3-25 11:59:33

Increasing Safety of Neural Networks in Medical Devicese used in order to both increase safety and reliability of a neural network in a medical device. We use a combination of online and offline tests to detect undesired behavior. Online tests are performed in regular intervals during therapy and offline tests are performed when the device is not perfor

纺织品 发表于 2025-3-25 19:09:21

Automotive Cybersecurity Standards - Relation and Overviewhed and published a committee draft of the “ISO-SAE Approved new Work Item (AWI) 21434 Road Vehicles - Cybersecurity Engineering” standard. In addition to that SAE is also working on a set of cybersecurity guidance, ISO is addressing specific automotive cybersecurity related topics in additional sta

Adjourn 发表于 2025-3-25 21:59:14

http://reply.papertrans.cn/24/2338/233729/233729_25.png

花束 发表于 2025-3-26 00:38:32

Primary Production in the Indian Ocean Ins of safety-critical systems development. We investigate how STAMP and STPA can be related to use of assurance cases. This is done in a generic way by representing the STPA steps as part of the evidence and claim documentations within GSN.

美食家 发表于 2025-3-26 07:39:37

http://reply.papertrans.cn/24/2338/233729/233729_27.png

urethritis 发表于 2025-3-26 09:33:11

http://reply.papertrans.cn/24/2338/233729/233729_28.png

朝圣者 发表于 2025-3-26 12:41:23

http://reply.papertrans.cn/24/2338/233729/233729_29.png

Affable 发表于 2025-3-26 19:45:23

http://reply.papertrans.cn/24/2338/233729/233729_30.png
页: 1 2 [3] 4 5 6
查看完整版本: Titlebook: Computer Safety, Reliability, and Security; SAFECOMP 2019 Worksh Alexander Romanovsky,Elena Troubitsyna,Friedemann Conference proceedings