Skip to main content
Erschienen in:
Buchtitelbild

2013 | 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., 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
2.
Zurück zum Zitat Avizienis, A.: Architecture of Fault-Tolerant Computing Systems. Digest. 1975 Intl. Symp. Fault-Tolerant Computing, pp. 3–16 (1975) Avizienis, A.: Architecture of Fault-Tolerant Computing Systems. Digest. 1975 Intl. Symp. Fault-Tolerant Computing, pp. 3–16 (1975)
3.
Zurück zum Zitat Avizienis, A.: Fault-Tolerant-Computing-Progress, Problems and Prospects. Proc. IFIP Conf., pp. 59–72 (1977) Avizienis, A.: Fault-Tolerant-Computing-Progress, Problems and Prospects. Proc. IFIP Conf., pp. 59–72 (1977)
4.
Zurück zum Zitat Avizienis, A., Chen, L.: On the Implementation of N-Version Programming for Software Fault-Tolerance During Program Execution. Proc. IEEE COMPSAC, pp. 149–155 (1977) Avizienis, A., Chen, L.: On the Implementation of N-Version Programming for Software Fault-Tolerance During Program Execution. Proc. IEEE COMPSAC, pp. 149–155 (1977)
5.
Zurück zum Zitat Avizienis, A.: Fault-Tolerance: The Survial Attribute of Digital Systems. Proc. of the IEEE 65(10), 1109–1125 (1978)CrossRef Avizienis, A.: Fault-Tolerance: The Survial Attribute of Digital Systems. Proc. of the IEEE 65(10), 1109–1125 (1978)CrossRef
6.
Zurück zum Zitat Barlow, R.E., Proschan, F.H.: Mathematical Theory of Reliability. John Wiley & Sons, New York (1965)MATH Barlow, R.E., Proschan, F.H.: Mathematical Theory of Reliability. John Wiley & Sons, New York (1965)MATH
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 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)
16.
Zurück zum Zitat Gnedenko, B.V., Belyayev, Y.K., Solovyev, A.D.: Mathematical Methods of Reliability Theory. Academic Press, New York (1969)MATH Gnedenko, B.V., Belyayev, Y.K., Solovyev, A.D.: Mathematical Methods of Reliability Theory. Academic Press, New York (1969)MATH
17.
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)
18.
Zurück zum Zitat Kershaw, J.: The VIPER microprocessor. Report No. 87014, Royal Signal and Radar Establishment, Malvern, England (1987) Kershaw, J.: The VIPER microprocessor. Report No. 87014, Royal Signal and Radar Establishment, Malvern, England (1987)
19.
Zurück zum Zitat Lauber, R.: Zuverlässigkeit und Sicherheit in der Prozeßautomatisierung. Proc. Fachtagung Prozeßrechner, pp. 52–64 (1981) Lauber, R.: Zuverlässigkeit und Sicherheit in der Prozeßautomatisierung. Proc. Fachtagung Prozeßrechner, pp. 52–64 (1981)
20.
Zurück zum Zitat MIL-STD 781 B: Reliability Tests, exponential distribution. U.S. Department of Defence, Washington (1967) MIL-STD 781 B: Reliability Tests, exponential distribution. U.S. Department of Defence, Washington (1967)
21.
Zurück zum Zitat MIL-HDBK 217 F: Reliability stress and failure rate data for electronic equipment. U.S. Department of Defence, Washington (1974) MIL-HDBK 217 F: Reliability stress and failure rate data for electronic equipment. U.S. Department of Defence, Washington (1974)
22.
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)
23.
Zurück zum Zitat NASA SP 6508: Failure Analysis of Electronic Parts: Laboratory Method NASA SP 6508: Failure Analysis of Electronic Parts: Laboratory Method
24.
Zurück zum Zitat Neumann, P.G.: Risks to the public in computer systems. ACM Software Eng. Notes 11(5), 17 (1986) Neumann, P.G.: Risks to the public in computer systems. ACM Software Eng. Notes 11(5), 17 (1986)
25.
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)
26.
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)
27.
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
28.
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)
29.
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)
Metadaten
Titel
Grundlagen sicherheitsgerichteter Echtzeitsysteme
verfasst von
Wolfgang A. Halang
Rudolf M. Konakovsky
Copyright-Jahr
2013
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-37298-8_1

Neuer Inhalt