logo
    Analysis and Establishment of Software Reliability Parameters of Astronautics Payload Software
    1
    Citation
    0
    Reference
    20
    Related Paper
    Citation Trend
    Abstract:
    The study of software reliability parameters is the premise of developing the software reliability engineering of astronautics payload systems.In this paper the software reliability of astronautics payload system is defined firstly,then a software reliability parameters list of astronautics payload systems is presented,and the generic parameters of software reliability are analyzed.This list is the premise to design and analyze the software reliability.
    Keywords:
    Astronautics
    Payload (computing)
    Avionics software
    Software reliability is one of the important indexes to evaluate the quality of software.The evaluation and test is a key method to obtain the quantificational index of software reliability.To reasonably and effectively acquire the data of software reliability is of great significance to evaluate the quality of software.Based on the developing process of embedded software for some military products,the overall evaluation process of software reliability is analyzed.In the iterative course of test-check-new edition,the test method of software load and press and the statistic technique of reliability are applied to track the change of fault intensity,and to gather and analyze the software fault data,and subsequently to evaluate software reliability.Finally,the software test and the software reliability test are contrasted to put forward the emphasis of each test.The evaluation and test of software reliability improve system reliability before the software product is applied or loaded into hardware,which provide sufficient guarantee to the reliability of military products.
    Software reliability testing
    Software sizing
    Citations (0)
    From the concept of software dynamic evolution, the influence of software evolution on software mission reliability is analyzed in this paper. Firstly, the basic question of software mission reliability for software evolution is presented. Secondly, the model framework of software mission reliability is built, and the modeling methods for software mission reliability are presented. This study can provide theoretical and engineering value for the reliability analysis and evaluation of the reconfigurable software.
    Software reliability testing
    Software evolution
    Software sizing
    To quantify software reliability,this paper introduces the progresses and methods of using software reliability models to evaluate software reliability,chooses the exponential model to evaluate reliability,according to the trend of failure of a spaceborne embedded software,the principles and methods of choosing models,and the comparison of prediction quality of those models.It executes reliability evaluation based on the software reliability test,and the results of evaluation present the reliability level of this software.
    Software reliability testing
    Software metric
    Citations (0)
    It is the first task in software reliability engineering to specify quantitative software reliability requirements. The meaning and properties of quantitative software reliability requirements are discussed. Based on the analysis of the general software reliability parameters, the software reliability parameters with defense equipment characteristics are presented, and the principles for selecting software reliability parameters and determining the reliability targets are discussed.
    Software reliability testing
    Citations (4)
    The study of software reliability is important to develop the software reliability engineering of astronautics payload systems.And that is based on the premise of establishing the software reliability parameters.The software reliability of astronautics payload systems is defined firstly,and then the generic parameters of software reliability are analyzed,finally a software reliability parameters list of as-tronautics payload systems is presented.The list is valuable to developing the software reliability engineering and it is the premise to design software reliability.
    Avionics software
    Payload (computing)
    Astronautics
    Software reliability testing
    Software sizing
    Citations (1)
    In this paper, the origin of software reliability is introduced first. The definition of software reliability, the mechanism of software failures, and the differences between software reliability and hardware reliability are discussed. Two software reliability estimation approaches based on fuzzy number arithmetic operations are proposed.
    Software reliability testing
    Software sizing
    Software metric
    Avionics software
    Citations (2)
    We propose a reconfigurable superscalar processor with two modes of operation: In safety mode the two pipelines run in lock step, executing the same instruction sequence, thus allowing to detect hardware failures. In performance mode different instruction streams are executed in parallel, just like in a standard superscalar processor. Considering that many embedded applications comprise a mixture of safety-critical and non safety-critical functions, the ability to dynamically switch between the two modes allows an efficient utilization of the duplicated pipeline. To complement the error detection enabled by the duplicated pipeline, non-duplicated components such as the register file are secured by parity. A systematic failure analysis shows that the proposed implementation can indeed detect all single faults in safety mode and that the ability to switch modes does not compromise the fail safe property. These encouraging results are finally confirmed by extensive fault injection experiments.
    Register file
    Out-of-order execution
    Lock (firearm)
    Citations (7)
    Software reliability models can provide quantitative measures of the reliability of software systems during development processes. Research activities in software reliability engineering are conducted over the past four decades, and many software reliability models are proposed. In this paper we will present our results in predicting the reliability of software and how that relates to the reliability of hardware.
    Software reliability testing
    Avionics software
    Software sizing
    This paper studies the relation between software testing and software reliability based on software reliability theory.Firstly,we give a new method to compute the software reliability,supposing testing method and testing time are known.Secondly,we study the relation between the coverage ratio of some software elements and software reliability.
    Software reliability testing
    Regression testing
    Software sizing
    Software testing
    Citations (0)
    This paper introduces the software reliability engineering and its current situation. It addresses the models, design, test process and feature of software reliability and points out its importance based on practical engineering development. It also presents the advances in engineering research and practice of this domain.
    Citations (0)