Using data flow analysis for the reliability assessment of safety-critical software systems

Authors:
J. BörcsöK;S. Schaefer
Affiliations:
Department of Computer Architecture and System Programming, University Kassel, Kassel, Germany;Department of Computer Architecture and System Programming, University Kassel, Kassel, Germany
Venue:
CSCC'11 Proceedings of the 2nd international conference on Circuits, Systems, Communications & Computers
Year:
2011

Citing 6
Cited 0

Object-oriented software engineering

Object-oriented software engineering
Abstract interpretation

ACM Computing Surveys (CSUR)
Handbook of software reliability engineering

Handbook of software reliability engineering
A static analyzer for large safety-critical software

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Compiler Analysis of the Value Ranges for Variables

IEEE Transactions on Software Engineering
System Software Reliability

System Software Reliability

Quantified Score

Hi-index	0.00

Visualization

Abstract

Reliability analysis for safety-critical software systems often needs additional expert knowledge, because of the small data-sets available. A Bayesian approach is used to develop a reliability model based on expert knowledge and small data-sets. The expert knowledge is obtained with data flow analysis. Certain variables in the program code are examined to calculate their probability of causing a failure. These additional information are incorporated into a suitable distribution function to be able calculate reliability characteristics with greater precision.