Nur noch 1 verfügbar!
Versandbereit in 3-4 Werktagen
zzgl.
Nur noch 1 verfügbar!
Versandbereit in 3-4 Werktagen
zzgl.
Handgeprüfte Gebrauchtware
Bis zu 50 % günstiger als neu
Der Umwelt zuliebe
Technische Daten
Sprache
Deutsch
EAN
9783642372971
Herausgeber
Springer Berlin
Autor
Wolfgang A. Halang, Rudolf M. Konakovsky
Seitenanzahl
601
Auflage
2
Einbandart
Gebundene Ausgabe
Inhaltsverzeichnis
Grundlagen sicherheitsgerichteter Echtzeitsysteme.- Konzepte zur sicherheitsgerichteten Prozeßautomatisierung.- Hardware-Systeme zur sicheren Prozeßdatenverarbeitung.- Zweikanalige sicherheitsgerichtete Rechnersysteme.- Entwicklung sicherheitsgerichteter Software.- Software-Verifikation.- Quantitative Bewertung sicherheitsgerichteter Echtzeitsysteme.- Das inhärent sichere Funktionsplanparadigma.- Erstellung und Prüfung sicherheitsgerichteter Software.- Einige formale Methoden zur Programmverifikation.- Eine funktionsplanabbildende Prozeßrechnerarchitektur.- Fallstudien sicherheitsgerichteter programmierbarer elektronischer.- Systeme.- Die sicherheitsgerichtete Echtzeitprogrammiersprache HI-PEARL.- Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozeßbetrieb.- Literaturverzeichnis.- Stichwortverzeichnis.
Wenn du eine Bewertung für dieses Produkt schreibst, hilfst du allen Kund:innen, die noch überlegen, ob sie das Produkt kaufen wollen. Vielen Dank, dass du mitmachst!