標(biāo)題: Titlebook: Computer Safety, Reliability, and Security; 36th International C Stefano Tonetta,Erwin Schoitsch,Friedemann Bitsch Conference proceedings 2 [打印本頁(yè)] 作者: Maculate 時(shí)間: 2025-3-21 18:07
書(shū)目名稱(chēng)Computer Safety, Reliability, and Security影響因子(影響力)
書(shū)目名稱(chēng)Computer Safety, Reliability, and Security影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Computer Safety, Reliability, and Security網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Computer Safety, Reliability, and Security網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Computer Safety, Reliability, and Security被引頻次
書(shū)目名稱(chēng)Computer Safety, Reliability, and Security被引頻次學(xué)科排名
書(shū)目名稱(chēng)Computer Safety, Reliability, and Security年度引用
書(shū)目名稱(chēng)Computer Safety, Reliability, and Security年度引用學(xué)科排名
書(shū)目名稱(chēng)Computer Safety, Reliability, and Security讀者反饋
書(shū)目名稱(chēng)Computer Safety, Reliability, and Security讀者反饋學(xué)科排名
作者: 尖牙 時(shí)間: 2025-3-21 23:05 作者: tariff 時(shí)間: 2025-3-22 01:00
978-3-319-66265-7Springer International Publishing AG 2017作者: Physiatrist 時(shí)間: 2025-3-22 08:19
Life and Personality of Ludwig Boltzmann,l a variety of safety concepts and E/E architectures for drive automation. The fault trees can be used to evaluate various quantitative measures by means of model checking. The approach is accompanied by a large-scale evaluation: The resulting DFTs with up?to 300 elements constitute larger-than-befo作者: 瘋狂 時(shí)間: 2025-3-22 09:44
https://doi.org/10.1007/978-3-7091-8336-6ommon dependability metrics, such as the system reliability and availability. A severe drawback of Monte Carlo simulation is that the number of simulations required to obtain accurate estimations grows extremely large in the presence of ., i.e., events whose probability of occurrence is very low, wh作者: defuse 時(shí)間: 2025-3-22 14:57 作者: defuse 時(shí)間: 2025-3-22 19:05 作者: Obstruction 時(shí)間: 2025-3-22 23:00 作者: accomplishment 時(shí)間: 2025-3-23 05:26 作者: 共同確定為確 時(shí)間: 2025-3-23 09:14 作者: Corporeal 時(shí)間: 2025-3-23 11:22
https://doi.org/10.1007/978-94-009-9786-8 control of a plant over to a provably safe Baseline Controller when a safety violation is imminent under the control of an unverified Advanced Controller. A key step of determining the switching condition is identifying a ., where the Baseline Controller guarantees recovery and keeps the plant inva作者: BLA 時(shí)間: 2025-3-23 17:50
Transliteration of Arabic letterse autonomy. However, without proper V&V, sufficient evidence to argue safety is not attainable. We propose in this work the use of a Safety Supervisor (SSV) to circumvent this issue. However, the design of an adequate SSV is a challenge in itself. To assist in this task, we present a conceptual fram作者: 遍及 時(shí)間: 2025-3-23 21:50 作者: Injunction 時(shí)間: 2025-3-23 22:32
Life and Works of the Banū Mūsàdertaken to provide safety assurance in the context of unmanned aircraft systems. We use a formal semantics as a basis for implementation in our assurance case tool, AdvoCATE. We also describe the functionality that a safety architecture affords to support both the related safety analysis and subseq作者: 后退 時(shí)間: 2025-3-24 03:31 作者: 燕麥 時(shí)間: 2025-3-24 07:03 作者: LINES 時(shí)間: 2025-3-24 13:34
Military Antipoaching in Botswana, technique is based on a denotational semantics that computes a symbolic estimation of floating-point round-off errors along with a proof certificate that ensures its correctness. The symbolic estimation can be evaluated on concrete inputs using rigorous enclosure methods to produce formally verifie作者: 治愈 時(shí)間: 2025-3-24 15:05 作者: Fretful 時(shí)間: 2025-3-24 21:13
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233730.jpg作者: reperfusion 時(shí)間: 2025-3-25 03:03 作者: 星星 時(shí)間: 2025-3-25 07:14 作者: overweight 時(shí)間: 2025-3-25 09:09
DOL Schemes and Recurrent Words,safety properties, a design-time method to automatically generate schedules for different modes of operations from declaratively defined requirements is established. To cope with the inherent computational complexity, heuristics are developed to effectively narrow the problem space. Subsequently, th作者: 骨 時(shí)間: 2025-3-25 15:41
Rare Event Simulation for Dynamic Fault Treesmonstrate our approach using three parameterized sets of case studies, showing that our method can handle fault trees that could not be evaluated with either existing analytical techniques, nor with standard simulation techniques.作者: 絆住 時(shí)間: 2025-3-25 17:34
A Simplex Architecture for Hybrid Systems Using Barrier Certificates..Our approach of using BaCs to identify recoverable states is computationally cheaper and potentially more accurate (less conservative) than existing approaches based on state-space exploration. We apply our technique to two hybrid systems: a water tank pump and a stop-sign-obeying controller for a作者: 鬼魂 時(shí)間: 2025-3-25 22:39 作者: obeisance 時(shí)間: 2025-3-26 03:26 作者: 生銹 時(shí)間: 2025-3-26 05:59
Rare Event Simulation for Dynamic Fault Treesommon dependability metrics, such as the system reliability and availability. A severe drawback of Monte Carlo simulation is that the number of simulations required to obtain accurate estimations grows extremely large in the presence of ., i.e., events whose probability of occurrence is very low, wh作者: intertwine 時(shí)間: 2025-3-26 08:31 作者: 擁護(hù)者 時(shí)間: 2025-3-26 15:44 作者: 木質(zhì) 時(shí)間: 2025-3-26 20:12 作者: Isolate 時(shí)間: 2025-3-26 22:26 作者: Callus 時(shí)間: 2025-3-27 04:20
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK?2014aper, we explore the capabilities and limitations of its latest version in the context of building a flight stack for a high-altitude unmanned glider. Towards that, we deliberately applied static analysis early and continuously during implementation, to give verification the possibility to steer the作者: Dysarthria 時(shí)間: 2025-3-27 07:19
A Simplex Architecture for Hybrid Systems Using Barrier Certificates control of a plant over to a provably safe Baseline Controller when a safety violation is imminent under the control of an unverified Advanced Controller. A key step of determining the switching condition is identifying a ., where the Baseline Controller guarantees recovery and keeps the plant inva作者: 豪華 時(shí)間: 2025-3-27 09:57 作者: 不規(guī)則的跳動(dòng) 時(shí)間: 2025-3-27 17:02 作者: 離開(kāi)可分裂 時(shí)間: 2025-3-27 18:08 作者: 否決 時(shí)間: 2025-3-27 23:45 作者: Lipoprotein(A) 時(shí)間: 2025-3-28 04:45
Benchmarking Static Code Analyzerstionally accepted quantitative evaluation metrics may lead to useless results. The weaknesses in the benchmark set were identified by applying a sound static analysis to the programs in this set and carefully interpreting the results. We propose how to deal with weaknesses of the quantitative metric作者: Valves 時(shí)間: 2025-3-28 06:29 作者: Peristalsis 時(shí)間: 2025-3-28 13:17 作者: gimmick 時(shí)間: 2025-3-28 15:39
Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK?2014 software design. In this process we have identified several limitations and pitfalls of software design and verification in SPARK, for which we give workarounds and protective actions to avoid them. Finally, we give design recommendations that have proven effective for verification, and summarize our experiences with this new language.作者: 結(jié)構(gòu) 時(shí)間: 2025-3-28 20:41 作者: 沙草紙 時(shí)間: 2025-3-28 23:23 作者: 水汽 時(shí)間: 2025-3-29 04:09
Automatic Estimation of Verified Floating-Point Round-Off Errors via Static Analysisd numerical error bounds. The proposed technique is implemented in the prototype research tool PRECiSA (Program Round-off Error Certifier via Static Analysis) and used in the verification of floating-point programs of interest to NASA.作者: Wallow 時(shí)間: 2025-3-29 07:18 作者: 征兵 時(shí)間: 2025-3-29 12:48 作者: 施加 時(shí)間: 2025-3-29 17:39 作者: 令人苦惱 時(shí)間: 2025-3-29 23:25
Life and Works of the Banū MūsàADS itself can compensate for a lower sensor capability, by for example lowering the speed or increasing the distances. The proposed design strategy allocates safety requirements on the sensors to determine their own capability. This capability is then to be balanced by the tactical decisions of the ADS equipped road vehicle.作者: 乏味 時(shí)間: 2025-3-30 02:59 作者: 落葉劑 時(shí)間: 2025-3-30 04:53 作者: 平項(xiàng)山 時(shí)間: 2025-3-30 09:45 作者: 刺激 時(shí)間: 2025-3-30 12:41
Sound from the Boltzmann Equation,evidence needed to satisfy certification objectives regarding fault detection and mitigation in a realistic avionics application via safety cases. We use this method for the choice of an appropriate compiler to support the development of a drone.作者: Nmda-Receptor 時(shí)間: 2025-3-30 19:54 作者: 連系 時(shí)間: 2025-3-30 22:56
Arguing on Software-Level Verification Techniques Appropriatenessevidence needed to satisfy certification objectives regarding fault detection and mitigation in a realistic avionics application via safety cases. We use this method for the choice of an appropriate compiler to support the development of a drone.作者: single 時(shí)間: 2025-3-31 03:27
A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systemslutions so that a concrete SSV can be derived systematically and efficiently, and that new solutions can be embedded in it and get evaluated against existing approaches. To exemplify our vision, we present an SSV that is based on the ISO 22839 standard for forward collision mitigation.作者: BLOT 時(shí)間: 2025-3-31 08:33
