References
Bishop PG, Pullen FD (1989) Failure Masking: A Source of Failure Dependency in Multi-Version Programs. Dependable and Fault Tolerant Systems, vol 4. Springer Verlag
DIN/ISO/IEC 61508-1 (2010) Functional Safety of electrical/electronic/programmable electronic safety-related systems, Part 1. Beuth Verlag, Berlin
DIN/ISO/IEC 61508-4 (2010) Functional Safety of electrical/electronic/programmable electronic safety-related systems, Part 4 Definitions and abbreviations. Beuth Verlag, Berlin
DIN/ISO/IEC 61508-7 (2010) Functional Safety of electrical/electronic/programmable electronic safety-related systems, Part 7 Annex D. Beuth Verlag, Berlin
Ehrenberger W (2002) Software Verifikation. Carl Hanser Verlag, pp 315–317
Ehrenberger W (1-2/2013) Anforderungsprofil von Software wechseln – Versagenswahrscheinlichkeit bei bekannter Betriebserfahrung. atp-edition, S 888–895
Ehrenberger W (2014) Operating Experience and Changing Demand Profile – Consideration of Paths. In: IFAC World Congress, Vol 19, pt1, pp 1619–1624
Fahrmeir L, Künstler R, Pigeot I, Tutz G (2006) Statistik, 6. Aufl. Springer, S 403–404
Gnedenko BW (1968) Lehrbuch der Wahrscheinlichkeitsrechnung. Akademie Verlag, Berlin
Heinhold, Gaede (1972) Ingenieuerstatistik. Oldenbourg, München, S 174–178
IEC/TS 61508-3-1 (2015) Ed. 1.0 Functional safety of electrical/electronic/programmable electronic safety-related systems – Part 3-1: Software requirements – Reuse of pre-existing software elements to implement all or part of a safety function. In publishing process
Kolmogorov A (1933, Nachdruck 1973) Grundbegriffe der Wahrscheinlichkeitsrechnung. Springer, Berlin
Ladkin PB, Littlewood B (2015-03-01) Practical Statistical Evaluation of Critical Software Version 4, Paper intended for IEC 61508-3 MT3
Strigini L, Littlewood B (1997) Guidelines for Statistical Testing (Report No. PASCON/WO6-CON2/TN12) ESA/ESTEC project PASCON. http://openaccess.city.ac.uk/254/
Wikipedia English (2015) Failure rate
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Ehrenberger, W. Nachweis der Funktionsfähigkeit von Software durch statistische Schlussweisen – Möglichkeiten, Bedingungen, Grenzen. Informatik Spektrum 39, 384–392 (2016). https://doi.org/10.1007/s00287-016-0972-7
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00287-016-0972-7