Brain-Waves
发表于 2025-3-23 10:43:33
ack surface it may introduce. For this paper, the basic taxonomy of dependable and secure computing is used to conduct a dependability analysis of the AFDX frame management design. An OMNeT++ model simulation of an AFDX network is used to demonstrate potential attacks. Considerations for solutions f
使隔离
发表于 2025-3-23 14:18:51
http://reply.papertrans.cn/47/4639/463889/463889_12.png
CRASS
发表于 2025-3-23 21:08:10
http://reply.papertrans.cn/47/4639/463889/463889_13.png
争吵
发表于 2025-3-23 23:07:50
Soufiane El Jelali,Agnès Braud,Nicolas Lachichee 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-24 02:40:24
Tanveer A. Faruquie,Ashwin Srinivasan,Ross D. Kinge 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-24 07:38:02
Daan Fierens,Kristian Kersting,Jesse Davis,Jian Chen,Martin Mladenovtracts. 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
nettle
发表于 2025-3-24 14:27:14
Tiago Gomes,Vítor Santos Costa..Our approach of using BaCs to identify recoverable states is computationally cheaper and potentially more accurate (less conservative) than existing approaches based on state-space exploration. We apply our technique to two hybrid systems: a water tank pump and a stop-sign-obeying controller for a
HILAR
发表于 2025-3-24 15:34:36
Takahiro Hino,Yusuke Suzuki,Tomoyuki Uchida,Yuko Itokawasafety properties, a design-time method to automatically generate schedules for different modes of operations from declaratively defined requirements is established. To cope with the inherent computational complexity, heuristics are developed to effectively narrow the problem space. Subsequently, th
江湖骗子
发表于 2025-3-24 21:48:10
http://reply.papertrans.cn/47/4639/463889/463889_19.png
代理人
发表于 2025-3-25 01:54:17
Ondřej Kuželka,Andrea Szabóová,Filip Železnýsafety properties, a design-time method to automatically generate schedules for different modes of operations from declaratively defined requirements is established. To cope with the inherent computational complexity, heuristics are developed to effectively narrow the problem space. Subsequently, th