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 MoreMetadata
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.
Published in: 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)
Date of Conference: 06-09 September 2016
Date Added to IEEE Xplore: 07 November 2016
ISBN Information: