作者: 帶來(lái) 時(shí)間: 2025-3-22 00:06
,Formal semantics for Ward & Mellor’s transformation schemas and the specification of fault-tolerant92]. Each model has its own application area, e.g., one fits best for fault-tolerant systems, but only one model is modular. A number of ambiguities and inconsistencies in Ward & Mellor‘s original definition is resolved.作者: 自由職業(yè)者 時(shí)間: 2025-3-22 00:24 作者: 外貌 時(shí)間: 2025-3-22 07:10
Coverage of delay faults: When 13% and 99% mean the same, develop a procedure for fast, simulation-free grading of delay faults. It is shown that, depending on what “detection of a delay fault by an input pattern” means, a randomly generated test sequence can provide very different values of fault coverage; these values range, for one of the examined benchmark circuits, from 13% to over 99%.作者: 金盤是高原 時(shí)間: 2025-3-22 10:36 作者: 得體 時(shí)間: 2025-3-22 14:22
Stratospheric-Mesospheric Midwinter Warmingseriodic workload. Such a methodology allows us to define optimization strategies whose goal is to determine the optimal trade-off between the system cost and the overall quality of the delivered service.作者: 得體 時(shí)間: 2025-3-22 20:33
Nam Q. Le,Hiroyoshi Mitake,Hung V. Tranest synthesis, multivalued simulation, testability analysis), only a single library of AGs will be used, which reduces the cost of creating and updating component libraries. Aoverview of the model and methods is given and a description of a system for automated test program generation is described.作者: Indebted 時(shí)間: 2025-3-22 23:29
Norma Montealegre,Franz J. Rammighigher or lower than a given threshold voltage. The approach is extremely faster than the previous ones since no SPICE simulation is required. The accuracy is of 0.06V to compare with SPICE simulations. In case of library based design a preliminary library characterization is possible allowing a very fast time during fault simulation.作者: 向下 時(shí)間: 2025-3-23 01:54
Marco Platzner,Jürgen Teich,Norbert Wehnments on the microprocessors 68000 and 68070. For the 68000 microprocessor, the type of double errors that occur is explained by a model based on a study of the register file layout. The experiments show a significant fraction of SEUs causing two bits to flip in the primary error manifestation.作者: 積習(xí)已深 時(shí)間: 2025-3-23 07:29
Field Service and Resource Schedulingfficult. This paper presents a method to derive such simulators systematically and efficiently. The basic idea is to inject faults into the simulator of the healthy environment system to obtain the simulators of faulty environments.作者: osteoclasts 時(shí)間: 2025-3-23 10:25 作者: 閹割 時(shí)間: 2025-3-23 14:54 作者: 雜色 時(shí)間: 2025-3-23 20:34
A fault-tolerant mechanism for simple controllers,, called RP-Actions, also guarantees that the recovery is domino-effect free. Software bugs are caught by acceptance tests as in recovery blocks. Forward error recovery is used for time, since time cannot be rolled back. Several implementations of the proposed mechanisms were made — we present in this paper some important results.作者: 失敗主義者 時(shí)間: 2025-3-24 00:12
On performability modeling and evaluation of software fault tolerance structures,alism of these analyses, due to the assumptions made to obtain mathematically tractable models, to the lack of experimental data and to the need to consider also resource consumption in the definition of the models. We consider ways of improving usability of the results of comparative evaluation for guiding design decisions.作者: 溝通 時(shí)間: 2025-3-24 04:16
0302-9743 EDCC is the merger of two former European events on dependable computing..The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced ap作者: MUT 時(shí)間: 2025-3-24 08:14 作者: 提煉 時(shí)間: 2025-3-24 12:48
Nam Q. Le,Hiroyoshi Mitake,Hung V. Tranmes a stochastic process, for which in general, no analytical solution is available. The paper describes suitable restrictions of the . model with generally distributed transition times, that have appeared in the literature, and compares these models from the point of view of the modeling power and the numerical tractability.作者: 潔凈 時(shí)間: 2025-3-24 18:33
Heiko Hinkelmann,Peter Zipf,Manfred Glesner develop a procedure for fast, simulation-free grading of delay faults. It is shown that, depending on what “detection of a delay fault by an input pattern” means, a randomly generated test sequence can provide very different values of fault coverage; these values range, for one of the examined benchmark circuits, from 13% to over 99%.作者: 松果 時(shí)間: 2025-3-24 19:40
Field Service and Resource Schedulingion for designing efficient statistical test sets of reasonable size, and (ii) to show the high fault revealing power of the corresponding mixed strategy, killing the whole set of 310 mutants involved in the experiments.作者: EVADE 時(shí)間: 2025-3-25 01:08 作者: 尋找 時(shí)間: 2025-3-25 05:51 作者: Truculent 時(shí)間: 2025-3-25 10:08
Zero aliasing compression based on groups of weakly independent outputs in circuits with high compl For the test of this structurally realized functional property in a circuit graph, reduction operations and distance operators for a given circuit graph were used. The results for stuck-at and stuck-open faults are discussed by means of the combinational ISCAS 85 benchmarks.作者: 享樂(lè)主義者 時(shí)間: 2025-3-25 15:16
Formal reasoning on fault coverage of fault tolerant techniques: A case study,nt technique can be proved to tolerate the set of predefined faults iff the actual behaviour of the system is the same as the behaviour of the system in absence of faults. The approach is illustrated by considering the design of a stable storage disk.作者: gene-therapy 時(shí)間: 2025-3-25 19:12
Optimal design of fault-tolerant soft-real-time systems with imprecise computations,eriodic workload. Such a methodology allows us to define optimization strategies whose goal is to determine the optimal trade-off between the system cost and the overall quality of the delivered service.作者: insidious 時(shí)間: 2025-3-25 21:31
Test generation for digital systems based on alternative graphs,est synthesis, multivalued simulation, testability analysis), only a single library of AGs will be used, which reduces the cost of creating and updating component libraries. Aoverview of the model and methods is given and a description of a system for automated test program generation is described.作者: MOAT 時(shí)間: 2025-3-26 02:46 作者: 推測(cè) 時(shí)間: 2025-3-26 07:24
On single event upset error manifestation,ments on the microprocessors 68000 and 68070. For the 68000 microprocessor, the type of double errors that occur is explained by a model based on a study of the register file layout. The experiments show a significant fraction of SEUs causing two bits to flip in the primary error manifestation.作者: set598 時(shí)間: 2025-3-26 11:08 作者: ULCER 時(shí)間: 2025-3-26 15:18 作者: Suppository 時(shí)間: 2025-3-26 19:25
0302-9743 plications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.978-3-540-58426-1978-3-540-48785-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 正論 時(shí)間: 2025-3-26 23:26
A model for adaptive fault-tolerant systems,istributed system is network or processor failure, fault-tolerant distributed systems can be viewed as an important subclass of adaptive systems. As such, use of adaptive methods for dealing with failures in this context has the same potential advantages of improved efficiency and structural simplic作者: Ringworm 時(shí)間: 2025-3-27 02:44
Designing secure and reliable applications using fragmentation-redundancy-scattering: an object-orincy-Scattering (FRS). The aim of FRS is to tolerate both accidental and intentional faults: the core idea consists in fragmenting confidential information in order to produce insignificant fragments and then in scattering the fragments so obtained in a redundant fashion across a distributed system, 作者: FLAT 時(shí)間: 2025-3-27 09:02
A fault-tolerant mechanism for simple controllers,t problem by making a proposal for a simple and low-cost fault-tolerant technique, yet very effective, that can be used even in the simplest controllers. The mechanism is able of tolerating both hardware and software faults. It uses behaviour-based error detection, with checkpointing and rollback, t作者: esculent 時(shí)間: 2025-3-27 10:55
,Formal semantics for Ward & Mellor’s transformation schemas and the specification of fault-tolerantor defining the semantics of Statecharts [Har88] by Pnueli and Huizing. The models developed closely resemble those used for synchronous languages [BG92]. Each model has its own application area, e.g., one fits best for fault-tolerant systems, but only one model is modular. A number of ambiguities a作者: 為寵愛(ài) 時(shí)間: 2025-3-27 15:41
Formal reasoning on fault coverage of fault tolerant techniques: A case study,em with a set of predefined faults is considered. This method is based on process algebras and equivalence theory. The behaviour of the system in absence of faults is formally specified and faults are assumed as random events which interfere with the system by modifying its behaviour. A fault tolera作者: 親屬 時(shí)間: 2025-3-27 20:54 作者: 平躺 時(shí)間: 2025-3-28 01:31 作者: ANA 時(shí)間: 2025-3-28 04:40
Computational restrictions for SPN with generally distributed transition times,oted to generalize the concept of Stochastic Petri nets, by allowing the firing times to be generally distributed. The evolution of the . in time becomes a stochastic process, for which in general, no analytical solution is available. The paper describes suitable restrictions of the . model with gen作者: LUCY 時(shí)間: 2025-3-28 07:51 作者: 犬儒主義者 時(shí)間: 2025-3-28 11:00 作者: figment 時(shí)間: 2025-3-28 15:18
Coverage of delay faults: When 13% and 99% mean the same,d definitions of delay fault testability are transformed into conditions that do not involve circuit delays. These conditions are subsequently used to develop a procedure for fast, simulation-free grading of delay faults. It is shown that, depending on what “detection of a delay fault by an input pa作者: Mystic 時(shí)間: 2025-3-28 19:05 作者: 擁護(hù) 時(shí)間: 2025-3-29 00:23 作者: adduction 時(shí)間: 2025-3-29 06:09
Injecting faults into environment simulators for testing safety critical software,ns we need to simulate the failure processes of the environment system. Such testing is essential for safety critical software, especially for protection software. However, due to the complexity of failure processes, the development of simulators of failure processes is complicated, expensive and di作者: 大炮 時(shí)間: 2025-3-29 09:32 作者: diabetes 時(shí)間: 2025-3-29 12:09 作者: initiate 時(shí)間: 2025-3-29 19:03
Zero aliasing compression based on groups of weakly independent outputs in circuits with high complof the groups of weakly independent outputs for large combinational circuits. The knowledge about the groups of weakly independent outputs is usable to reduce both the necessary number of output check bits for the built-in self-test in the average more than 80% with respect to the zero aliasing and 作者: 純樸 時(shí)間: 2025-3-29 21:05
,Systematic and design diversity — Software techniques for hardware fault detection,Duplex System. If design fault detection is required, design diversity in the software has to be used, too. We suggest the combined utilization of so called . and . in a . system instead of the structural redundant Duplex System. For this purpose two . and . variants of an application program are ex作者: BLINK 時(shí)間: 2025-3-30 02:55 作者: Trypsin 時(shí)間: 2025-3-30 07:55 作者: 全神貫注于 時(shí)間: 2025-3-30 09:08 作者: outskirts 時(shí)間: 2025-3-30 13:43 作者: Astigmatism 時(shí)間: 2025-3-30 20:29
Detection of permanent hardware faults of a floating point adder by pseudoduplication,dder all single stuck-at-0/1 faults are injected. In a first simulation experiment for random input patterns all the faults are determined which can be detected by pseudoduplication. In a second experiment for sequences of random input vectors with different lenght the probability to detect an arbitrary single fault is determined.作者: 字形刻痕 時(shí)間: 2025-3-30 22:09
Dependable Computing - EDCC-1978-3-540-48785-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Sigmoidoscopy 時(shí)間: 2025-3-31 03:21 作者: 使入迷 時(shí)間: 2025-3-31 08:43
Reporting: Views, Charts, and Dashboards,dder all single stuck-at-0/1 faults are injected. In a first simulation experiment for random input patterns all the faults are determined which can be detected by pseudoduplication. In a second experiment for sequences of random input vectors with different lenght the probability to detect an arbitrary single fault is determined.作者: 竊喜 時(shí)間: 2025-3-31 09:15 作者: 混合物 時(shí)間: 2025-3-31 13:30
Vassilis V. Markellos,Yoshihide Kozaiistributed system is network or processor failure, fault-tolerant distributed systems can be viewed as an important subclass of adaptive systems. As such, use of adaptive methods for dealing with failures in this context has the same potential advantages of improved efficiency and structural simplic作者: 相符 時(shí)間: 2025-3-31 18:50 作者: 裝飾 時(shí)間: 2025-4-1 01:45
Anisotropic Banach spaces defined via conest problem by making a proposal for a simple and low-cost fault-tolerant technique, yet very effective, that can be used even in the simplest controllers. The mechanism is able of tolerating both hardware and software faults. It uses behaviour-based error detection, with checkpointing and rollback, t作者: FLINT 時(shí)間: 2025-4-1 02:03
https://doi.org/10.1007/978-3-319-77661-3or defining the semantics of Statecharts [Har88] by Pnueli and Huizing. The models developed closely resemble those used for synchronous languages [BG92]. Each model has its own application area, e.g., one fits best for fault-tolerant systems, but only one model is modular. A number of ambiguities a作者: 不如樂(lè)死去 時(shí)間: 2025-4-1 09:44 作者: 奴才 時(shí)間: 2025-4-1 11:24
D. R. Hickman,F. A. Morse,J. B. Pranke of the more popular schemes, recovery blocks and multiple version programming. In the case considered, this adaptive scheme, “Self-Configuring Optimistic Programming” (SCOP), is equivalent to N-version programming in terms of the probability of delivering correct results, but achieves better perfor作者: 帳單 時(shí)間: 2025-4-1 16:01
