Entreaty 发表于 2025-3-23 12:17:10

http://reply.papertrans.cn/24/2338/233737/233737_11.png

无礼回复 发表于 2025-3-23 16:19:32

http://reply.papertrans.cn/24/2338/233737/233737_12.png

止痛药 发表于 2025-3-23 18:41:09

Assessing Software Interference Management When Modifying Safety-Related Softwareto answer two questions raised by this prior work: (i) which views of the system engineers should consider when identifying interference and its management; and (ii) whether our argument pattern captures a practical way to argue about interference management.

HEPA-filter 发表于 2025-3-23 22:52:08

http://reply.papertrans.cn/24/2338/233737/233737_14.png

dura-mater 发表于 2025-3-24 02:49:30

https://doi.org/10.1007/978-3-319-00921-6eterogeneous, dynamic coalitions of systems of systems. For this type of systems, it is crucial to develop sound strategies that would allow safety assurance and certification to be done compositionally.

Chemotherapy 发表于 2025-3-24 08:32:53

http://reply.papertrans.cn/24/2338/233737/233737_16.png

提名 发表于 2025-3-24 13:51:04

http://reply.papertrans.cn/24/2338/233737/233737_17.png

荒唐 发表于 2025-3-24 17:49:00

http://reply.papertrans.cn/24/2338/233737/233737_18.png

讨好女人 发表于 2025-3-24 20:14:30

http://reply.papertrans.cn/24/2338/233737/233737_19.png

antidote 发表于 2025-3-25 00:30:34

Towards a Case-Based Reasoning Approach for Safety Assurance Reuse safety cases, which determine a unified knowledge representation scheme for retrieving further safety cases. We illustrate the approach with the development of modular argumentation for an Integrated Modular Avionics (IMA) platform.
页: 1 [2] 3 4 5 6
查看完整版本: Titlebook: Computer Safety, Reliability, and Security; SAFECOMP 2012 Worksh Frank Ortmeier,Peter Daniel Conference proceedings 2012 Springer-Verlag Be