scholarly journals Application of Software Reliability Model for Safety Assessment of E/E/PE Safety-Related Software

2021 ◽  
Vol 6 (4) ◽  
pp. 1044-1054
Author(s):  
Shinji Inoue ◽  
Takaji Fujiwara ◽  
Shigeru Yamada
Keyword(s):  
Software Reliability ◽  
Safety Assessment ◽  
Quantitative Information ◽  
Software Systems ◽  
Testing Time ◽  
Software Safety ◽  
Time Duration ◽  
Reliability Modeling ◽  
Safety Integrity Level ◽  
Iec 61508

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.

Mathematical Approaches in Functional Safety Assessment for E/E/PE Safety-Related Software

2021 ◽  
pp. 2150043
Author(s):  
Shinji Inoue ◽  
Takaji Fujiwara ◽  
Shigeru Yamada
Keyword(s):  
Software Reliability ◽  
Safety Assessment ◽  
Assessment Method ◽  
Functional Safety ◽  
Reliability Modeling ◽  
Software Failure ◽  
Safety Integrity Level ◽  
Iec 61508 ◽  
Systematic Failure ◽  
Quantitative Safety Assessment

Safety integrity level (SIL)-based functional safety assessment is widely required in designing safety functions and checking their validity of electrical/electronic/programmable electronic (E/E/PE) safety-related systems after being issued IEC 61508 in 2010. For the hardware of E/E/PE safety-related systems, quantitative functional safety assessment based on target failure measures is needed for deciding or allocating the level of SIL. On the other hand, IEC 61508 does not provide any quantitative safety assessment method for allocating SIL for the software of E/E/PE safety-related systems because the software failure is treated as a systematic failure in IEC 61508. We discuss the needfulness of quantitative safety assessment for software of E/E/PE safety-related systems and propose mathematical fundamentals for conducting quantitative SIL-based safety assessment for the software of E/E/PE safety-related systems by applying the notion of software reliability modeling and assessment technologies. We show numerical examples for explaining how to use our approaches.

scholarly journals Software Reliability for Agile Testing

Mathematics ◽  
2020 ◽  
Vol 8 (5) ◽  
pp. 791
Author(s):  
Willem Dirk van Driel ◽  
Jan Willem Bikker ◽  
Matthijs Tijink ◽  
Alessandro Di Bucchianico
Keyword(s):  
Software Reliability ◽  
Product Development Process ◽  
Software Systems ◽  
Extended Model ◽  
Testing Time ◽  
Total System ◽  
Reliability Models ◽  
Software Reliability Models ◽  
Research Activities ◽  
Testing Environments

It is known that quantitative measures for the reliability of software systems can be derived from software reliability models, and, as such, support the product development process. Over the past four decades, research activities in this area have been performed. As a result, many software reliability models have been proposed. It was shown that, once these models reach a certain level of convergence, it can enable the developer to release the software and stop software testing accordingly. Criteria to determine the optimal testing time include the number of remaining errors, failure rate, reliability requirements, or total system cost. In this paper, we present our results in predicting the reliability of software for agile testing environments. We seek to model this way of working by extending the Jelinski–Moranda model to a “stack” of feature-specific models, assuming that the bugs are labeled with the features they belong to. In order to demonstrate the extended model, two use cases are presented. The questions to be answered in these two cases are: how many software bugs remain in the software and should one decide to stop testing the software?

Markovian Multiple Change-Point Modeling for Software Reliability Assessment

2020 ◽  
Vol 27 (06) ◽  
pp. 2050017
Author(s):  
Shinji Inoue ◽  
Shigeru Yamada
Keyword(s):  
Software Reliability ◽  
Change Point ◽  
Reliability Assessment ◽  
Testing Time ◽  
Modeling Framework ◽  
Reliability Modeling ◽  
Imperfect Debugging ◽  
Testing Environment ◽  
Software Failure ◽  
Testing Phase

We discuss software reliability modeling reflecting actual situation in a testing phase based on a Markovian software reliability modeling framework. Concretely, we discuss Markovian imperfect debugging modeling for software reliability assessment with multiple changes of testing environment. Testing-time changing the testing environment is called change-point. Taking into account the effect of change-point in software reliability growth modeling is expected to improve the accuracy of software reliability assessment because it is often observed that the stochastic characteristic of software failure-occurrence or fault-detection phenomenon is changed in an actual testing phase. Numerical examples for software reliability assessment based on our proposed approach are also shown by using actual software failure-occurrence time data. Further, we discuss the usefulness of considering the effect of the imperfect debugging and the multiple change-point into software reliability modeling by comparing the estimated behavior of the mean time between software failures based on our model and the existing related models.

scholarly journals Effect Of Selected Factors On The Safety Integrity Level (SIL)

2015 ◽  
Vol 35 (1) ◽  
pp. 85-98
Author(s):  
Młynarski Stanisław ◽  
Pilch Robert ◽  
Kaczor Grzegorz ◽  
Smolnik Maksymilian ◽  
Szkoda Maciej ◽  
...  
Keyword(s):  
Failure Rate ◽  
Safety Assessment ◽  
Repair Time ◽  
Functional Safety ◽  
Safety Level ◽  
Reliability Indicators ◽  
Safety Integrity Level ◽  
Iec 61508 ◽  
Technical Systems ◽  
The Impact

Abstract The presented paper concerns the functional safety problems of technical systems. The characteristics of safety assessment, described in IEC 61508 standard are an introduction to the problems associated with the methodology of the calculation of Safety Integrity Levels (SIL). The parameters obtained from reliability indicators, were calculated for the purpose of assessing the impact of repair time for the elements of a given system on the SIL. The calculated values of failure rate and the probability of dangerous failure show the sensitivity of the system at different time to repair values for various reliability-wise configurations. The indicators characterizing the safety level, calculated of the system with no repair time are the basis for demonstrating the influence of repair on the safety integrity level.

GSPN Based Reliability Design for Intellectualized System

2010 ◽  
Vol 118-120 ◽  
pp. 891-895
Author(s):  
Chun Yang Jiang ◽  
Guo Qi Li ◽  
Xiao Hong Bao
Keyword(s):  
Embedded System ◽  
Software Reliability ◽  
High Reliability ◽  
Software Systems ◽  
Reliability Engineering ◽  
Software Safety ◽  
Reliability Design ◽  
Future Goals ◽  
Open Questions ◽  
Active Research

Software reliability has been regarded as one of the most important quality attributes for software intensive systems, especially in embedded system domain. Software reliability engineering is focused on engineering techniques for developing and maintaining software systems whose reliability can be quantitatively evaluated. As most of embedded systems complicated functionalities and controls are implemented by software which is embedded in hardware systems, it became more critical to assure high reliability for software itself. At this point, there is no visible boundary between Software reliability and software safety. Although software reliability has remained an active research subject over several years, challenges and open questions still exist. In particular, vital future goals include the development of new software reliability engineering paradigms that take software architectures, testing techniques, and software failure manifestation mechanisms into consideration. In this paper, we give a paradigm of embedded system, and do some analysis about it by using Generalized Stochastic Petri Net (GSPN).

Markovian Software Reliability Modeling with Change-Point

2018 ◽  
Vol 25 (02) ◽  
pp. 1850009 ◽  
Author(s):  
Shinji Inoue ◽  
Shigeru Yamada
Keyword(s):  
Software Reliability ◽  
Change Point ◽  
Reliability Assessment ◽  
Testing Time ◽  
Reliability Growth ◽  
Reliability Modeling ◽  
Imperfect Debugging ◽  
Modeling Approach ◽  
Semi Markov Process ◽  
Software Reliability Growth

We discuss a Markovian modeling approach for software reliability assessment with the effects of change-point and imperfect debugging environment. Testing-time when the characteristic of the software failure-occurrence or fault-detection phenomenon changes notably is called change-point. Taking into account the effect at change-point in software reliability growth modeling is important to improve the accuracy of software reliability assessment. Our modeling approach describes a software reliability growth process with not only the effect of change-point but also the imperfect debugging activities based on a semi-Markov process for reflecting actual situation of debugging activities. Finally, we show numerical examples of our model for software reliability analysis and check the performance of our model with an existing Markovian software reliability growth model by using actual data.

Quantifying Minimum-Time-To-Intrusion Based on Dynamic Software Safety Assessment

2000 ◽  
Author(s):  
Jeffery M. Voas ◽  
Gary McGraw ◽  
Anup Ghosh ◽  
Frank Charron ◽  
Michael Schatz
Keyword(s):  
Safety Assessment ◽  
Minimum Time ◽  
Software Safety ◽  
Dynamic Software

DEBUGGING PROCESS-ORIENTED DISCRETE SOFTWARE RELIABILITY MODELING

2009 ◽  
Vol 16 (04) ◽  
pp. 357-370 ◽  
Author(s):  
SHINJI INOUE ◽  
NAOKI IWAMOTO ◽  
SHIGERU YAMADA
Keyword(s):  
Discrete Time ◽  
Software Reliability ◽  
Goodness Of Fit ◽  
Growth Models ◽  
Reliability Growth ◽  
Reliability Modeling ◽  
New Approach ◽  
Time Modeling ◽  
Software Reliability Growth ◽  
Discrete Time Modeling

This paper discusses an new approach for discrete-time software reliability growth modeling based on an discrete-time infinite server queueing model, which describes a debugging process in a testing phase. Our approach enables us to develop discrete-time software reliability growth models (SRGMs) which could not be developed under conventional discrete-time modeling approaches. This paper also discuss goodness-of-fit comparisons of our discrete-time SRGMs with conventional continuous-time SRGMs in terms of the criterion of the mean squared errors, and show numerical examples for software reliability analysis of our models by using actual data.

Sign in / Sign up

Export Citation Format

Share Document