標(biāo)題: Titlebook: Computer Safety, Reliability, and Security; 41st International C Mario Trapp,Francesca Saglietti,Friedemann Bitsch Conference proceedings 2 [打印本頁] 作者: 從未沮喪 時(shí)間: 2025-3-21 16:21
書目名稱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é)科排名
作者: coagulation 時(shí)間: 2025-3-21 22:46 作者: Infiltrate 時(shí)間: 2025-3-22 02:05
The Microbiology of the Healthy Human Body,uncertainty information from expert judgements. We briefly present an application to a case study to validate our uncertainty propagation model in GSN that takes into account both incomplete and conflicting information.作者: separate 時(shí)間: 2025-3-22 05:13
https://doi.org/10.1007/b136878it integer support. We identify the ones’ complement as the best matching encoding strategy through new code metrics, fault simulations, and performance analysis. We validate our results by applying ones’ complement coding to a sample algorithm. Performance measurements and fault injection simulation confirm our results.作者: MEEK 時(shí)間: 2025-3-22 10:46 作者: xanthelasma 時(shí)間: 2025-3-22 12:58
Safety Certification with?the?Open Source Microkernel-Based Operating System L4Reconfiguration-based setup of inter-process communication relations. Collectively, the proposed innovations isolate safety applications from hidden errors in components not developed in adherence to the ISO 26262, in this case the feature-rich software stack implementing the L4Re userland.作者: xanthelasma 時(shí)間: 2025-3-22 17:14 作者: 殺人 時(shí)間: 2025-3-23 00:15 作者: escalate 時(shí)間: 2025-3-23 04:42
STPA-Driven Multilevel Runtime Monitoring for?In-Time Hazard Detectiondigm to provide evidence and insights to runtime monitoring on what to monitor, where to monitor, and the monitoring context. We demonstrate and evaluate the value of multilevel monitors by injecting hazards on an autonomous emergency braking system model.作者: 鄙視 時(shí)間: 2025-3-23 08:37
0302-9743 h took place in Munich, Germany, in September 2022..The 24 full papers included in this volume were carefully reviewed and selected from 93 submissions. SafeComp has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical syste作者: 徹底檢查 時(shí)間: 2025-3-23 12:38 作者: 返老還童 時(shí)間: 2025-3-23 17:41 作者: Oligarchy 時(shí)間: 2025-3-23 21:08
The Biochemistry of Retinoid Signaling IIreasoning to check that the AC argument is sound and quantify its strength in terms of a confidence measure. The effectiveness of our approach is illustrated on case studies motivated by testing and validation of airborne and automotive system software.作者: 售穴 時(shí)間: 2025-3-23 22:49 作者: avarice 時(shí)間: 2025-3-24 05:57
Data-Driven Inference of?Fault Tree Models Exploiting Symmetry and?Modularizationtructures commonly found in infrastructures, such as bridges. Our experiments show that, in most cases, the exploitation of modules and symmetries accelerates the FT inference from hours to under three minutes.作者: 大門在匯總 時(shí)間: 2025-3-24 08:07
ARACHNE: Automated Validation of?Assurance Cases with?Stochastic Contract Networksreasoning to check that the AC argument is sound and quantify its strength in terms of a confidence measure. The effectiveness of our approach is illustrated on case studies motivated by testing and validation of airborne and automotive system software.作者: 卜聞 時(shí)間: 2025-3-24 13:28
Conference proceedings 2022p has contributed to the progress of the state-of-the-art in dependable application of computers in safety-related and safety-critical systems. SafeComp is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications..作者: Suggestions 時(shí)間: 2025-3-24 17:08 作者: FLASK 時(shí)間: 2025-3-24 20:51 作者: 洞察力 時(shí)間: 2025-3-25 02:11 作者: 法律的瑕疵 時(shí)間: 2025-3-25 04:09
David Kritchevsky,Padmanabhan P. Nair describing currently implemented features and possibilities of combining individual modelling approaches, we provide an informal view of the tool’s architecture and of the resulting software ecosystem. By comparing selected publicly available safety and reliability analysis libraries, we outline th作者: DOSE 時(shí)間: 2025-3-25 09:49 作者: 昆蟲 時(shí)間: 2025-3-25 12:19 作者: 沒有準(zhǔn)備 時(shí)間: 2025-3-25 17:10
Reference work Nov 20071st editionare mainly based on the ISO 26262 automotive standard and the EBIOS RM methodology, but they can be extended to any type of context. Alongside the proposed approaches, we suggest orientations and perspectives for future works.作者: temperate 時(shí)間: 2025-3-25 22:18
Biographical Encyclopedia of Astronomersdapting a lightweight cryptographic library to the peculiarities of OPC?UA. To investigate under which conditions secure OPC?UA communication is realizable, the runtime overhead, memory footprint, and power consumption are evaluated and discussed for various usage scenarios. The evaluation reveals c作者: 施魔法 時(shí)間: 2025-3-26 01:31 作者: 情節(jié)劇 時(shí)間: 2025-3-26 06:04
BayesianSafety - An Open-Source Package for?Causality-Guided, Multi-model Safety Analysis describing currently implemented features and possibilities of combining individual modelling approaches, we provide an informal view of the tool’s architecture and of the resulting software ecosystem. By comparing selected publicly available safety and reliability analysis libraries, we outline th作者: 傲慢人 時(shí)間: 2025-3-26 11:39 作者: 有抱負(fù)者 時(shí)間: 2025-3-26 13:13
Impact of Machine Learning on Safety Monitorsoid accidents. Among the results, we observed that indeed improving the Controller could make the Safety Monitor less effective; it is even possible for a training increment to make the Controller’s own behaviour safer but the vehicle’s less safe. We discuss implications for practice and for researc作者: 低能兒 時(shí)間: 2025-3-26 18:40 作者: 集合 時(shí)間: 2025-3-27 00:09
On the?Feasibility and?Performance of?Secure OPC UA Communication with?IIoT Devicesdapting a lightweight cryptographic library to the peculiarities of OPC?UA. To investigate under which conditions secure OPC?UA communication is realizable, the runtime overhead, memory footprint, and power consumption are evaluated and discussed for various usage scenarios. The evaluation reveals c作者: 咽下 時(shí)間: 2025-3-27 05:02
: Model-Derived Simulation-Assisted ISA-Level Fault-Injection PlatformsRISC-V) and one newly introduced (AVR) Sail models, we use the Sail toolchain to derive emulators that we combine with the FAIL* framework into multiple new FI platforms. Furthermore, we extend Sail to automatically introduce bit-wise dynamic register tracing into the emulator, which enables us to h作者: vanquish 時(shí)間: 2025-3-27 06:41 作者: 畢業(yè)典禮 時(shí)間: 2025-3-27 11:40 作者: 細(xì)絲 時(shí)間: 2025-3-27 14:47 作者: 紅腫 時(shí)間: 2025-3-27 19:11
Data-Driven Inference of?Fault Tree Models Exploiting Symmetry and?Modularizationolutionary algorithms to learn a compact FT matching the input data. . achieves scalability by leveraging two common phenomena in FTs: (i) We automatically identify symmetries in the failure data set, learning symmetric FT parts only once. (ii) We partition the input data into independent modules, s作者: thwart 時(shí)間: 2025-3-27 22:54 作者: 反復(fù)拉緊 時(shí)間: 2025-3-28 05:38 作者: Folklore 時(shí)間: 2025-3-28 06:50
Generating Assurance Cases Using Workflow, Modelsy in an assurance case. In previous work we introduced Workflow., a model-based framework for modelling the processes and work products in both the development and safety assurance life cycles. WF. metamodels not only serve as templates that guide the development of a safe system, they also facilita作者: 最小 時(shí)間: 2025-3-28 13:57 作者: indubitable 時(shí)間: 2025-3-28 14:46 作者: 傳染 時(shí)間: 2025-3-28 20:42
Comprehensive Analysis of?Software-Based Fault Tolerance with?Arithmetic Coding for?Performant Encodct of software-based fault-tolerance methods is challenging. Using software-based fault tolerance is an attractive approach because commercial off-the-shelf hardware can be used. One possibility to implement software-based fault tolerance are arithmetic codes, already used in safety-critical product作者: 任命 時(shí)間: 2025-3-28 23:03
STPA-Driven Multilevel Runtime Monitoring for?In-Time Hazard Detectionafety and security. Cyber-physical systems have interaction failures, attack surfaces, and attack vectors resulting in unanticipated hazards and loss scenarios. These interaction failures pose challenges to runtime verification regarding monitoring specifications and monitoring placements for in-tim作者: nitric-oxide 時(shí)間: 2025-3-29 04:45
Proposal of?Cybersecurity and?Safety Co-engineering Approaches on?Cyber-Physical Systems However, as this topic grows, few shared methodologies, standards and organizations exist to enable this co-engineering process. In this context, we had the opportunity to bring together both a Safety and a Cybersecurity team to work on methods of collaboration. This resulted in mutually sharing me作者: Corroborate 時(shí)間: 2025-3-29 08:59 作者: SSRIS 時(shí)間: 2025-3-29 15:15 作者: 等待 時(shí)間: 2025-3-29 18:15
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233726.jpg作者: TIA742 時(shí)間: 2025-3-29 22:36 作者: Limerick 時(shí)間: 2025-3-30 02:07
978-3-031-14834-7The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl作者: Comprise 時(shí)間: 2025-3-30 05:12 作者: Tonometry 時(shí)間: 2025-3-30 10:22
David Kritchevsky,Padmanabhan P. Nair by the normative regulations ISO 26262, its relative ISO/PAS 21448, and their respective methodologies. In recent publications, an emerging demand to combine environmental influences, machine learning, or reasoning under uncertainty with standard-compliant analysis techniques can be noticed. Theref作者: 結(jié)合 時(shí)間: 2025-3-30 12:34
Kevin A. Ward,S. Marzuki,J. M. Haslamication is carried out in adherence to ISO 26262 and targets an Automotive Safety Integrity Level B (ASIL-B). Unlike existing work on OS verification?[.], the presented work discusses how a complete software system can be taken to certification. The paper identifies challenges arising from the re-us作者: 觀察 時(shí)間: 2025-3-30 17:00 作者: Irritate 時(shí)間: 2025-3-31 00:34
The Biochemistry of Retinoid Signaling IIa design. ARACHNE leverages assume-guarantee contracts, expressed in a stochastic logic formalism, to formally capture AC claims (guarantees) subject to their contexts (assumptions) as well as the sources of uncertainty associated with them. Given an AC, modeled as a hierarchical network of stochast作者: insular 時(shí)間: 2025-3-31 01:07
