標(biāo)題: Titlebook: Computer Safety, Reliability, and Security; 23rd International C Maritta Heisel,Peter Liggesmeyer,Stefan Wittmann Conference proceedings 20 [打印本頁] 作者: 強(qiáng)烈興趣 時(shí)間: 2025-3-21 16:56
書目名稱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é)科排名
作者: 煞費(fèi)苦心 時(shí)間: 2025-3-21 21:50
The Deconstruction of Safety Arguments Through Adversarial Counter-Argumentd from literary theory as safety case analysis techniques. This paper introduces our high-level method for “deconstructing” safety arguments. Our approach is quite general and should be applicable to different types of safety argumentation framework. As one example, we outline how the approach would作者: NEG 時(shí)間: 2025-3-22 01:31
Using Fuzzy Self-Organising Maps for Safety Critical Systemsformance characteristics. Previous work has defined a safety lifecycle for ANNs without detailing a specific neural model. Building on this previous work, the underpinning of the devised model is based upon an existing neuro-fuzzy system called the Fuzzy Self-Organising Map (FSOM). The FSOM is type 作者: Landlocked 時(shí)間: 2025-3-22 05:44 作者: rectocele 時(shí)間: 2025-3-22 12:18 作者: Gingivitis 時(shí)間: 2025-3-22 13:48 作者: Gingivitis 時(shí)間: 2025-3-22 19:43 作者: 慢跑鞋 時(shí)間: 2025-3-22 23:42
Modeling Concepts for Safety-Related Requirements in Sociotechnical Systemsoning about sociotechnical safety-critical requirements in system design and management. After this we take our starting point from formal methods, requirements engineering, and software architecture. We provide special extensions for these methods which are well-suited for the special challenges of作者: 王得到 時(shí)間: 2025-3-23 04:38 作者: Ataxia 時(shí)間: 2025-3-23 08:40
Handling Safety Critical Requirements in System Engineering Using the B Formal Methodystem solution. The fundamental system engineering objective is to provide high-quality products and services, with the correct people and performances features, at an affordable price, and on time. Building critical system involves stringent management of safety critical requirements. In particular作者: 瑣事 時(shí)間: 2025-3-23 13:09 作者: 值得贊賞 時(shí)間: 2025-3-23 15:52 作者: 放肆的你 時(shí)間: 2025-3-23 20:48
Performability Measures of the Public Mobile Network of a Tele Control Systeme predicted by using stochastic models. The Tele Control System has the aim of reducing the number of accidents inside the alpine road tunnels, by implementing safety policies between Instrumented Vehicles and a Tunnel Control Centre, by means of a PMN. The use of the PMN, which supports both Global作者: 喚醒 時(shí)間: 2025-3-24 02:06
PLC-Based Safety Critical Software Development for Nuclear Power Plantsontrollers. To improve software safety, we write the software requirements specification using a formal specification notation named NuSCR [1]. NuSCR specification is then mechanically transformed into semantically equivalent Function Block Diagram(FBD), a widely used PLC programming language. Final作者: 過剩 時(shí)間: 2025-3-24 02:37
Compositional Hazard Analysis of UML Component and Deployment ModelsML as an advanced object-oriented technology provides in principle the essential concepts which are required to handle the increasing complexity of these safety-critical software systems. However, the current and forthcoming UML versions do not directly apply to the outlined problem. Available hazar作者: 相互影響 時(shí)間: 2025-3-24 09:55 作者: countenance 時(shí)間: 2025-3-24 14:24 作者: 不愛防注射 時(shí)間: 2025-3-24 17:55
Safety Requirements and Fault Trees Using Retrenchmentthis model is enriched with the detail required to deal with envisaged faults that the system is designed to be robust against, resulting in a concrete extended system model. Normally, conventional refinement cannot provide a formal account of the relationship between the two models. Retrenchment, a作者: Conclave 時(shí)間: 2025-3-24 21:10
The Effects on Reliability of Integration of Aircraft Systems Based on Integrated Modular Avionicstware–tool for interactive reliability analysis and evaluation of aircraft system configurations on the IMA platform. For this, a hybrid system model of each aircraft system, being composed of a reliability block diagram model and a model of hierarchical, concurrent finite state machines, is essenti作者: 癡呆 時(shí)間: 2025-3-25 00:17
The Beecham Manual for Family Practicey Critical Artificial Neural Network’ (SCANN). The SCANN can be used for nonlinear function approximation and allows certified learning and generalisation. A discussion of benefits for real-world applications is also presented within the paper.作者: 一小塊 時(shí)間: 2025-3-25 04:08 作者: 艱苦地移動(dòng) 時(shí)間: 2025-3-25 08:48
Some Anthropological Problems of China,bined to derive an approximation of the difficulty function. For this particular (relatively simple) problem specification, it was shown that the difficulty function derived from the program versions was fairly flat, and the reliability gain from using multi-version programs would be close to that e作者: 疏遠(yuǎn)天際 時(shí)間: 2025-3-25 13:51
https://doi.org/10.1007/978-981-15-9666-7en the mental model of operators and the system design. This paper reports an experiment in using the model-checker FDR2 for comparing system and mental models based on CSP refinement. In contrast to earlier attempts using model-checkers for this task, this approach allows a direct comparison of the作者: pus840 時(shí)間: 2025-3-25 17:30 作者: nominal 時(shí)間: 2025-3-25 21:31 作者: 共同確定為確 時(shí)間: 2025-3-26 00:39 作者: 起草 時(shí)間: 2025-3-26 07:05 作者: OWL 時(shí)間: 2025-3-26 09:50
Using Fuzzy Self-Organising Maps for Safety Critical Systemsy Critical Artificial Neural Network’ (SCANN). The SCANN can be used for nonlinear function approximation and allows certified learning and generalisation. A discussion of benefits for real-world applications is also presented within the paper.作者: 出汗 時(shí)間: 2025-3-26 16:14 作者: corpuscle 時(shí)間: 2025-3-26 17:43 作者: Robust 時(shí)間: 2025-3-26 22:32 作者: obtuse 時(shí)間: 2025-3-27 04:19
Performability Measures of the Public Mobile Network of a Tele Control Systemrmance measures. Then, at the second layer, we have built two composed models. Each composed model joins the pure availability sub model and the related pure performance sub model, in order to compute performability measures, respectively for voice and data packet services.作者: 繁榮地區(qū) 時(shí)間: 2025-3-27 08:10
PLC-Based Safety Critical Software Development for Nuclear Power Plantsd completeness checks are automated, and model checking can be performed on the NuSCR specification. Safety critical errors are less likely to be introduced to the synthesized FBD programming. As a consequence, cost of developing and validating the PLC-based software can be also reduced. The propose作者: peptic-ulcer 時(shí)間: 2025-3-27 12:29
Automatic Test Data Generation from Embedded C Codethe traditional problems associated with the symbolic execution technique have been overcome using Logic Programming and Constraint Logic Programming (CLP). The approach used to handle pointer manipulations is detailed. Interprocedural results on previously published sample code and industrial embed作者: 埋伏 時(shí)間: 2025-3-27 14:29
State-Event-Fault-Trees – A Safety Analysis Model for Software Controlled Systemso Deterministic and Stochastic Petri Nets (DSPNs) and using an existing tool for analysis. We introduce the model and the analysis procedure and provide a small case study of a fire alarm system, completed by an outlook on our tool project ESSaRel.作者: ATRIA 時(shí)間: 2025-3-27 19:18 作者: 微生物 時(shí)間: 2025-3-27 23:49 作者: 輕快來事 時(shí)間: 2025-3-28 04:55
https://doi.org/10.1007/b100227Code; IT security; QoS; Unified Modeling Language (UML); architecture; computer reliability; computer safe作者: 廚房里面 時(shí)間: 2025-3-28 06:48
978-3-540-23176-9Springer-Verlag Berlin Heidelberg 2004作者: 改良 時(shí)間: 2025-3-28 13:41
Computer Safety, Reliability, and Security978-3-540-30138-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: GROWL 時(shí)間: 2025-3-28 18:32
The Beecham Manual for Family Practicecal (i.e. even determined attackers cannot gain unauthorized access to information within and/or withhold resources of the IT-system). In future, more and more IT-systems will be both, safety- and security-critical. The reason for this is that IT-systems are embedded in ever more influential parts o作者: FRONT 時(shí)間: 2025-3-28 22:27
The Beecham Manual for Family Practiced from literary theory as safety case analysis techniques. This paper introduces our high-level method for “deconstructing” safety arguments. Our approach is quite general and should be applicable to different types of safety argumentation framework. As one example, we outline how the approach would作者: BOOST 時(shí)間: 2025-3-29 01:41
The Beecham Manual for Family Practiceformance characteristics. Previous work has defined a safety lifecycle for ANNs without detailing a specific neural model. Building on this previous work, the underpinning of the devised model is based upon an existing neuro-fuzzy system called the Fuzzy Self-Organising Map (FSOM). The FSOM is type 作者: Accomplish 時(shí)間: 2025-3-29 06:25 作者: 最有利 時(shí)間: 2025-3-29 09:17
The Beginnings of Chinese Civilizationor counts, they are reasonable targets for single and multiple transient faults. This paper presents: 1) a fault detection scheme for tag arrays of cache memories and 2) an architectural cache to improve dependability as well as performance. In this architecture, cache space is divided into sets of 作者: intertwine 時(shí)間: 2025-3-29 11:49
Some Anthropological Problems of China, expected gain in reliability of fault tolerant architectures based on diverse programs. The “difficulty function” is the likelihood that a randomly chosen program will fail for any given input value. To date this has been an abstract concept that explains why dependent failures are likely to occur.作者: DEVIL 時(shí)間: 2025-3-29 17:20 作者: 充氣女 時(shí)間: 2025-3-29 22:17 作者: 保守 時(shí)間: 2025-3-30 03:42
https://doi.org/10.1007/978-981-15-9666-7 with human operators as for example flight monitoring systems in airplanes. A “mode” is defined by a subset of system variables the values of which determine distinguishable forms of system behaviour. Critical situations can arise if the operator interacts with the system assuming a wrong mode. The作者: GRAZE 時(shí)間: 2025-3-30 04:23
Racial History of the Chinese People,ystem solution. The fundamental system engineering objective is to provide high-quality products and services, with the correct people and performances features, at an affordable price, and on time. Building critical system involves stringent management of safety critical requirements. In particular作者: Ablation 時(shí)間: 2025-3-30 09:54 作者: hieroglyphic 時(shí)間: 2025-3-30 13:49 作者: transdermal 時(shí)間: 2025-3-30 20:19
Introduction to the Space Environmente predicted by using stochastic models. The Tele Control System has the aim of reducing the number of accidents inside the alpine road tunnels, by implementing safety policies between Instrumented Vehicles and a Tunnel Control Centre, by means of a PMN. The use of the PMN, which supports both Global作者: 破裂 時(shí)間: 2025-3-30 22:34 作者: 記憶 時(shí)間: 2025-3-31 02:28
https://doi.org/10.1007/978-981-13-1105-5ML as an advanced object-oriented technology provides in principle the essential concepts which are required to handle the increasing complexity of these safety-critical software systems. However, the current and forthcoming UML versions do not directly apply to the outlined problem. Available hazar作者: fastness 時(shí)間: 2025-3-31 07:43 作者: 提名的名單 時(shí)間: 2025-3-31 11:51
https://doi.org/10.1007/978-981-13-1105-5aviour. Moreover, they should provide quantitative results for failure or hazard probabilities. Fault Trees are an accepted and intuitive model for safety analysis, but they are incapable of expressing state dependencies or temporal order of events. We propose to enrich Fault Trees with State/Event 作者: 背書 時(shí)間: 2025-3-31 13:20 作者: 容易做 時(shí)間: 2025-3-31 20:23
https://doi.org/10.1007/978-981-13-1105-5tware–tool for interactive reliability analysis and evaluation of aircraft system configurations on the IMA platform. For this, a hybrid system model of each aircraft system, being composed of a reliability block diagram model and a model of hierarchical, concurrent finite state machines, is essenti作者: GULLY 時(shí)間: 2025-3-31 22:17
