標題: Titlebook: Computer Safety, Reliability, and Security; SAFECOMP 2012 Worksh Frank Ortmeier,Peter Daniel Conference proceedings 2012 Springer-Verlag Be [打印本頁] 作者: 管玄樂團 時間: 2025-3-21 17:56
書目名稱Computer Safety, Reliability, and Security影響因子(影響力)
書目名稱Computer Safety, Reliability, and Security影響因子(影響力)學科排名
書目名稱Computer Safety, Reliability, and Security網(wǎng)絡公開度
書目名稱Computer Safety, Reliability, and Security網(wǎng)絡公開度學科排名
書目名稱Computer Safety, Reliability, and Security被引頻次
書目名稱Computer Safety, Reliability, and Security被引頻次學科排名
書目名稱Computer Safety, Reliability, and Security年度引用
書目名稱Computer Safety, Reliability, and Security年度引用學科排名
書目名稱Computer Safety, Reliability, and Security讀者反饋
書目名稱Computer Safety, Reliability, and Security讀者反饋學科排名
作者: 小母馬 時間: 2025-3-21 20:50 作者: 損壞 時間: 2025-3-22 02:17
Analysis of the Burrows-Wheeler Transform,of tolerable fault level. Based on a common fault representation each component is characterized by its effects on the signal validity. As shown in an exemplary scenario the proposed matrix notation provides a flexible and powerful method to implement and monitor the fault propagation.作者: CARE 時間: 2025-3-22 08:33 作者: Free-Radical 時間: 2025-3-22 11:10 作者: inconceivable 時間: 2025-3-22 15:02 作者: inconceivable 時間: 2025-3-22 18:31 作者: 憲法沒有 時間: 2025-3-22 23:40 作者: inspired 時間: 2025-3-23 03:22 作者: 擴大 時間: 2025-3-23 07:42
Taking Stock and Moving Forwardto answer two questions raised by this prior work: (i) which views of the system engineers should consider when identifying interference and its management; and (ii) whether our argument pattern captures a practical way to argue about interference management.作者: Entreaty 時間: 2025-3-23 12:17 作者: 無禮回復 時間: 2025-3-23 16:19 作者: 止痛藥 時間: 2025-3-23 18:41
Assessing Software Interference Management When Modifying Safety-Related Softwareto answer two questions raised by this prior work: (i) which views of the system engineers should consider when identifying interference and its management; and (ii) whether our argument pattern captures a practical way to argue about interference management.作者: HEPA-filter 時間: 2025-3-23 22:52 作者: dura-mater 時間: 2025-3-24 02:49
https://doi.org/10.1007/978-3-319-00921-6eterogeneous, dynamic coalitions of systems of systems. For this type of systems, it is crucial to develop sound strategies that would allow safety assurance and certification to be done compositionally.作者: Chemotherapy 時間: 2025-3-24 08:32 作者: 提名 時間: 2025-3-24 13:51 作者: 荒唐 時間: 2025-3-24 17:49 作者: 討好女人 時間: 2025-3-24 20:14 作者: antidote 時間: 2025-3-25 00:30
Towards a Case-Based Reasoning Approach for Safety Assurance Reuse safety cases, which determine a unified knowledge representation scheme for retrieving further safety cases. We illustrate the approach with the development of modular argumentation for an Integrated Modular Avionics (IMA) platform.作者: chondromalacia 時間: 2025-3-25 06:08 作者: 遺傳學 時間: 2025-3-25 08:48 作者: 碎片 時間: 2025-3-25 15:11 作者: 加劇 時間: 2025-3-25 18:33 作者: adipose-tissue 時間: 2025-3-25 21:18 作者: angiography 時間: 2025-3-26 01:00
From Autonomous Vehicles to Safer Cars: Selected Challenges for the Software EngineeringEuropean’s best team “CarOLO” and its vehicle “Caroline” within that competition is outlined. Based on the experiences from that competition, remaining challenges for the software engineering are described to realize safer cars in the future.作者: Enrage 時間: 2025-3-26 08:06 作者: 禁止,切斷 時間: 2025-3-26 09:58
Conference proceedings 2012ches for safety-critical systems (Sassur), architecting safety in collaborative mobile systems (ASCoMS), dependable and secure computing for large-scale complex critical infrastructures (DESEC4LCCI), ERCIM/EWICS/cyberphysical systems (ERCIM/EWICS), and on digital engineering (IWDE).作者: 的是兄弟 時間: 2025-3-26 13:38
Time and Space: Connecting the Partsng safe coordination of movement of theme park vehicles. The framework provides rigorous means for modeling of safety requirements, and it supports evolvable product design, requirement reuse, and early integration with hardware prototypes for validation and testing.作者: OCTO 時間: 2025-3-26 20:23 作者: neutral-posture 時間: 2025-3-27 00:27 作者: 煩躁的女人 時間: 2025-3-27 01:14 作者: A精確的 時間: 2025-3-27 07:07
Modeling for Safety in a Synthesis-Centric Systems Engineering Frameworkng safe coordination of movement of theme park vehicles. The framework provides rigorous means for modeling of safety requirements, and it supports evolvable product design, requirement reuse, and early integration with hardware prototypes for validation and testing.作者: Baffle 時間: 2025-3-27 12:45
Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standardsed perspective. The paper also sets the background for developing the solution, describes real situations in which the solution can help industry, and discusses possible challenges for developing it. The solution will be developed as part of OPENCOSS, a research project on cross-domain evolutionary 作者: 向下 時間: 2025-3-27 14:04
A New Approach to Assessment of Confidence in Assurance Casesnstances into Bayesian Belief Network (BBN); running the Bayesian Belief Network, we get quantified confidence from each claim of the assurance case. Finally, we illustrate our approach by using a simplified fragment from safety cases and discuss several future work.作者: 責怪 時間: 2025-3-27 20:42 作者: PRISE 時間: 2025-3-27 22:54
https://doi.org/10.1007/978-3-642-33675-1cognitive systems; embedded systems; formal methods; middleware; performance analysis作者: lavish 時間: 2025-3-28 02:44
978-3-642-33674-4Springer-Verlag Berlin Heidelberg 2012作者: 壓迫 時間: 2025-3-28 08:41 作者: 抑制 時間: 2025-3-28 12:26
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/c/image/233737.jpg作者: BRUNT 時間: 2025-3-28 17:08
https://doi.org/10.1007/978-3-319-00921-6ng complexity and size of these systems combined with their growing market demand requires the industry to implement a coherent reuse strategy. A key difficulty appears when trying to reuse products from one application domain in another, because different domains are subject to different safety reg作者: 窒息 時間: 2025-3-28 21:52
Taking Stock and Moving Forwardeation and editing, it has a growing suite of automated features. In this paper, we highlight its capabilities for (i) inclusion of specific metadata, (ii) translation to and from various formats, including those of other widely used safety case tools, (iii) composition, with auto-generated safety c作者: 泥沼 時間: 2025-3-29 01:08
Taking Stock and Moving Forwardimplement an efficient safety assurance strategy. Reuse of safety argumentation and evidence for certification is one of the potential means for achieving such a strategy. Typically, major problems arise when the evolution of complex avionics entails the reconstruction of the entire body of safety j作者: FRAX-tool 時間: 2025-3-29 04:47 作者: innovation 時間: 2025-3-29 09:09
Taking Stock and Moving Forwardtem entail reconstruction of the body of safety evidence. When changes occur in the development or certification processes, identification of the new evidence to provide, the evidence that is no longer adequate, or the evidence that can be reused poses some challenges. Therefore, practitioners need 作者: 誘拐 時間: 2025-3-29 11:48 作者: Diverticulitis 時間: 2025-3-29 17:20
https://doi.org/10.1007/978-3-319-42384-5e “unified semantics” and “interacting entities”. Proof of concept projects have shown that the approach is valid for any type of process, also non technical engineering ones. The meta-model was used as a guideline to develop the GoedelWorks internet based platform supporting the process view (focus作者: insomnia 時間: 2025-3-29 21:32 作者: expdient 時間: 2025-3-30 03:14
https://doi.org/10.1007/978-3-319-42384-5ent sporadic failures and late-stage integration problems, the hardware properties of the processor and its peripherals have to be checked for their real-time capability at an early project stage. Selecting a configuration which enables predictable performance is an important requirement to achieve 作者: 焦慮 時間: 2025-3-30 05:05 作者: G-spot 時間: 2025-3-30 11:38
Variants of the Burrows-Wheeler Transform,that are able to interact with their environment, and exhibit “smart” and autonomous behaviour. Furthermore, collaboration between mobile entities can also be envisaged for improving their functionality. However, a fundamental challenge is to ensure that safety requirements are satisfied despite the作者: 要塞 時間: 2025-3-30 12:23 作者: 樹木心 時間: 2025-3-30 19:31
Analysis of the Burrows-Wheeler Transform, monitored during the development process and on run-time. For this purpose we presented a data centric fault categorization, fault representation and measurement validation concept..In this paper we enhance our approach and describe a fault propagation mechanism suitable for a permanent evaluation 作者: Hemiplegia 時間: 2025-3-30 22:27
How the Burrows-Wheeler Transform works,ng and analysing functional safety to also address cooperative functionality, it is not possible to keep a static view of the boundaries of the system for which to ensure safety. This is because the set of vehicles realizing a cooperative function may change a lot during the execution of the coopera作者: 咯咯笑 時間: 2025-3-31 02:44
Coders for the Burrows-Wheeler Transform,rom all-over the world had to demonstrate the autonomous driving capabilities from their robot cars in an urban-like environment. From initially 89 competitors, only eleven qualified for the final event wherein “Boss” from Carnegie Mellon finally won the race. In this article, a short overview over 作者: Petechiae 時間: 2025-3-31 05:13
https://doi.org/10.1007/978-0-387-78909-5parate aspects, up to now. This paper presents an investigation of safety-related timing constraints within the functional safety standard ISO 26262. Although the standard defines several such timing constraints it also leaves room for interpretation, which is discussed in the paper. Clear interpret作者: Lament 時間: 2025-3-31 12:09
Computer Safety, Reliability, and Security978-3-642-33675-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 翻動 時間: 2025-3-31 15:34 作者: AGOG 時間: 2025-3-31 19:20 作者: 地牢 時間: 2025-4-1 01:27
