Abstract
Quantitative and analytical safety assessment methods of E/E/PE safety-related software systems based on the SIL defined by IEC 61508 have been proposed. IEC 61508 does not provide us with quantitative and analytical methods for safety assessment of the software. Our methods give us quantitative information on safety measures for deciding the safety integrity level and testing time duration for achieving certain safety integrity level of E/E/PE software, respectively. Our stochastic modeling approaches are based on software reliability modeling and software reliability assessment techniques. Numerical examples for our methods have been shown for explaining how to use our software safety assessment approaches conforming IEC 61508.
Highlights
Functional safety means maintaining certain safety level by the functional aspects
This paper proposes probability model-based methods for conducting quantitative software safety assessment with the time-varying uncertainty of dangerous software failure-occurrences of the E/E/PE systems by applying techniques in reliability modeling for software
More investigations on our approaches with appropriate values of EC and DFR are needed by using software failure and dangerous failure data collected from testing for the E/E/PE system software and more investigations on the suitable mathematical structure of the environment function are needed for improving the accuracy of safety assessment
Summary
Functional safety means maintaining certain safety level by the functional aspects. In other words, the purpose of functional safety is the transition to or maintain specified safety state by automatic protection function. This paper proposes probability model-based methods for conducting quantitative software safety assessment with the time-varying uncertainty of dangerous software failure-occurrences of the E/E/PE systems by applying techniques in reliability modeling for software. This problem should be very important for management of designing and checking the safety level of the systems. The aims and objectives of our research work is to propose estimation methods for the target failure measures based on the existing notion of reliability modeling and assessment techniques for software system. Existing software reliability modeling and assessment technologies have been efficiently utilized in developing our mathematical models for estimating the targe failure measures, such as PFD and PFH, in this paper. The contribution, implications for practice, and limitation and future research directions are mentioned below
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Mathematical, Engineering and Management Sciences
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
