Militia 发表于 2025-3-30 09:40:45

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 发表于 2025-3-30 12:57:51

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

Euthyroid 发表于 2025-3-30 16:58:01

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 发表于 2025-3-31 00:10:26

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 发表于 2025-3-31 01:27:28

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

星星 发表于 2025-3-31 06:27:14

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 发表于 2025-3-31 12:26:34

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 发表于 2025-3-31 14:33:00

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

Simulate 发表于 2025-3-31 20:31:25

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.

斜坡 发表于 2025-3-31 22:18:00

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.
页: 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