Skip to main content

2018 | OriginalPaper | Buchkapitel

7. Dienstgüte und Bewertung 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

Zur Bewertung der Leistung und Dienstequalität von Echtzeitsystemen werden geeignete qualitativ-exklusive, qualitativ-graduelle sowie quantitative Kriterien und Verfahren eingeführt. Eine Diskussion der weitverbreiteten Leistungskriterien Geschwindigkeit und Kosten von Rechnern vor dem Hintergrund von Sicherheit, Echtzeitfähigkeit, Wartbarkeit oder System- und Folgekosten zeigt, dass die qualitative Kriterien viel wichtiger als die quantitativen sind. Es wird dargelegt, wie anwendungsspezifisch priorisierte Listen von Leistungs- und Dienstgütekriterien aufgestellt und wie für Anwendungen die einzelnen Entwurfsalternativen ganz spezifisch nach dem jeweiligen Anforderungsprofil bewertet werden. Sichere Prozessdatenverarbeitung mit zweikanaligen Systemen wird analytisch modelliert und anhand der Kenngrößen mittlere Zeiten bis zu einer sicherheitsbezogenen Ausfallart bzw. bis zur Ausgabe eines sicherheitsbezogenen Wertes sowie Wahrscheinlichkeit der Ausgabe eines sicherheitsbezogenen Wertes quantitativ bewertet. Dabei werden sowohl identische als auch hinsichtlich Hard- und Software diversitär ausgelegte Kanäle betrachtet.

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 atp-Gespräch: Leistungstest für Prozeßrechner nach DIN 19 242. Automatisierungstechnische Praxis atp 32(6), 315–319 (1990) atp-Gespräch: Leistungstest für Prozeßrechner nach DIN 19 242. Automatisierungstechnische Praxis atp 32(6), 315–319 (1990)
2.
Zurück zum Zitat Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental Concepts of Dependability. LAAS-CNRS Research Report N01145 (2001) Avizienis, A., Laprie, J.-C., Randell, B.: Fundamental Concepts of Dependability. LAAS-CNRS Research Report N01145 (2001)
3.
Zurück zum Zitat Cain, K.C., Torres, J.A., Williams, R.T.: RT_STAP: Real-Time Space-Time Adaptive Processing Benchmark. MITRE Technical Report MTR 96B0000021 (1997) Cain, K.C., Torres, J.A., Williams, R.T.: RT_STAP: Real-Time Space-Time Adaptive Processing Benchmark. MITRE Technical Report MTR 96B0000021 (1997)
5.
Zurück zum Zitat DIN 19242 Teile 1–14: Leistungstest von Prozeßrechensystemen: Zeitmessungen (1987) DIN 19242 Teile 1–14: Leistungstest von Prozeßrechensystemen: Zeitmessungen (1987)
6.
Zurück zum Zitat DIN 19243 Teile 1–4: Grundfunktionen der prozeßrechnergestüzten Automatisierung (1987) DIN 19243 Teile 1–4: Grundfunktionen der prozeßrechnergestüzten Automatisierung (1987)
7.
Zurück zum Zitat DIN 66273 Teil 1: Messung und Bewertung der Leistung von DV-Systemen – Meß- und Bewertungsverfahren (1991) DIN 66273 Teil 1: Messung und Bewertung der Leistung von DV-Systemen – Meß- und Bewertungsverfahren (1991)
9.
Zurück zum Zitat Ehrenberger, W.D.: Safety, availability and cost questions about diversity. In: Proceeding of 4th IFAC/IFIP/IFORS Conference on Control in Transportation Systems (1983) Ehrenberger, W.D.: Safety, availability and cost questions about diversity. In: Proceeding of 4th IFAC/IFIP/IFORS Conference on Control in Transportation Systems (1983)
10.
Zurück zum Zitat Guthaus, M.R., Ringenberg, J.S., Mudge, T., Brown, R.B.: MiBench: a free, commercially representative embedded benchmark suite. In: Proceeding of 4th Workshop on Workload Characterization, Austin (2001) Guthaus, M.R., Ringenberg, J.S., Mudge, T., Brown, R.B.: MiBench: a free, commercially representative embedded benchmark suite. In: Proceeding of 4th Workshop on Workload Characterization, Austin (2001)
11.
Zurück zum Zitat IEC 61508: Funktionale Sicherheit sicherheitsbezogener elektrischer/elektronischer/programmierbarer elektronischer Systeme. Genf: Internationale Elektrotechnische Kommission (1998) IEC 61508: Funktionale Sicherheit sicherheitsbezogener elektrischer/elektronischer/programmierbarer elektronischer Systeme. Genf: Internationale Elektrotechnische Kommission (1998)
13.
Zurück zum Zitat Kersken, M., Ehrenberger, W.D.: A statistical assessment of reliability features of diverse programs. Reliab. Eng. 2, 233–240 (1981)CrossRef Kersken, M., Ehrenberger, W.D.: A statistical assessment of reliability features of diverse programs. Reliab. Eng. 2, 233–240 (1981)CrossRef
14.
Zurück zum Zitat Konakovsky, R.: Definition und Berechnung der Sicherheit von Automatisierungssystemen. Braunschweig, Vieweg-Verlag (1977)CrossRef Konakovsky, R.: Definition und Berechnung der Sicherheit von Automatisierungssystemen. Braunschweig, Vieweg-Verlag (1977)CrossRef
15.
Zurück zum Zitat Konakovsky, R.: Safety evaluation of computer hardware and software. In: Proceeding of IEEE COMPSAC, S. 559–564 (1978) Konakovsky, R.: Safety evaluation of computer hardware and software. In: Proceeding of IEEE COMPSAC, S. 559–564 (1978)
16.
Zurück zum Zitat Konakovsky, R.: On safe information processing system. Proc. IFAC Congr. 14, 1669–1674 (1981)CrossRef Konakovsky, R.: On safe information processing system. Proc. IFAC Congr. 14, 1669–1674 (1981)CrossRef
17.
Zurück zum Zitat Konakovsky, R.: Sichere Informationsverarbeitung mit Mikrorechnern. DFG-Forschungsbericht, IRP, Universität Stuttgart (1981) Konakovsky, R.: Sichere Informationsverarbeitung mit Mikrorechnern. DFG-Forschungsbericht, IRP, Universität Stuttgart (1981)
18.
Zurück zum Zitat Kornecki, A.J., Zalewski, J.: Software development for real-time safety – critical applications. In: Proceeding of 29th Annual IEEE/NASA Software Engineering Workshop – Tutorial Notes, S. 1–95 (2005) Kornecki, A.J., Zalewski, J.: Software development for real-time safety – critical applications. In: Proceeding of 29th Annual IEEE/NASA Software Engineering Workshop – Tutorial Notes, S. 1–95 (2005)
19.
Zurück zum Zitat Leung, C.H.C.: Quantitative analysis of computer systems, Wiley (1988) Leung, C.H.C.: Quantitative analysis of computer systems, Wiley (1988)
20.
Zurück zum Zitat Musa, J.D.: Software reliability measurement – the state of the art. In: Proceeding of Eurocon’82 (1982) Musa, J.D.: Software reliability measurement – the state of the art. In: Proceeding of Eurocon’82 (1982)
21.
Zurück zum Zitat Nemer, F., Cassé, H., Sainrat, P., Bahsoun, J.P., De Michiel, M.: PapaBench: a free real-time benchmark. In: Proceeding of Workshop on Worst-Case Execution Time Analysis, Dresden (2006) Nemer, F., Cassé, H., Sainrat, P., Bahsoun, J.P., De Michiel, M.: PapaBench: a free real-time benchmark. In: Proceeding of Workshop on Worst-Case Execution Time Analysis, Dresden (2006)
24.
Zurück zum Zitat Paulk, M.C., Curtis, B., Chrissis, M.B., Weber, C.V.: Capability maturity model for software, version 1.1. Software Engineering Institute CMU/SEI-93-TR-24 (1993) Paulk, M.C., Curtis, B., Chrissis, M.B., Weber, C.V.: Capability maturity model for software, version 1.1. Software Engineering Institute CMU/SEI-93-TR-24 (1993)
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 SIGAda: Ada performance issues. Ada Lett. 10(3), 60–71 (1990) SIGAda: Ada performance issues. Ada Lett. 10(3), 60–71 (1990)
27.
Zurück zum Zitat Stankovic, J.A.: Misconceptions about real-time computing. IEEE Comput. 21, 10–19 (1988)CrossRef Stankovic, J.A.: Misconceptions about real-time computing. IEEE Comput. 21, 10–19 (1988)CrossRef
28.
Zurück zum Zitat Swoyer, T.: Balancing responsiveness, I/O throughput, and computation. Real-Time Mag. 1, 73–78 (1994) Swoyer, T.: Balancing responsiveness, I/O throughput, and computation. Real-Time Mag. 1, 73–78 (1994)
29.
Zurück zum Zitat Uhle, M.: Leistungstest für Prozeßrechner nach DIN 19242. Automatisierungstechnische Praxis atp 31(5), 224–229 (1989) Uhle, M.: Leistungstest für Prozeßrechner nach DIN 19242. Automatisierungstechnische Praxis atp 31(5), 224–229 (1989)
Metadaten
Titel
Dienstgüte und Bewertung 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_7

Neuer Inhalt