標(biāo)題: Titlebook: Computer Safety, Reliability, and Security; SAFECOMP 2018 Worksh Barbara Gallina,Amund Skavhaug,Friedemann Bitsch Conference proceedings 20 [打印本頁] 作者: deep-sleep 時(shí)間: 2025-3-21 18:29
書目名稱Computer Safety, Reliability, and Security影響因子(影響力)
書目名稱Computer Safety, Reliability, and Security影響因子(影響力)學(xué)科排名
書目名稱Computer Safety, Reliability, and Security網(wǎng)絡(luò)公開度
書目名稱Computer Safety, Reliability, and Security網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Computer Safety, Reliability, and Security被引頻次
書目名稱Computer Safety, Reliability, and Security被引頻次學(xué)科排名
書目名稱Computer Safety, Reliability, and Security年度引用
書目名稱Computer Safety, Reliability, and Security年度引用學(xué)科排名
書目名稱Computer Safety, Reliability, and Security讀者反饋
書目名稱Computer Safety, Reliability, and Security讀者反饋學(xué)科排名
作者: 維持 時(shí)間: 2025-3-21 23:48 作者: interference 時(shí)間: 2025-3-22 03:28 作者: 蹣跚 時(shí)間: 2025-3-22 08:07 作者: Incumbent 時(shí)間: 2025-3-22 12:43
978-3-319-99228-0Springer Nature Switzerland AG 2018作者: 伙伴 時(shí)間: 2025-3-22 16:24
Constraint-Based Testing for Buffer Overflowsows. 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.作者: 伙伴 時(shí)間: 2025-3-22 19:10 作者: 饑荒 時(shí)間: 2025-3-23 01:10 作者: 奇思怪想 時(shí)間: 2025-3-23 02:07 作者: locus-ceruleus 時(shí)間: 2025-3-23 06:58 作者: Abominate 時(shí)間: 2025-3-23 10:24 作者: institute 時(shí)間: 2025-3-23 16:51
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 時(shí)間: 2025-3-23 18:17 作者: HALL 時(shí)間: 2025-3-24 02:16 作者: forestry 時(shí)間: 2025-3-24 03:46 作者: 離開真充足 時(shí)間: 2025-3-24 08:52
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.作者: 針葉類的樹 時(shí)間: 2025-3-24 13:43
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 時(shí)間: 2025-3-24 16:45
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 時(shí)間: 2025-3-24 20:26
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作者: 解脫 時(shí)間: 2025-3-25 00:04
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作者: 好色 時(shí)間: 2025-3-25 07:11 作者: craving 時(shí)間: 2025-3-25 07:53 作者: 音樂會(huì) 時(shí)間: 2025-3-25 14:35 作者: Vo2-Max 時(shí)間: 2025-3-25 16:10 作者: stratum-corneum 時(shí)間: 2025-3-25 20:24 作者: lethargy 時(shí)間: 2025-3-26 02:36
https://doi.org/10.1007/978-3-030-36426-7ilities and ways to exploit them can be assessed. As an outcome mitigation strategies coming from security considerations can be captured by the safety requirements. The approach is illustrated on an autonomous quarry.作者: headlong 時(shí)間: 2025-3-26 08:13
Entrepreneurship as a competency,and formulation of black-box behavioral deviation bounds in shape of safety guarantees and demands. Thereby, we point out challenges, which especially occur due to the complexity introduced by the distributed development of CAS. These challenges are exemplified for the traffic light assistant system作者: 四目在模仿 時(shí)間: 2025-3-26 12:24
Research on the Classification of the Relationships Among the Same Layer Elements in Assurance Case hen we compare the different confidence results under the independence assumption and the correlation assumption using the same confidence evaluation method, and discuss the causes of differences. Finally, we discuss several future work.作者: 尊嚴(yán) 時(shí)間: 2025-3-26 13:52 作者: VEIL 時(shí)間: 2025-3-26 20:42 作者: hair-bulb 時(shí)間: 2025-3-26 23:41 作者: 牲畜欄 時(shí)間: 2025-3-27 04:38 作者: 嗎啡 時(shí)間: 2025-3-27 05:37
The Assurance Recipe: Facilitating Assurance Patternsuild them. Assurance cases can grow too large and too abstract for anyone but the original builders to understand, making reuse difficult. Reuse is important because different systems might have identical or similar components, and a good solution for one system should be applicable to similar syste作者: LVAD360 時(shí)間: 2025-3-27 11:55 作者: instructive 時(shí)間: 2025-3-27 15:28
Assurance Case Considerations for Interoperable Medical Systemsrastructures. In many scenarios, multi-vendor consortia are organized to support the development and deployment of interoperable medical systems, in which safety-critical element implementations, risk management results, and safety assurance are reused across organizational boundaries. This reality 作者: hazard 時(shí)間: 2025-3-27 20:24 作者: 追蹤 時(shí)間: 2025-3-27 23:38 作者: VOK 時(shí)間: 2025-3-28 03:48
D-Case Steps: New Steps for Writing Assurance Cases stating the top goal, selecting strategies for decomposing goals and setting evidence, etc. are all difficult. For this problem, based on conventional writing steps such as the six steps method by Kelly [.], we incorporate stakeholder analysis step and consensus building step. This paper reports tw作者: 昏睡中 時(shí)間: 2025-3-28 08:14 作者: generic 時(shí)間: 2025-3-28 10:30 作者: 儲(chǔ)備 時(shí)間: 2025-3-28 18:01
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作者: 一夫一妻制 時(shí)間: 2025-3-28 20:05
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 時(shí)間: 2025-3-29 00:07
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作者: 感情 時(shí)間: 2025-3-29 03:47 作者: 戲法 時(shí)間: 2025-3-29 08:22
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 時(shí)間: 2025-3-29 12:28 作者: 令人不快 時(shí)間: 2025-3-29 16:04
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 時(shí)間: 2025-3-29 23:27 作者: 集聚成團(tuán) 時(shí)間: 2025-3-30 00:09
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.作者: 書法 時(shí)間: 2025-3-30 06:46
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.作者: Militia 時(shí)間: 2025-3-30 09:40
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 時(shí)間: 2025-3-30 12:57 作者: Euthyroid 時(shí)間: 2025-3-30 16:58
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 時(shí)間: 2025-3-31 00:10
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 時(shí)間: 2025-3-31 01:27 作者: 星星 時(shí)間: 2025-3-31 06:27
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 時(shí)間: 2025-3-31 12:26
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 時(shí)間: 2025-3-31 14:33 作者: Simulate 時(shí)間: 2025-3-31 20:31
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.作者: 斜坡 時(shí)間: 2025-3-31 22:18
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.作者: 大酒杯 時(shí)間: 2025-4-1 01:59 作者: Iatrogenic 時(shí)間: 2025-4-1 08:02
Conference proceedings 2018 Reliability, and Security, held in V?ster?s, Sweden, in September 2018...The 28 revised full papers and 21 short papers presented together with 5 introductory papers to each workshop were carefully reviewed and selected from 73 submissions. This year‘s workshops are: ASSURE 2018 – Assurance Cases f作者: ANIM 時(shí)間: 2025-4-1 13:36
https://doi.org/10.1007/978-3-030-36426-7guments 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.作者: Ordeal 時(shí)間: 2025-4-1 14:39 作者: Gratuitous 時(shí)間: 2025-4-1 20:45 作者: CRACY 時(shí)間: 2025-4-2 01:30
