標(biāo)題: Titlebook: Computer Safety, Reliability, and Security; 37th International C Barbara Gallina,Amund Skavhaug,Friedemann Bitsch Conference proceedings 20 [打印本頁(yè)] 作者: injurious 時(shí)間: 2025-3-21 19:59
書目名稱Computer Safety, Reliability, and Security影響因子(影響力)
書目名稱Computer Safety, Reliability, and Security影響因子(影響力)學(xué)科排名
書目名稱Computer Safety, Reliability, and Security網(wǎng)絡(luò)公開(kāi)度
書目名稱Computer Safety, Reliability, and Security網(wǎng)絡(luò)公開(kāi)度學(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 20:30
Chemistry and Physiology of the Transferrinslling solutions. The focus of the work is on making it easy for signalling engineers to use the developed technology and thus to help with its smooth industrial deployment. In this paper we explain the formal foundations of the proposed method, its tool support, and their application to real life railway verification problems.作者: 卷發(fā) 時(shí)間: 2025-3-22 03:36
Formal Verification of Signalling Programs with SafeCaplling solutions. The focus of the work is on making it easy for signalling engineers to use the developed technology and thus to help with its smooth industrial deployment. In this paper we explain the formal foundations of the proposed method, its tool support, and their application to real life railway verification problems.作者: Cupping 時(shí)間: 2025-3-22 07:52 作者: blister 時(shí)間: 2025-3-22 08:52
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving for Boolean expressions. Our algorithm is based on SAT solving and generates minimal MCDC test suites. Experiments on a real-world avionics system confirm that the technique can construct minimal MCDC test suites within reasonable times, and improves significantly upon prior techniques.作者: Tailor 時(shí)間: 2025-3-22 16:16
0302-9743 Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk..978-3-319-99129-0978-3-319-99130-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Tailor 時(shí)間: 2025-3-22 19:24
Chemistry and Physiology of the Transferrinses. This includes (1) creating a safe nominal behavior specification; (2) dealing with functional insufficiencies, and (3) assuring the related performance wrt. functional safety. We exemplify our proposed methodology with a case study from industry.作者: Obvious 時(shí)間: 2025-3-22 22:05
Biology of Invertebrate Learningh domains. The results of the exploratory survey enabled us to identify the most common challenges of realizing an integrated approach in a practical setting and discuss implications for future research.作者: apiary 時(shí)間: 2025-3-23 02:17
Multi-aspect Safety Engineering for Highly Automated Drivinges. This includes (1) creating a safe nominal behavior specification; (2) dealing with functional insufficiencies, and (3) assuring the related performance wrt. functional safety. We exemplify our proposed methodology with a case study from industry.作者: narcotic 時(shí)間: 2025-3-23 06:45 作者: 聾子 時(shí)間: 2025-3-23 13:07
Conference proceedings 2018d in V?ster?s, Sweden, in September 2018...The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Pot作者: 敲竹杠 時(shí)間: 2025-3-23 16:18
Conference proceedings 2018ully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk..作者: affect 時(shí)間: 2025-3-23 19:02 作者: AORTA 時(shí)間: 2025-3-23 23:35
Chemistry and Physiology of the Transferrins for Boolean expressions. Our algorithm is based on SAT solving and generates minimal MCDC test suites. Experiments on a real-world avionics system confirm that the technique can construct minimal MCDC test suites within reasonable times, and improves significantly upon prior techniques.作者: 砍伐 時(shí)間: 2025-3-24 04:45
https://doi.org/10.1007/978-94-009-7882-9assurance era. Eight general areas of contrast between accepted safety principles and observed automotive safety practices are identified. While the advent of ISO 26262 promises some progress, deployment of highly autonomous vehicles in a non-regulatory environment threatens to undermine safety engineering rigor.作者: 貧困 時(shí)間: 2025-3-24 06:38
Chemistry and Physiology of the Transferrins described in a three-layer model, from which fault trees are generated, formed by the ., ., and . layers and their mappings. A CCF analysis is performed on the fault trees to verify the absence of possible common faults between the redundant elements and to validate the ASIL decomposition.作者: 弓箭 時(shí)間: 2025-3-24 12:47
https://doi.org/10.1007/978-94-009-7882-9f the activities conducted in developing these MCUs. In this paper we present evaluation results based on comparing assurance activities from ISO 26262 that could be considered for compliance to relevant assurance guidance for COTS MCU in avionics.作者: PRO 時(shí)間: 2025-3-24 16:09
Chemistry and Physiology of the Transferrinsn automated driving system. Our safety assurance case is presented in the graphical structuring notation (GSN) and combines our arguments against the problems of underspecification?[.], the semantic gap?[.], and the deductive gap?[.].作者: flex336 時(shí)間: 2025-3-24 21:43
https://doi.org/10.1007/978-94-009-7882-9the costs of an individual virtual and physical test we are then able to calculate an optimal trade-off between physical and virtual tests, yet guaranteeing a probability of satisfying all requirements.作者: DALLY 時(shí)間: 2025-3-25 01:26 作者: BARK 時(shí)間: 2025-3-25 05:13
Practical Experience Report: Automotive Safety Practices vs. Accepted Principlesassurance era. Eight general areas of contrast between accepted safety principles and observed automotive safety practices are identified. While the advent of ISO 26262 promises some progress, deployment of highly autonomous vehicles in a non-regulatory environment threatens to undermine safety engineering rigor.作者: Progesterone 時(shí)間: 2025-3-25 09:06 作者: Axillary 時(shí)間: 2025-3-25 14:59
Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionicsf the activities conducted in developing these MCUs. In this paper we present evaluation results based on comparing assurance activities from ISO 26262 that could be considered for compliance to relevant assurance guidance for COTS MCU in avionics.作者: 倔強(qiáng)一點(diǎn) 時(shí)間: 2025-3-25 18:03
Structuring Validation Targets of a Machine Learning Function Applied to Automated Drivingn automated driving system. Our safety assurance case is presented in the graphical structuring notation (GSN) and combines our arguments against the problems of underspecification?[.], the semantic gap?[.], and the deductive gap?[.].作者: Sedative 時(shí)間: 2025-3-25 23:48
Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Futhe costs of an individual virtual and physical test we are then able to calculate an optimal trade-off between physical and virtual tests, yet guaranteeing a probability of satisfying all requirements.作者: 智力高 時(shí)間: 2025-3-26 03:59 作者: 弄皺 時(shí)間: 2025-3-26 05:13 作者: attenuate 時(shí)間: 2025-3-26 08:53 作者: interference 時(shí)間: 2025-3-26 13:04 作者: 比賽用背帶 時(shí)間: 2025-3-26 17:51 作者: hereditary 時(shí)間: 2025-3-26 22:45 作者: 種植,培養(yǎng) 時(shí)間: 2025-3-27 01:37 作者: Forage飼料 時(shí)間: 2025-3-27 06:15
https://doi.org/10.1007/978-3-319-99130-6Artificial intelligence; Cybersecurity; Data security; Dependability analysis; Distributed and real-time作者: arterioles 時(shí)間: 2025-3-27 12:15
978-3-319-99129-0Springer Nature Switzerland AG 2018作者: 隼鷹 時(shí)間: 2025-3-27 16:04 作者: fertilizer 時(shí)間: 2025-3-27 19:19 作者: misanthrope 時(shí)間: 2025-3-27 23:47 作者: 空中 時(shí)間: 2025-3-28 05:11
Chemistry and Physiology of the Transferrinsose is to satisfy safety-critical requirements by decomposing them into less critical ones. This procedure requires a system-level validation, and the elements of the architecture to which the decomposed requirements are allocated must be analyzed in terms of Common-Cause Faults (CCF). In this work,作者: 平 時(shí)間: 2025-3-28 06:17
https://doi.org/10.1007/978-94-009-7882-9according to the assurance requirements accepted by the aerospace industry. These Commercial off-the-shelf (COTS) hardware components usually target other domains like the telecommunication branch, because of the volume of sales and reduced liability. In the last years MCUs developed in compliance t作者: octogenarian 時(shí)間: 2025-3-28 13:42 作者: 臆斷 時(shí)間: 2025-3-28 15:07 作者: 巧辦法 時(shí)間: 2025-3-28 21:06
Iron: An Element Well-Fitted for its Task? challenging task. Examples of such dependencies across software-stack layers (e.g., between application and middleware layer) are common causes and failure propagation scenarios in which a failure of one software component propagates to another software component through shared services and/or comm作者: 心痛 時(shí)間: 2025-3-29 01:04
Chemistry and Physiology of the Transferrinsanalysis and fully-automated scalable safety verification of solid state interlocking (SSI) programs – a technology at the heart of many railway signalling solutions. The focus of the work is on making it easy for signalling engineers to use the developed technology and thus to help with its smooth 作者: 肥料 時(shí)間: 2025-3-29 05:23 作者: 統(tǒng)治人類 時(shí)間: 2025-3-29 11:02
Chemistry and Physiology of the Transferrins condition decision coverage (MCDC) criterion in system testing is an important testing technique for Boolean expression, as its usage mandated by safety standards such as DO-178 [.] (avionics) and ISO26262 [.] (automotive). In this paper, we develop an algorithm to generate optimal MCDC test suites作者: 關(guān)節(jié)炎 時(shí)間: 2025-3-29 11:39
https://doi.org/10.1007/978-94-009-7882-9ifying safety properties and physical tests for validating the models used for such verification. We follow a quantitative approach based on a probabilistic treatment of the different quantities in question. That is, we quantify the accuracy of a model in terms of its probabilistic prediction abilit作者: 美學(xué) 時(shí)間: 2025-3-29 18:14 作者: Ostrich 時(shí)間: 2025-3-29 21:17
Natural History of Honey Bee Learningystems and applications. Automotive vehicles now depend on software to the extent that manufacturers are turning to over-the-air updates for critical vehicle functionality. History shows that our software systems are most vulnerable to lapses in safety and dependability when they undergo change, and作者: LEERY 時(shí)間: 2025-3-30 00:59 作者: ABASH 時(shí)間: 2025-3-30 04:18
Zooplankton Studies in the Indian Ocean of the embedded hardware. However, due to the vast computational requirements that deep neural networks exhibit, the use of traditional redundancy-based approaches for the detection and mitigation of random hardware errors leads to very inefficient systems. In this paper we present an efficient and作者: 大方一點(diǎn) 時(shí)間: 2025-3-30 08:15
Practical Experience Report: Automotive Safety Practices vs. Accepted Principlesing multiple vehicle makers. There is a wide gulf between some observed automotive practices and established principles for safety critical system engineering. While some companies strive to do better, at least some car makers in the 2002–2010 era took a test-centric approach to safety that discount作者: 不可接觸 時(shí)間: 2025-3-30 12:42 作者: 飛鏢 時(shí)間: 2025-3-30 17:56
Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionicsaccording to the assurance requirements accepted by the aerospace industry. These Commercial off-the-shelf (COTS) hardware components usually target other domains like the telecommunication branch, because of the volume of sales and reduced liability. In the last years MCUs developed in compliance t
