Skip to main content
Top
Published in:

2018 | OriginalPaper | Chapter

1. Grundlagen sicherheitsgerichteter Echtzeitsysteme

Authors : Wolfgang A. Halang, Rudolf M. Konakovsky

Published in: Sicherheitsgerichtete Echtzeitsysteme

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Zusammenfassung

Mit dem Ziel, dem Leser ein ausgeprägtes Sicherheitsbewusstsein, die spezielle Denkweise der Sicherheitstechnik und das besondere Gefahrenpotential programmgesteuerter Systeme zu vermitteln sowie bei ihm eine ganzheitliche Sicht zur Strukturierung sicherheitsgerichteter Systeme zu entwickeln, die deren letztendliche sicherheitstechnische Abnahme nie aus den Augen verliert, werden die Begriffe Sicherheit, Zuverlässigkeit, unstetiges Systemverhalten und Echtzeitbetrieb eingeführt, Einfachheit als beim Entwurf sicherheitsgerichteter technischer Systeme grundsätzlich immer zu befolgende Leitlinie betont und abschließend Prinzipien und Methoden der Fehlererkennung sowie Diversitätskonzepte vorgestellt.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
go back to reference Avizienis, A.: Architecture of fault-tolerant computing systems. In: Digest of 1972 International Symposium on Fault-Tolerant Computing, S. 3–16 (1975) Avizienis, A.: Architecture of fault-tolerant computing systems. In: Digest of 1972 International Symposium on Fault-Tolerant Computing, S. 3–16 (1975)
2.
go back to reference Avizienis, A.: Fault-tolerant-computing-progress, problems and prospects. In: Proceedings of the IFIP Congress, S. 59–72 (1977) Avizienis, A.: Fault-tolerant-computing-progress, problems and prospects. In: Proceedings of the IFIP Congress, S. 59–72 (1977)
3.
go back to reference Avizienis, A.: Fault-tolerance: the survival attribute of digital systems. Proc. IEEE 65(10), 1109–1125 (1978)CrossRef Avizienis, A.: Fault-tolerance: the survival attribute of digital systems. Proc. IEEE 65(10), 1109–1125 (1978)CrossRef
4.
go back to reference Avizienis, A., Chen, L.: On the implementation of N-version programming for software fault-tolerance during program execution. In: Proceedings of the IEEE COMPSAC, S. 149–155 (1977) Avizienis, A., Chen, L.: On the implementation of N-version programming for software fault-tolerance during program execution. In: Proceedings of the IEEE COMPSAC, S. 149–155 (1977)
5.
go back to reference Avizienis, A., et al.: The STAR (Self-Testing-And-Repairing) computer: an investigation of the theory and practice of fault tolerant computer design. IEEE Trans. Comput. C-2O(11), 1312–1321 (1971)CrossRef Avizienis, A., et al.: The STAR (Self-Testing-And-Repairing) computer: an investigation of the theory and practice of fault tolerant computer design. IEEE Trans. Comput. C-2O(11), 1312–1321 (1971)CrossRef
6.
go back to reference Barlow, R.E., Proschan, F.H.: Mathematical Theory of Reliability. Wiley, New York (1965) Barlow, R.E., Proschan, F.H.: Mathematical Theory of Reliability. Wiley, New York (1965)
7.
go back to reference Bazovsky, I.: Reliability Theory and Practice. Prentice Hall, Englewood Cliffs (1961) Bazovsky, I.: Reliability Theory and Practice. Prentice Hall, Englewood Cliffs (1961)
8.
go back to reference Biedenkopf, K.: Komplexität und Kompliziertheit. Informatik-Spektrum 17, 82–86 (1994) Biedenkopf, K.: Komplexität und Kompliziertheit. Informatik-Spektrum 17, 82–86 (1994)
9.
go back to reference Descartes, R.: Meditationen. Felix Meiner Verlag, Hamburg (1960) Descartes, R.: Meditationen. Felix Meiner Verlag, Hamburg (1960)
10.
go back to reference Dijkstra, E.W.: The next forty years. Persönliche Notiz EWD 1051 (1989) Dijkstra, E.W.: The next forty years. Persönliche Notiz EWD 1051 (1989)
11.
go back to reference DIN 25 419: Störfallablaufanalyse. Teil 1: Störablaufdiagramm (1977); Teil 2: Auswertung des Störablaufdiagramms (1979). Beuth Verlag, Berlin DIN 25 419: Störfallablaufanalyse. Teil 1: Störablaufdiagramm (1977); Teil 2: Auswertung des Störablaufdiagramms (1979). Beuth Verlag, Berlin
12.
go back to reference DIN 25 424: Fehlerbaumanalyse, Methode und Bildzeichen. Beuth Verlag, Berlin (1981) DIN 25 424: Fehlerbaumanalyse, Methode und Bildzeichen. Beuth Verlag, Berlin (1981)
13.
go back to reference DIN 25 448: Ausfalleffektanalyse. Beuth Verlag, Berlin (1980) DIN 25 448: Ausfalleffektanalyse. Beuth Verlag, Berlin (1980)
14.
go back to reference DIN 44 300: Informationsverarbeitung, Nr. 9.2.11. Beuth Verlag, Berlin (1985) DIN 44 300: Informationsverarbeitung, Nr. 9.2.11. Beuth Verlag, Berlin (1985)
15.
go back to reference DIN 66 201: Prozeßrechensysteme. Beuth Verlag, Berlin DIN 66 201: Prozeßrechensysteme. Beuth Verlag, Berlin
16.
go back to reference Entwurf VDI/VDE-Richtlinie 3542: Sicherheitstechnische Begriffe für Automatisierungssysteme. Beuth Verlag, Berlin (1986) Entwurf VDI/VDE-Richtlinie 3542: Sicherheitstechnische Begriffe für Automatisierungssysteme. Beuth Verlag, Berlin (1986)
17.
go back to reference Färber, G.: Fehlertolerante Rechnersysteme für die Prozeßautomatisierung. Regelungstechnische Praxis 24(5), 160–168 (1982) Färber, G.: Fehlertolerante Rechnersysteme für die Prozeßautomatisierung. Regelungstechnische Praxis 24(5), 160–168 (1982)
18.
go back to reference Gnedenko, B.V., Belyayev, Y.K., Solovyev, A.D.: Mathematical Methods of Reliability Theory. Academic, New York (1969)CrossRef Gnedenko, B.V., Belyayev, Y.K., Solovyev, A.D.: Mathematical Methods of Reliability Theory. Academic, New York (1969)CrossRef
19.
go back to reference Henley, J.E., Kumamoto, H.: Reliability Engineering and Risk Assessment. Prentice Hall, Englewood Cliffs (1981) Henley, J.E., Kumamoto, H.: Reliability Engineering and Risk Assessment. Prentice Hall, Englewood Cliffs (1981)
20.
go back to reference Kershaw, J.: The VIPER microprocessor. Report No. 87014. Royal Signal and Radar Establishment, Malvern (1987) Kershaw, J.: The VIPER microprocessor. Report No. 87014. Royal Signal and Radar Establishment, Malvern (1987)
21.
go back to reference Lauber, R.: Zuverlässigkeit und Sicherheit in der Prozeßautomatisierung. In: Proc. Fachtagung Prozeßrechner, S. 52–64 (1981)CrossRef Lauber, R.: Zuverlässigkeit und Sicherheit in der Prozeßautomatisierung. In: Proc. Fachtagung Prozeßrechner, S. 52–64 (1981)CrossRef
22.
go back to reference MIL-STD 781 B: Reliability Tests, Exponential Distribution. U.S. Department of Defence, Washington, DC (1967) MIL-STD 781 B: Reliability Tests, Exponential Distribution. U.S. Department of Defence, Washington, DC (1967)
23.
go back to reference MIL-HDBK 217 F: Reliability Stress and Failure Rate Data for Electronic Equipment. U.S. Department of Defence, Washington, DC (1974) MIL-HDBK 217 F: Reliability Stress and Failure Rate Data for Electronic Equipment. U.S. Department of Defence, Washington, DC (1974)
24.
go back to reference Musa, J.D.: Software reliability measurement – the state of The art. Proc. Eurocon’82 (1982) Musa, J.D.: Software reliability measurement – the state of The art. Proc. Eurocon’82 (1982)
25.
go back to reference NASA SP 6508: Failure Analysis of Electronic Parts: Laboratory Method. NASA SP 6508: Failure Analysis of Electronic Parts: Laboratory Method.
26.
go back to reference Neumann, P.G.: Risks to the public in computer systems. ACM Softw. Eng. Notes 11(5), 17 (1986)CrossRef Neumann, P.G.: Risks to the public in computer systems. ACM Softw. Eng. Notes 11(5), 17 (1986)CrossRef
27.
go back to reference Schafer, R.E., Angus, J.E., Alter, J.F., Emoto, S.E.,: Validation of Software Reliability Models. Bericht RADC-TR-l47, New York (1979) Schafer, R.E., Angus, J.E., Alter, J.F., Emoto, S.E.,: Validation of Software Reliability Models. Bericht RADC-TR-l47, New York (1979)
28.
go back to reference Shooman, M.: Probabilistic Reliability. An Engineering Approach. McGraw-Hill, New York (1968) Shooman, M.: Probabilistic Reliability. An Engineering Approach. McGraw-Hill, New York (1968)
29.
go back to reference Stankovic, J.A.: Misconceptions about real-time computing: A serious problem for next generation systems. IEEE Comput. 21(10), 10–19 (1988)CrossRef Stankovic, J.A.: Misconceptions about real-time computing: A serious problem for next generation systems. IEEE Comput. 21(10), 10–19 (1988)CrossRef
30.
go back to reference Störmer, H.: Mathematische Theorie der Zuverlässigkeit. R. Oldenbourg Verlag, München (1970)MATH Störmer, H.: Mathematische Theorie der Zuverlässigkeit. R. Oldenbourg Verlag, München (1970)MATH
31.
go back to reference Syrbe, M.: Über die Beschreibung fehlertoleranter Systeme. Regelungstechnik 28(9), 280–288 (1980) Syrbe, M.: Über die Beschreibung fehlertoleranter Systeme. Regelungstechnik 28(9), 280–288 (1980)
Metadata
Title
Grundlagen sicherheitsgerichteter Echtzeitsysteme
Authors
Wolfgang A. Halang
Rudolf M. Konakovsky
Copyright Year
2018
Publisher
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-56369-4_1