Abominate 发表于 2025-3-23 10:24:33

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

institute 发表于 2025-3-23 16:51:54

Creation of the business concept,ety assessment procedure to show their compliance to one or more safety standards. Assurance cases are an emerging way of communicating safety of a safety-critical system in a structured and comprehensive manner. Due to the significant complexity of the required materials, software tools are often u

Seminar 发表于 2025-3-23 18:17:14

http://reply.papertrans.cn/24/2338/233739/233739_13.png

HALL 发表于 2025-3-24 02:16:39

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

forestry 发表于 2025-3-24 03:46:15

http://reply.papertrans.cn/24/2338/233739/233739_15.png

离开真充足 发表于 2025-3-24 08:52:26

Creation of the business concept,ows. Both testing techniques are based on guiding conditions statically derived by Integer Constraint Analysis. First experimental evaluations confirmed the superiority of local optimization algorithms over global ones.

针叶类的树 发表于 2025-3-24 13:43:36

Creation of the business concept,n the flight zones. Ensuring safety of drone navigation is challenging due to unreliability of drones, communication channels and non-determinism of the operating environment. In this paper, we propose a novel multi-layered approach to ensuring safety of drone navigation. It aims at maintaining an o

obsolete 发表于 2025-3-24 16:45:01

Creation of the business concept,s physiological closed loops for controlling drug infusion and optimization of alarms. MCPS and their relevant system contexts are highly variable, which detrimentally affects the application of established safety assurance methodologies. In this paper, we introduce an approach based on dynamic risk

maladorit 发表于 2025-3-24 20:26:07

Entrepreneurship as a competency,cked when combining it with the capability of cooperation, leading to the vision of comprehensively networked cooperative autonomous systems (CAS). To enable a safe CAS cooperation at runtime, we introduced the ConSert approach in previous work, which allows fully automated safety interface compatib

解脱 发表于 2025-3-25 00:04:12

Management team and organization,t potential security risks; security was – if at all – only mentioned in a small remark. However, the way how systems are built has changed; today’s safety-critical systems are more and more integrated in networks and, thus, the old paradigm of isolated systems is not any more valid. It has been rec
页: 1 [2] 3 4 5 6 7
查看完整版本: Titlebook: Computer Safety, Reliability, and Security; SAFECOMP 2018 Worksh Barbara Gallina,Amund Skavhaug,Friedemann Bitsch Conference proceedings 20