errors within an assembler program for limiting the local power density in a reactor vessel are to be identified and corrected during two test phases. According to the special features for error detection of the testi...
详细信息
errors within an assembler program for limiting the local power density in a reactor vessel are to be identified and corrected during two test phases. According to the special features for error detection of the testing facilities, the errors are classified, and an appropriate software reliability model is applied to each error class. These models allow prediction of certain reliability parameters from the observation of the test. Depending on the model employed these parameters can be e.g. the number of remaining errors, the probability for the occurance of an error within a given time interval, the meantime between successive errors. In this contribution references are only made to the number of remaining errors.
(1): I do not understand how the word “simulation” in the title can be misinterpreted as “code” or “software.”(2) and (3): I believe the confusion arises from his use of the definition of uncertainty as “A pote...
详细信息
(1): I do not understand how the word “simulation” in the title can be misinterpreted as “code” or “software.”
(2) and (3): I believe the confusion arises from his use of the definition of uncertainty as “A potential deficiency in any phase of the modeling process that is due to lack of knowledge” (which does not quantify a range within which truth lies with a specified degree of confidence) as opposed to the concepts and definitions used in current experimental uncertainty analysis 1 (which do quantify such a range).
The ranges D ± U D and S ± U S both contain (with 95% confidence) the truth T, which is independent of experiment or simulation. The assumption (also made in Oberkampf and Trucano, 2000) that D is “an individual experimental measurement” is inaccurate. The experimental result is D , and U D is the uncertainty...
Bose-Chaudhuri-Hocquenghem (BCH) and Reed-Solomon (RS) are two powerful approaches to error-control coding that ensure error-free data communications. These two codes which maximize error correctability can be decoded...
详细信息
Bose-Chaudhuri-Hocquenghem (BCH) and Reed-Solomon (RS) are two powerful approaches to error-control coding that ensure error-free data communications. These two codes which maximize error correctability can be decoded by using the Massey-Berlekamp algorithm. Even though these codes have just been recently realized as far as application in high-speed digital transmission is concerned due to complex decoding involved, they undoubtedly would be useful as a building block for the construction of error-resilient and safe file systems.
A large number of computing systems require very high levels of reliability, availability, or safety. A fault-avoidance approach is not practical in many eases, and is costly and difficult for software, if not impossi...
详细信息
A large number of computing systems require very high levels of reliability, availability, or safety. A fault-avoidance approach is not practical in many eases, and is costly and difficult for software, if not impossible. One way of reducing tiie effects of an error introduced during the design of a program is to use multiple versions of the program, independently designed from a common specification. If these versions are designed by independent programming teams, it is to be expected that a fault in one version will not have the same behavior as any fault in the other versions. Since the errors in the output of the versions will be different and uncorrclated, it is pos-sible to run the versions concurrently, cross-check their results at prespecified points, and mask errors. A Design Diversity experiments (DEDIX) testbed has been implemented at UCLA to study the influence of common mode errors which can result in a failure of the entire system. The layered design of DEDDC and its decision algorithm are described. The usage of the system and its application in an ongoing experiment are explained.
Bendix Engine Controls Division delivers a wide variety of aviation-related software, both for military applications as well as for commercial uses. Much of this software is utilized in propulsion control systems for ...
详细信息
Bendix Engine Controls Division delivers a wide variety of aviation-related software, both for military applications as well as for commercial uses. Much of this software is utilized in propulsion control systems for aircraft engines, and most involve computation functions which require the extensive use and control of embedded software. This paper will provide analyses of past and current software projects from the viewpoint of Software Quality Assurance (SQA). It will address not only the administering and enforcement of SQA policies, but also will provide workable solutions to the SQA-related problems that have surfaced. In addition, it steps through the traditional software development cycle, and pinpoints potential problem areas which may be encountered during that phase.
This paper investigates a multihopping scheme for MFSK (Multilevel Frequency Shift Keying)/FH-SSMA (Frequency Hopping-Spread Spectrum Multiple Access) system. Moreover, we propose and investigate a modified decoding s...
详细信息
This paper investigates a multihopping scheme for MFSK (Multilevel Frequency Shift Keying)/FH-SSMA (Frequency Hopping-Spread Spectrum Multiple Access) system. Moreover, we propose and investigate a modified decoding scheme for the coded MFSK/FH-SSMA system. In this multi-hopped MFSK/FH-SSMA system, several hopping frequencies per chip are assigned and transmitted in parallel in order to improve its frequency diversity capability for a fading channel. We theoretically analyze the performance of the multihopped MFSK/FH-SSMA system in a Rayleigh fading channel. Moreover, in the coded MFSK/FH-SSMA system, we propose a modified scheme of the error and erasure decoding of an error-correcting code. The modified decoding scheme utilizes the information of rows having the largest number of entries in the decoded time-frequency matrix. Their BER (Bit Error Rate) performance is evaluated by theoretical analysis in order to show the improvement in user capacity.
作者:
T. GramsFachhochschule Fulda
Fachbereich Angewandte Informatik und Mathematik Marquardstraße 35 D–6400 Fulda FRG
The deeper causes of programming faults result from behaviour patterns fitting everyday life but not extraordinary situations. Our view of life is a bad guide in strange or new situations. Thinking traps are then like...
详细信息
The deeper causes of programming faults result from behaviour patterns fitting everyday life but not extraordinary situations. Our view of life is a bad guide in strange or new situations. Thinking traps are then likely to emerge. In this paper a system of thinking traps is given and typical programming faults are analysed and interpreted with respect to this framework. Catalogues of programming faults like this are the basis on which counter-measures can be developed.
The major errors that occur in a communication channel are the random error and the burst error. The codes considered in the past are mostly to correct one of those errors. The errors that occur in an actual channel, ...
详细信息
The major errors that occur in a communication channel are the random error and the burst error. The codes considered in the past are mostly to correct one of those errors. The errors that occur in an actual channel, however, are not necessarily restricted to either the random or the burst error. It is obviously more general to consider the case where both types of error occur in a mixed way. This paper considers the case where the random and the burst errors occur in the same code word, and proposes the construction of the code, together with the decoding method, to enable errors to be corrected with a sufficiently high probability. The proposed code is constructed by combining the BCH code with the Fire code, which is the burst error-correcting code. Hence, the random error-correcting ability also is provided. The property that the burst error pattern can approximately be derived is utilized even if there exists a random error, and both errors can be corrected. Then, a code with a higher efficiency is given and is compared to the Reed-Solomon code. It is shown, as a result, that the coding/decoding method proposed in this paper is useful in the bursty compound-error channel.
This paper considers Action Unit (AU) as a segment of model-based coded facial image of human being and define the importance for each AU. According to the importance, an AU is encoded by an appropriated code among co...
详细信息
This paper considers Action Unit (AU) as a segment of model-based coded facial image of human being and define the importance for each AU. According to the importance, an AU is encoded by an appropriated code among codes with different error-correcting capabilities. For encoding with different error controlling codes, three kinds of constructions to obtain unequal error protection (UEP codes are described in this paper. One of them is direct sum construction and the others are the proposed construction which are based on joint and double coding. By using these UEP codes, the proposed intelligent error-controlling scheme can protect information in segment in order to reduce semantic errors over a conventional error-controlling scheme in which information is unformly protected by an error-correcting code.
A new method of additive coding is proposed, which provides for a simpler and faster coder design than the known ones. The coders built by this method enhance tolerance of computer systems to faults in both memory loc...
详细信息
A new method of additive coding is proposed, which provides for a simpler and faster coder design than the known ones. The coders built by this method enhance tolerance of computer systems to faults in both memory locations and parallel communication lines.
暂无评论