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

Militia

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

delusion

Euthyroid

Entrepreneurship as a competency,l writing steps such as the six steps method by Kelly [.], we incorporate stakeholder analysis step and consensus building step. This paper reports two assurance case workshops using D-Case steps, and evaluates the D-Case steps by the results of questionaries done by the participants.

Calibrate

https://doi.org/10.1007/978-3-540-75267-7 be faulty or does not deliver the desired function. This paper presents a new design methodology to design systems that can handle the mentioned issues of the systems by design. The new methodology is based on System-Theoretic Process Analysis and standard systems engineering methods.

MOCK

星星

STPA Guided Systems Engineering be faulty or does not deliver the desired function. This paper presents a new design methodology to design systems that can handle the mentioned issues of the systems by design. The new methodology is based on System-Theoretic Process Analysis and standard systems engineering methods.

foppish

Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systemsguments or assurance cases for machine learning based systems. We then propose an approach for continuously analyzing, managing, and updating arguments while accepting uncertainty as intrinsic in nature.

Eviction

Simulate

MMINT-A: A Tool for Automated Change Impact Assessment on Assurance Casesand incorporates a graphical assurance case editor, an annotation mechanism, and two summary tables for the assessment results. We demonstrate the usage of . on a Power Sliding Door example from the automotive domain.

斜坡

A Testbed for Trusted Telecommunications Systems in a Safety Critical Environmented computing. Utilising a medical application as the motivating case to demonstrate reliability, resiliency and as a compelling demonstration we can investigate the interaction of these security technologies in telecommunications environment while providing a safety-critical use case.