Zusammenfassung
Ausgehend von einer allgemeinen Beschreibung des Genehmigungsverfahrens für sicherheitsrelevante technische Systeme wird insbesondere die Problematik eines Sicherheitsnachweises für Software erläutert. Es wird eine anerkannte Vorgehensweise für einen Sicherheitsnachweis dargestellt, nach der Software als fehlerfrei anzusehen ist, wenn bestimmte (konstruktive) Maßnahmen zur Fehlerabwehr und bestimmte (analytische) Maßnahmen zur Fehleroffenbarung nachweislich angewendet werden. Zur Festlegung derartiger konstruktiver und analytischer Maßnahmen, die mit der entsprechenden Aufsichtsbehörde oder anerkannten Sachverständigen abgestimmt sein müssen, sind bei AEG-TELEFUNKEN interne Richtlinien
-
‐ zur Erstellung
-
‐ und zur internen Prüfung
sicherheitsrelevanter Software aufgestellt worden. Diese Richtlinien, die erstmals im Zuge des Projektes „M-Bahn Berlin“angewendet werden sollen, werden im folgenden in ihren Grundzügen vorgestellt.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Szentes, J.: SOMIKA - An Automated System for Measuring Software Quality. In: Sneed, H.M., Wiehle, H.R. (Hrsg.): Software-Qualitätssicherung. Stuttgart, Teubner-Verlag, 1982.
Pierick, K.: Analytische Abstimmung von Erfolg und Aufwand bei Sicherungsmaßnahmen. Signal + Draht 73 (1981), Heft 6, S. 135–139.
Institut für Regelungstechnik und Prozeßautomatisierung (IRP): EPOS-Handbuch. Universität Stuttgart, 1980 ff.
Jensen, K., Wirth, N.: PASCAL User Manual and Report, New York, Springer-Verlag, 1978.
Deutsche Bundesbahn: Richtlinien-Entwürfe 42500 bis 42550 für das Handbuch „Grundsätze zur technischen Zulassung in der Signal- und Nachrichtentechnik“. München, Bundesbahn-Zentralamt, Juli 1982.
European Workshop on Industrial Computer Systems (EWICS)-TC7: Position Paper on Development of Safety Related Software. Working Paper No 235, April 1981.
Adrion, W.R., Branstad, M.A., Cherniavsky, J.C.: Validation, Verification and Testing of Computer Software. Computing Surveys 14 (1982), Heft 3, S. 159–192.
European Workshop on Industrial Computer Systems (EWICS)-TC7: Guideline for Verifikation and Validation of Safety Related Software. Working Paper No 287/3, Juni 1983.
Baur, P.: Zusammenstellung der Maßnahmen zur Fehleroffenbarung bei der Anwendung von EPOS-A. Universität Stuttgart, Institut für Regelungstechnik und Prozeßautomatisierung, Januar 1983.
Myers, G.J.: Methodisches Testen von Programmen. München, Oldenbourg-Verlag, 1982.
Powell, P.B. (Hrsg.): Planning for Software Validation, Verification and Testing. NBC Special Publication 500-98, US-Department of Commerce, November 1982.
Schmitz, P., Bons, H., van Megen, R.: Software-Qualitätssicherung - Testen im Software-Lebenszyklus. Braunschweig, Vieweg-Verlag, 1982.
Schul1er, K.: Systematisches Verfahren beim Test der Software von Prozeßautomatisierungssystemen. RTP 25 (1983), S. 279–286.
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
Grimm, K., Heiner, G. (1984). Richtlinien zur Erstellung und Prüfung Sicherheitsrelevanter Software. In: Trauboth, H., Jaeschke, A. (eds) Prozeßrechner 1984. Informatik-Fachberichte, vol 86. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70086-6_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-70086-6_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13858-7
Online ISBN: 978-3-642-70086-6
eBook Packages: Springer Book Archive