Zusammenfassung
Es wird ein Überblick gegeben über die Fragen und Lösungsmöglichkeiten beim Einsatz von Mini- und Mikrorechnern für technische Anwendungen, bei denen erhöhte Verfügbarkeit oder Sicherheit erreicht werden soll. Fertige Rezepte oder Regeln existieren aufgrund der Variationsbreite fehlertoleranter Rechner und der Applikationen nicht.
Eine frühe Abklärung eines Vorhabens mit allen beteiligten Stellen ist daher empfehlenswert, insbesondere wenn eine unabhängige Verifikation und Validation gewünscht wird.
Abstract
A survey on questions and answers concerning the use of mini- and microcomputers in high-reliability technical applications is given. In Ready-to-use recipes or rules don’t exist due to the broad scope of both fault-tolerant computers and applications.
An early involvement of all parties concerned in a project is recommendable especially in cases where an independent verification and validation is desired.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
Thomas, N.C. and E.A. Straker, Software Quality - A Practical Approach, Proc. IFAC/IFIP Workshop Safecomp’83, Cambridge, UK, Sept. 1983, edited by J. Baylis, Pergamon Press (1983), p. 137
Rata, J. M. und L. Remus, Hardware/Software Maintenance, Proc. IFAC Workshop Safecomp’82, Purdue University, Oct. 1982, edited by R. Yunker
W.K. Epple, Rechnerunterstützte Spezifikation von Prozeßautomatisierungssystemen, Regelungstechnische Praxis, März 1984, p.133
R.J. Lauber, Specification Languages and Computer Aided Development Support Techniques to Achieve Reliable and Safe Systems: Present Status and Future Directions, Proc. IFAC Workshop Safe- comp ’82, Purdue University, Oct. 1982, edited by R. Yunker
Dahll, G. und J. Lahti, The specification system X-SPEX - Introduction and Experience, Proc. IFAC/IFIP workshop Safecomp’83, Cambridge, UK, Sept. 1983, edited by J. Baylis, Pergamon Press (1983), p. 111.
M.S. Deutsch, Software Verification and Validation, Prentice Hall, Englewood Cliffs (1982), ISBN 0-13-822072-7
P. M. Frank, Detektion von Sensorausfällen mit Methoden der Zustandsschätzung, GMR-Bericht 1, Verfahren und Systeme zur technischen Fehlerdiagnose, Aussprachetag Langen, April 1984, p. 209
Schneeweis, W. und D. Seifert, Zuverlässigkeitstheoretische Bewertung von Coderedundanz in fehlertolerierenden Rechnersystemen, Informatik-Fachberichte 54, GI-Fachtagung Fehlertolerierende Rechnersysteme, München März 1982, Springer-Verlag (1982)
Voges, U. und J.R. Taylor, Systematic Software Testing, in: Computer in der Industrie, R. Oldenbourg, Wien München (1983), Hrsg. V. Haase/W. J. Jaburek, p. 163
Ehrenberger, W.D. und B. Krzykacz, Probabilistic Testing, in: Computer in der Industrie, R. Oldenbourg, Wien München (1983), Hrsg. V. Haase/W. J. Jaburek, p. 185
Trauboth, H. und U. Voges, Verfahren zur Entwicklung zuverlässiger Software für rechnergestützte Sicherheitssysteme, Atomwirtschaft 1983, p. 43
S. Bologna et al., EWICS-TC7-Position-Paper: Guideline for Verification and Validation of Safety Related Software, Working Paper 333 (1983)
W. Ehrenberger, Zur Theorie der Analyse von Prozeßrechnerprogrammen, GRS-MRR 118 (1973)
Voges, U. und W. Ehrenberger, Vorschläge zu Programmierrichtlinien für ein Reaktorschutzrechnersystem, KFK-Ext. 13/75–02
NBS Special Publication 500–93: Software Validation, Verification, and Testing Technique and Tool Reference Guide, US Dept. of Commerce, P.B. Powell, editor (1982)
Gmeiner, L. und U. Voges, Experimentelle Untersuchung zur Soft- ware-Diversität, KFK-PDV-Bericht 179, Dez. 1979, p. 126
U. Kammerer, Zum Potential von Mikrorechnern in Reaktorschutzsystemen, KFK-PDV-Bericht 179, Dez. 1979, p. 140
K.H. Kapp et al., Sicherheit durch vollständige Diversität, GI, VDI/VDE-GMR, KFK-Fachtagung Prozeßrechner München, InformatikFachberichte 39, p. 216, Springer (1981)
K.P. Plögert, Rechnergestützte Sicherheitsanalyse, Regelungstechnische Praxis 23, p. 394 (1981)
U. Kammerer, Einsatzbedingungen für Mini- und Mikrorechner in Kernkraftwerken, RWTÜV Schriftenreihe Heft 22, Mikroelektronik und Mikroprozessoren in Kraftwerken, p. 46 (1983)
Systematische Übersicht über Empfehlungen, Richtlinien und Normen für den Einsatz von Prozeß- und Mikrorechnersystemen, Hrsg.: VDI/ VDE-GMR, Prof. Welfonder (1982)
J.H. Wensley, Fault-Handling in the AUGUST Systems Series 300, Proc. IFAC Workshop Safecomp’82, Purdue University, Oct. 1982, edited by R. Yunker
W.E. Forster, Alternative Designs for Fault Tolerant Systems, Proc. IFAC Workshop Safecomp’82, Purdue University, Oct. 1982, edited by R. Yunker
H.G. Nix, On-line-Fehlerdiagnose bei sicheren Steuerungen, GMR- Bericht 1, Verfahren und Systeme zur technischen Fehlerdiagnose. Aussprachetag Langen, April 1984, p. 221
H. Hofmann, Sicheres Leit- und Informationssystem für Kernkraftwerke, Abschlußbericht zum Fördervorhaben, BMFT 150367 (KWU, Siemens, BBC, 1981)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kammerer, U. (1984). Methoden zur Erstellung und Prüfung von Software für sicherheitsrelevante Prozeßrechnersysteme. In: Belli, F., Pfleger, S., Seifert, M. (eds) Software-Fehlertoleranz und -Zuverlässigkeit. Informatik-Fachberichte, vol 83. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69705-0_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-69705-0_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13383-4
Online ISBN: 978-3-642-69705-0
eBook Packages: Springer Book Archive