Critical Software

14,000,000 Leading Edge Experts on the ideXlab platform

Scan Science and Technology

Contact Leading Edge Experts & Companies

Scan Science and Technology

Contact Leading Edge Experts & Companies

The Experts below are selected from a list of 158175 Experts worldwide ranked by ideXlab platform

Azeem Ayoob - One of the best experts on this subject based on the ideXlab platform.

  • XP/Agile Universe - Tailoring XP for Large System Mission Critical Software Development
    Extreme Programming and Agile Methods — XP Agile Universe 2002, 2002
    Co-Authors: Jason S Bowers, John May, Erik Melander, Matthew A Baarman, Azeem Ayoob
    Abstract:

    A plethora of subjective evidence exists to support the use of agile development methods on non-life-Critical Software projects. Until recently, Extreme Programming and Agile Methods have been sparsely applied to Mission Critical Software products. This paper gives some objective evidence, through our experiences, that agile methods can be applied to life Critical systems. This paper describes a Large System Mission Critical Software project developed using an agile methodology. The paper discusses our development process through some of the key components of Extreme Programming (XP).

  • tailoring xp for large system mission Critical Software development
    Lecture Notes in Computer Science, 2002
    Co-Authors: Jason S Bowers, John May, Erik Melander, Matthew A Baarman, Azeem Ayoob
    Abstract:

    A plethora of subjective evidence exists to support the use of agile development methods on non-life-Critical Software projects. Until recently, Extreme Programming and Agile Methods have been sparsely applied to Mission Critical Software products. This paper gives some objective evidence, through our experiences, that agile methods can be applied to life Critical systems. This paper describes a Large System Mission Critical Software project developed using an agile methodology. The paper discusses our development process through some of the key components of Extreme Programming (XP).

Xu Zhong-wei - One of the best experts on this subject based on the ideXlab platform.

  • General Safety Test Method of Safety-Critical Software
    Computer Engineering, 2010
    Co-Authors: Xu Zhong-wei
    Abstract:

    The traditional test script language and test strategy can not satisfy the test requirement of safety-Critical Software test.Aiming at this problem,based on the requirement of the safety-Critical Software testing,this paper proposes a new safety test method,which uses safety test strategy based on scenario-event and designs a new safety test script language based on the new strategy.The safety test simulation results of the train control center of existing line show the validity of the method.

  • Safety Analysis of Safety-Critical Software Based on UML Sequence Diagrams
    Computer Engineering, 2008
    Co-Authors: Xu Zhong-wei
    Abstract:

    Safety analysis is very important to the Software system which matches the safety requirement.Based on the model of safety-Critical Software,this paper analyzes the existing safety analysis methods and UML modeling language in the applications of safety-Critical Software, proposes a new method of safety description against the weakness of UML modeling language,and sets up a model of ATP system to verily the feasibility and validity of the method.

Jason S Bowers - One of the best experts on this subject based on the ideXlab platform.

  • XP/Agile Universe - Tailoring XP for Large System Mission Critical Software Development
    Extreme Programming and Agile Methods — XP Agile Universe 2002, 2002
    Co-Authors: Jason S Bowers, John May, Erik Melander, Matthew A Baarman, Azeem Ayoob
    Abstract:

    A plethora of subjective evidence exists to support the use of agile development methods on non-life-Critical Software projects. Until recently, Extreme Programming and Agile Methods have been sparsely applied to Mission Critical Software products. This paper gives some objective evidence, through our experiences, that agile methods can be applied to life Critical systems. This paper describes a Large System Mission Critical Software project developed using an agile methodology. The paper discusses our development process through some of the key components of Extreme Programming (XP).

  • tailoring xp for large system mission Critical Software development
    Lecture Notes in Computer Science, 2002
    Co-Authors: Jason S Bowers, John May, Erik Melander, Matthew A Baarman, Azeem Ayoob
    Abstract:

    A plethora of subjective evidence exists to support the use of agile development methods on non-life-Critical Software projects. Until recently, Extreme Programming and Agile Methods have been sparsely applied to Mission Critical Software products. This paper gives some objective evidence, through our experiences, that agile methods can be applied to life Critical systems. This paper describes a Large System Mission Critical Software project developed using an agile methodology. The paper discusses our development process through some of the key components of Extreme Programming (XP).

Jiong Yan - One of the best experts on this subject based on the ideXlab platform.

  • Reducing Safety-Critical Software Statistical Testing Cost Based on Importance Sampling Technique
    Advanced Materials Research, 2012
    Co-Authors: Jiong Yan, Chang-Hong Deng
    Abstract:

    Safety-Critical Software often includes some rarely executed Critical operations that are often inadequately tested in statistical testing based reliability estimation. However, it is necessary to assess the reliability of safety-Critical Software to a high degree of confidence before it is deployed in the field. This paper discusses how to reduce safety-Critical Software statistical testing cost based on importance sampling technique. When both the Critical operations and the entire Software are adequately tested, the method can still compute the unbiased Software reliability from the test results with much less test cases. Thus, the statistical testing cost of safety-Critical Software can be reduced effectively The simulated annealing algorithm for calculating optimum transition probabilities of the Markov chain usage model for reducing Software statistical testing cost is also presented.

  • Importance Sampling Based Safety-Critical Software Statistical Testing Acceleration
    2010 International Conference on Computational Intelligence and Software Engineering, 2010
    Co-Authors: Jiong Yan, Chang-Hong Deng, Kun-peng Zhou, Meng-Luo Ji
    Abstract:

    It is necessary to assess the reliability of safety-Critical Software to a high degree of confidence before they are deployed in the field. However, safety-Critical Software often includes some rarely executed Critical operations that are often inadequately tested in statistical testing based reliability estimation. This paper discusses Software statistical testing acceleration based on importance sampling technique. When both the Critical operations and the entire Software are adequately tested, the method can still get the unbiased Software reliability from the test results with much less test cases. Thus, the statistical testing cost of safety-Critical Software can be reduced effectively The simulated annealing algorithm for calculating optimum transition probabilities of the Markov chain usage model for Software statistical testing accelerating is also presented.

  • ISPA - UML based statistical testing acceleration of distributed safety-Critical Software
    Parallel and Distributed Processing and Applications, 2004
    Co-Authors: Jiong Yan, Ji Wang, Huo-wang Chen
    Abstract:

    It is necessary to assess the reliability of distributed safety-Critical systems to a high degree of confidence before they are deployed in the field. However, distributed safety-Critical Software systems often include some rarely executed Critical functions that are often inadequately tested in statistical testing based reliability estimation. This paper presents a method that can accelerate statistical testing of distributed safety-Critical Software. The method starts with the derivation of scenario usage diagram model (SUD) from UML diagrams annotated with usage related attributes and reliability attributes. Then the statistical testing accelerating method based on importance sampling is presented. When both the Critical scenarios and the entire Software are adequately tested, the method can still compute the unbiased Software reliability from the test results with much less test cases. Thus, the statistical testing cost of distributed safety-Critical Software can be reduced effectively.

John May - One of the best experts on this subject based on the ideXlab platform.

  • XP/Agile Universe - Tailoring XP for Large System Mission Critical Software Development
    Extreme Programming and Agile Methods — XP Agile Universe 2002, 2002
    Co-Authors: Jason S Bowers, John May, Erik Melander, Matthew A Baarman, Azeem Ayoob
    Abstract:

    A plethora of subjective evidence exists to support the use of agile development methods on non-life-Critical Software projects. Until recently, Extreme Programming and Agile Methods have been sparsely applied to Mission Critical Software products. This paper gives some objective evidence, through our experiences, that agile methods can be applied to life Critical systems. This paper describes a Large System Mission Critical Software project developed using an agile methodology. The paper discusses our development process through some of the key components of Extreme Programming (XP).

  • tailoring xp for large system mission Critical Software development
    Lecture Notes in Computer Science, 2002
    Co-Authors: Jason S Bowers, John May, Erik Melander, Matthew A Baarman, Azeem Ayoob
    Abstract:

    A plethora of subjective evidence exists to support the use of agile development methods on non-life-Critical Software projects. Until recently, Extreme Programming and Agile Methods have been sparsely applied to Mission Critical Software products. This paper gives some objective evidence, through our experiences, that agile methods can be applied to life Critical systems. This paper describes a Large System Mission Critical Software project developed using an agile methodology. The paper discusses our development process through some of the key components of Extreme Programming (XP).