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

Zohra Cherfi-boulanger - One of the best experts on this subject based on the ideXlab platform.

  • Availability assessment of railway signalling Systems with uncertainty analysis using Statecharts
    Simulation Modelling Practice and Theory, 2014
    Co-Authors: Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-boulanger
    Abstract:

    In this paper, we propose an original simulation approach to evaluate the availability of Systems in the presence of state uncertainty which arises from incompleteness or imprecision of knowledge and data. This approach is based on a simulation method combining the belief functions theory and the Statecharts. Then we propose a Statechart model of a railway signalling System, European Rail Traffic Management System (ERTMS) Level 2 considering state uncertainty, and evaluate its availability according to the RAMS requirements defined in the railway standards. Finally we propose a sensitivity analysis to estimate the state uncertainty of which constituent System has the most significant influence on the state uncertainty of the entire ERTMS Level 2.

  • Modeling of ERTMS Level 2 as an SoS and Evaluation of its Dependability Parameters Using Statecharts
    IEEE Systems Journal, 2014
    Co-Authors: Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-boulanger
    Abstract:

    In this paper, we consider the European Rail Traffic Management System (ERTMS) as a System-of-Systems (SoS) and propose modeling it using Unified Modeling Language statecharts. We define the performance evaluation of the SoS in terms of dependability parameters and average time spent in each state (working state, degraded state, and failed state). The originality of this work lies in the approach that considers ERTMS Level 2 as an SoS and seeks to evaluate its dependability parameters by considering the unavailability of the whole SoS as an emergent property. In addition, human factors, network failures, Common-Cause Failures (CCFs), and imprecise failure and repair rates are taken into account in the proposed model.

Siqi Qiu - One of the best experts on this subject based on the ideXlab platform.

  • Availability assessment of railway signalling Systems with uncertainty analysis using Statecharts
    Simulation Modelling Practice and Theory, 2014
    Co-Authors: Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-boulanger
    Abstract:

    In this paper, we propose an original simulation approach to evaluate the availability of Systems in the presence of state uncertainty which arises from incompleteness or imprecision of knowledge and data. This approach is based on a simulation method combining the belief functions theory and the Statecharts. Then we propose a Statechart model of a railway signalling System, European Rail Traffic Management System (ERTMS) Level 2 considering state uncertainty, and evaluate its availability according to the RAMS requirements defined in the railway standards. Finally we propose a sensitivity analysis to estimate the state uncertainty of which constituent System has the most significant influence on the state uncertainty of the entire ERTMS Level 2.

  • Modeling of ERTMS Level 2 as an SoS and Evaluation of its Dependability Parameters Using Statecharts
    IEEE Systems Journal, 2014
    Co-Authors: Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-boulanger
    Abstract:

    In this paper, we consider the European Rail Traffic Management System (ERTMS) as a System-of-Systems (SoS) and propose modeling it using Unified Modeling Language statecharts. We define the performance evaluation of the SoS in terms of dependability parameters and average time spent in each state (working state, degraded state, and failed state). The originality of this work lies in the approach that considers ERTMS Level 2 as an SoS and seeks to evaluate its dependability parameters by considering the unavailability of the whole SoS as an emergent property. In addition, human factors, network failures, Common-Cause Failures (CCFs), and imprecise failure and repair rates are taken into account in the proposed model.

Rosmira Roslan - One of the best experts on this subject based on the ideXlab platform.

  • a formal transformation method for automated fault tree generation from a uml activity model
    arXiv: Software Engineering, 2018
    Co-Authors: Charles E Dickerson, Rosmira Roslan
    Abstract:

    Fault analysis and resolution of faults should be part of any end-to-end System development process. This paper is concerned with developing a formal transformation method that maps control flows modeled in UML Activities to semantically equivalent Fault Trees. The transformation method developed features the use of propositional calculus and probability theory. Fault Propagation Chains are introduced to facilitate the transformation method. An overarching metamodel comprised of transformations between models is developed and is applied to an understood Traffic Management System of Systems problem to demonstrate the approach. In this way, the relational structure of the System behavior model is reflected in the structure of the Fault Tree. The paper concludes with a discussion of limitations of the transformation method and proposes approaches to extend it to object flows, State Machines and functional allocations.

  • a formal transformation method for automated fault tree generation from a uml activity model
    IEEE Transactions on Reliability, 2018
    Co-Authors: Charles E Dickerson, Rosmira Roslan
    Abstract:

    Fault analysis and resolution of faults should be part of any end-to-end System development process. This paper is concerned with developing a formal transformation method that maps control flows modeled in unified modeling language activities to semantically equivalent fault trees. The transformation method developed features the use of propositional calculus and probability theory. Fault propagation chains are introduced to facilitate the method. An overarching metamodel comprised of transformations between models is developed and is applied to an understood Traffic Management System of Systems problem to demonstrate the approach. In this way, the relational structure of the System behavior model is reflected in the structure of the fault tree. The paper concludes with a discussion of limitations of the transformation method and proposes approaches to extend it to object flows, state machines, and functional allocations.

Walter Schön - One of the best experts on this subject based on the ideXlab platform.

  • Availability assessment of railway signalling Systems with uncertainty analysis using Statecharts
    Simulation Modelling Practice and Theory, 2014
    Co-Authors: Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-boulanger
    Abstract:

    In this paper, we propose an original simulation approach to evaluate the availability of Systems in the presence of state uncertainty which arises from incompleteness or imprecision of knowledge and data. This approach is based on a simulation method combining the belief functions theory and the Statecharts. Then we propose a Statechart model of a railway signalling System, European Rail Traffic Management System (ERTMS) Level 2 considering state uncertainty, and evaluate its availability according to the RAMS requirements defined in the railway standards. Finally we propose a sensitivity analysis to estimate the state uncertainty of which constituent System has the most significant influence on the state uncertainty of the entire ERTMS Level 2.

  • Modeling of ERTMS Level 2 as an SoS and Evaluation of its Dependability Parameters Using Statecharts
    IEEE Systems Journal, 2014
    Co-Authors: Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-boulanger
    Abstract:

    In this paper, we consider the European Rail Traffic Management System (ERTMS) as a System-of-Systems (SoS) and propose modeling it using Unified Modeling Language statecharts. We define the performance evaluation of the SoS in terms of dependability parameters and average time spent in each state (working state, degraded state, and failed state). The originality of this work lies in the approach that considers ERTMS Level 2 as an SoS and seeks to evaluate its dependability parameters by considering the unavailability of the whole SoS as an emergent property. In addition, human factors, network failures, Common-Cause Failures (CCFs), and imprecise failure and repair rates are taken into account in the proposed model.

Mohamed Sallak - One of the best experts on this subject based on the ideXlab platform.

  • Availability assessment of railway signalling Systems with uncertainty analysis using Statecharts
    Simulation Modelling Practice and Theory, 2014
    Co-Authors: Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-boulanger
    Abstract:

    In this paper, we propose an original simulation approach to evaluate the availability of Systems in the presence of state uncertainty which arises from incompleteness or imprecision of knowledge and data. This approach is based on a simulation method combining the belief functions theory and the Statecharts. Then we propose a Statechart model of a railway signalling System, European Rail Traffic Management System (ERTMS) Level 2 considering state uncertainty, and evaluate its availability according to the RAMS requirements defined in the railway standards. Finally we propose a sensitivity analysis to estimate the state uncertainty of which constituent System has the most significant influence on the state uncertainty of the entire ERTMS Level 2.

  • Modeling of ERTMS Level 2 as an SoS and Evaluation of its Dependability Parameters Using Statecharts
    IEEE Systems Journal, 2014
    Co-Authors: Siqi Qiu, Mohamed Sallak, Walter Schön, Zohra Cherfi-boulanger
    Abstract:

    In this paper, we consider the European Rail Traffic Management System (ERTMS) as a System-of-Systems (SoS) and propose modeling it using Unified Modeling Language statecharts. We define the performance evaluation of the SoS in terms of dependability parameters and average time spent in each state (working state, degraded state, and failed state). The originality of this work lies in the approach that considers ERTMS Level 2 as an SoS and seeks to evaluate its dependability parameters by considering the unavailability of the whole SoS as an emergent property. In addition, human factors, network failures, Common-Cause Failures (CCFs), and imprecise failure and repair rates are taken into account in the proposed model.