Skip to main content
Erschienen in:

2018 | OriginalPaper | Buchkapitel

1. Grundlagen sicherheitsgerichteter Echtzeitsysteme

verfasst von : Wolfgang A. Halang, Rudolf M. Konakovsky

Erschienen in: Sicherheitsgerichtete Echtzeitsysteme

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Literatur
1.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat Bazovsky, I.: Reliability Theory and Practice. Prentice Hall, Englewood Cliffs (1961) Bazovsky, I.: Reliability Theory and Practice. Prentice Hall, Englewood Cliffs (1961)
8.
Zurück zum Zitat 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.
Zurück zum Zitat Descartes, R.: Meditationen. Felix Meiner Verlag, Hamburg (1960) Descartes, R.: Meditationen. Felix Meiner Verlag, Hamburg (1960)
10.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat DIN 25 424: Fehlerbaumanalyse, Methode und Bildzeichen. Beuth Verlag, Berlin (1981) DIN 25 424: Fehlerbaumanalyse, Methode und Bildzeichen. Beuth Verlag, Berlin (1981)
13.
Zurück zum Zitat DIN 25 448: Ausfalleffektanalyse. Beuth Verlag, Berlin (1980) DIN 25 448: Ausfalleffektanalyse. Beuth Verlag, Berlin (1980)
14.
Zurück zum Zitat 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.
Zurück zum Zitat DIN 66 201: Prozeßrechensysteme. Beuth Verlag, Berlin DIN 66 201: Prozeßrechensysteme. Beuth Verlag, Berlin
16.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat NASA SP 6508: Failure Analysis of Electronic Parts: Laboratory Method. NASA SP 6508: Failure Analysis of Electronic Parts: Laboratory Method.
26.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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.
Zurück zum Zitat 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)
Metadaten
Titel
Grundlagen sicherheitsgerichteter Echtzeitsysteme
verfasst von
Wolfgang A. Halang
Rudolf M. Konakovsky
Copyright-Jahr
2018
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-56369-4_1