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

Shangping Ren - One of the best experts on this subject based on the ideXlab platform.

  • safetrace a safety driven Requirement Traceability framework on device interaction hazards for md pnp
    ACM Symposium on Applied Computing, 2018
    Co-Authors: Maryam Rahmaniheris, Yu Jiang, Lui Sha, Shangping Ren
    Abstract:

    Requirements management and safety analysis have been the key foundations of the successful development of life-critical systems, and the Traceability of safety-related artifacts across such systems is becoming ever more important. Unless safety analysts can trace when and how Requirements and design change, their analysis will become inconsistent, and eventually fail as proof that a given system can mitigate certain faults during certification processes. However, most prior research on Traceability has focused on Requirements, design and source code changes, rather than the integration of safety analysis by considering device interactions such as the Medical Device plug-and-play (MD PnP) into Traceability and change-impact analysis. To help fill this gap, this paper proposes a safety-driven Requirement Traceability framework, SafeTrace, that traces the relations between safety Requirements, design, and safety analysis, and the impact of Requirement and design changes on safety analysis for life-critical systems with a focus on medical device interaction hazards.

Ounsa Roudies - One of the best experts on this subject based on the ideXlab platform.

  • On the use of model transformation for Requirements trace models generation
    2017 International Conference on Wireless Technologies Embedded and Intelligent Systems (WITS), 2017
    Co-Authors: Saida Haidrar, Adil Anwar, Ounsa Roudies
    Abstract:

    Requirements Traceability is handled in order to help stakeholders understanding existing dependencies between Requirements and development artifacts. In this paper, we aim at taking advantage from system engineering and model-driven engineering field in order to automatically generate trace links from SYSML models. Our approach establishes a transformation of Requirement diagrams and design diagrams into a trace model. The input SYSML model is compliant with the SYSML4Traceability profile that helps in capturing all Traceability data before performing the transformation. The generated trace model is compliant with a trace meta-model and depicts various links between Requirements and design artifacts so as to ensure Requirement Traceability at different levels of granularity. We experiment this approach by extracting Requirements traces relevant to the anti-lock braking system.

  • towards a generic framework for Requirements Traceability management for sysml language
    IEEE International Colloquium on Information Science and Technology, 2016
    Co-Authors: Saida Haidrar, Adil Anwar, Ounsa Roudies
    Abstract:

    Requirements Traceability provides support to check that the final system meets stakeholders' Requirements. Although the important role of Requirements Traceability is widely recognized, the application of Traceability methods remains limited and varies from one development team to another. In this work, we aim at providing a common approach for Requirements Traceability in case of complex system development. A generic framework has been devised to manage Requirement Traceability along system development process. We propose a metamodel in order to define trace models and give a representation for all system artifacts and trace links. We have then included a Trace generation activity based on an algorithm to automate the trace models extraction. We use a Temperature Control System in order to apply our Traceability framework.

  • CIST - Towards a generic framework for Requirements Traceability management for SysML language
    2016 4th IEEE International Colloquium on Information Science and Technology (CiSt), 2016
    Co-Authors: Saida Haidrar, Adil Anwar, Ounsa Roudies
    Abstract:

    Requirements Traceability provides support to check that the final system meets stakeholders' Requirements. Although the important role of Requirements Traceability is widely recognized, the application of Traceability methods remains limited and varies from one development team to another. In this work, we aim at providing a common approach for Requirements Traceability in case of complex system development. A generic framework has been devised to manage Requirement Traceability along system development process. We propose a metamodel in order to define trace models and give a representation for all system artifacts and trace links. We have then included a Trace generation activity based on an algorithm to automate the trace models extraction. We use a Temperature Control System in order to apply our Traceability framework.

Poong Hyun Seong - One of the best experts on this subject based on the ideXlab platform.

  • An effective technique for the software Requirements analysis of NPP safety-critical systems, based on software inspection, Requirements Traceability, and formal specification
    Reliability Engineering & System Safety, 2005
    Co-Authors: Poong Hyun Seong
    Abstract:

    A thorough Requirements analysis is indispensable for developing and implementing safety-critical software systems such as nuclear power plant (NPP) software systems because a single error in the Requirements can generate serious software faults. However, it is very difficult to completely analyze system Requirements. In this paper, an effective technique for the software Requirements analysis is suggested. For Requirements verification and validation (V&V) tasks, our technique uses software inspection, Requirement Traceability, and formal specification with structural decomposition. Software inspection and Requirements Traceability analysis are widely considered the most effective software V&V methods. Although formal methods are also considered an effective V&V activity, they are difficult to use properly in the nuclear fields as well as in other fields because of their mathematical nature. In this work, we propose an integrated environment (IE) approach for Requirements, which is an integrated approach that enables easy inspection by combining Requirement Traceability and effective use of a formal method. The paper also introduces computer-aided tools for supporting IE approach for Requirements. Called the nuclear software inspection support and Requirements Traceability (NuSISRT), the tool incorporates software inspection, Requirement Traceability, and formal specification capabilities. We designed the NuSISRT to partially automate software inspection and analysis of Requirement Traceability. In addition, for the formal specification and analysis, we used the formal Requirements specification and analysis tool for nuclear engineering (NuSRS).

Maryam Rahmaniheris - One of the best experts on this subject based on the ideXlab platform.

  • safetrace a safety driven Requirement Traceability framework on device interaction hazards for md pnp
    ACM Symposium on Applied Computing, 2018
    Co-Authors: Maryam Rahmaniheris, Yu Jiang, Lui Sha, Shangping Ren
    Abstract:

    Requirements management and safety analysis have been the key foundations of the successful development of life-critical systems, and the Traceability of safety-related artifacts across such systems is becoming ever more important. Unless safety analysts can trace when and how Requirements and design change, their analysis will become inconsistent, and eventually fail as proof that a given system can mitigate certain faults during certification processes. However, most prior research on Traceability has focused on Requirements, design and source code changes, rather than the integration of safety analysis by considering device interactions such as the Medical Device plug-and-play (MD PnP) into Traceability and change-impact analysis. To help fill this gap, this paper proposes a safety-driven Requirement Traceability framework, SafeTrace, that traces the relations between safety Requirements, design, and safety analysis, and the impact of Requirement and design changes on safety analysis for life-critical systems with a focus on medical device interaction hazards.

  • SAC - Safetrace: a safety-driven Requirement Traceability framework on device interaction hazards for MD PnP
    Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18, 2018
    Co-Authors: Andrew Y.-z. Ou, Maryam Rahmaniheris, Yu Jiang, Zhicheng Fu
    Abstract:

    Requirements management and safety analysis have been the key foundations of the successful development of life-critical systems, and the Traceability of safety-related artifacts across such systems is becoming ever more important. Unless safety analysts can trace when and how Requirements and design change, their analysis will become inconsistent, and eventually fail as proof that a given system can mitigate certain faults during certification processes. However, most prior research on Traceability has focused on Requirements, design and source code changes, rather than the integration of safety analysis by considering device interactions such as the Medical Device plug-and-play (MD PnP) into Traceability and change-impact analysis. To help fill this gap, this paper proposes a safety-driven Requirement Traceability framework, SafeTrace, that traces the relations between safety Requirements, design, and safety analysis, and the impact of Requirement and design changes on safety analysis for life-critical systems with a focus on medical device interaction hazards.

Saida Haidrar - One of the best experts on this subject based on the ideXlab platform.

  • On the use of model transformation for Requirements trace models generation
    2017 International Conference on Wireless Technologies Embedded and Intelligent Systems (WITS), 2017
    Co-Authors: Saida Haidrar, Adil Anwar, Ounsa Roudies
    Abstract:

    Requirements Traceability is handled in order to help stakeholders understanding existing dependencies between Requirements and development artifacts. In this paper, we aim at taking advantage from system engineering and model-driven engineering field in order to automatically generate trace links from SYSML models. Our approach establishes a transformation of Requirement diagrams and design diagrams into a trace model. The input SYSML model is compliant with the SYSML4Traceability profile that helps in capturing all Traceability data before performing the transformation. The generated trace model is compliant with a trace meta-model and depicts various links between Requirements and design artifacts so as to ensure Requirement Traceability at different levels of granularity. We experiment this approach by extracting Requirements traces relevant to the anti-lock braking system.

  • towards a generic framework for Requirements Traceability management for sysml language
    IEEE International Colloquium on Information Science and Technology, 2016
    Co-Authors: Saida Haidrar, Adil Anwar, Ounsa Roudies
    Abstract:

    Requirements Traceability provides support to check that the final system meets stakeholders' Requirements. Although the important role of Requirements Traceability is widely recognized, the application of Traceability methods remains limited and varies from one development team to another. In this work, we aim at providing a common approach for Requirements Traceability in case of complex system development. A generic framework has been devised to manage Requirement Traceability along system development process. We propose a metamodel in order to define trace models and give a representation for all system artifacts and trace links. We have then included a Trace generation activity based on an algorithm to automate the trace models extraction. We use a Temperature Control System in order to apply our Traceability framework.

  • CIST - Towards a generic framework for Requirements Traceability management for SysML language
    2016 4th IEEE International Colloquium on Information Science and Technology (CiSt), 2016
    Co-Authors: Saida Haidrar, Adil Anwar, Ounsa Roudies
    Abstract:

    Requirements Traceability provides support to check that the final system meets stakeholders' Requirements. Although the important role of Requirements Traceability is widely recognized, the application of Traceability methods remains limited and varies from one development team to another. In this work, we aim at providing a common approach for Requirements Traceability in case of complex system development. A generic framework has been devised to manage Requirement Traceability along system development process. We propose a metamodel in order to define trace models and give a representation for all system artifacts and trace links. We have then included a Trace generation activity based on an algorithm to automate the trace models extraction. We use a Temperature Control System in order to apply our Traceability framework.