A novel approach towards model-driven reliability analysis of Simulink models | IEEE Conference Publication | IEEE Xplore

A novel approach towards model-driven reliability analysis of Simulink models


Abstract:

In the recent decade, many formalisms and tools have emerged for model-driven Non-Functional Property (NFP) specification and assessment. In this direction, model-driven ...Show More

Abstract:

In the recent decade, many formalisms and tools have emerged for model-driven Non-Functional Property (NFP) specification and assessment. In this direction, model-driven reliability and safety assessment of engineering systems developed using Matlab/Simulink is an emerging research challenge. However, a generic mechanism for NFP specification in the Simulink design model is not yet supported. Further, a completely automated model-based workflow for synthesis of a NFP analysis model and its subsequent analysis in a NFP analysis tool is missing. In this context, this paper proposes a novel approach and a fully automated workflow towards model-driven reliability analysis of Simulink models. An approach to annotate the Simulink design models with reliability attributes and subsequent synthesis of fault trees from the annotated design model is described. A prototype and initial experimental results are discussed.
Date of Conference: 06-09 September 2016
Date Added to IEEE Xplore: 07 November 2016
ISBN Information:
Conference Location: Berlin, Germany

References

References is not available for this document.