Analysis of Error Propagation In Safety Critical Software Systems: An Approach Based on Ugf

Abstract

Designing fault free software systems becomes an essential practice towards Safety Critical Software System (SCSS) manufacturing. The error free scenario of SCSS will support the systems perfect functioning. The proposed approach is based on universal generating function to compute the error inclusion in the output of the selected safety critical system. This paper presents an Error Propagation Metric called Safety Metric SMEP, which can be characterized depending on the performance rate of the software module. Through this, the performance distribution of system modules and the system with respect to safety metric SMEP is quantified. © Springer International Publishing AG 2017.