Titlebook: Computer Safety, Reliability, and Security; SAFECOMP 2018 Worksh Barbara Gallina,Amund Skavhaug,Friedemann Bitsch Conference proceedings 20

储备

Multi-layered Approach to Safe Navigation of Swarms of Dronesn 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

一夫一妻制

Dynamic Risk Management for Cooperative Autonomous Medical Cyber-Physical Systemss 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

flex336

Towards (Semi-)Automated Synthesis of Runtime Safety Models: A Safety-Oriented Design Approach for Scked 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

感情

戏法

STPA Guided Systems Engineeringhe number of internal or external components the probability of faulty components within systems increases. At every point of time, some component may be faulty or does not deliver the desired function. This paper presents a new design methodology to design systems that can handle the mentioned issu

VEN

令人不快

Safety and Security in a Smart Production Environmentrobots and humans and a seamless integration of the Information Technology (IT) and the Operation Technology (OT). Wired or wireless interconnection of devices and machinery across the existing manufacturing components plant borders. A data driven product life cycle starts with product concept ideas

onlooker

集聚成团

Creation of the business concept,he patient’s characteristics, as well as other relevant context information is utilized to dynamically and continuously optimize the system performance while guaranteeing an acceptable level of safety. We evaluated our approach by means of a patient-controlled analgesia proof-of-concept simulation and sensitivity analysis.

书法

Assurance Case Considerations for Interoperable Medical Systemsnstruct system-level assurance argumentation. We present a collection of objectives and top-level safety claims towards the development of such an approach for interoperable systems built using medical application platforms.