,

Sicherheitsgerichtete Echtzeitsysteme

Paperback Duits 2018 3e druk 9783662563687
€ 113,14
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Samenvatting

Das Buch behandelt das wichtige Thema funktionale Sicherheit programmierbarer elektronischer Systeme. Anhand begrifflicher, methodischer und konzeptioneller Grundlagen sicherheitsgerichteter Echtzeitsysteme wird in die Denkweise der Sicherheitstechnik eingeführt. Architekturen für sichere Hardware sowie Verfahren zur Erstellung möglichst fehlerfreier Software und zu deren Verifizierung werden dargestellt und bewertet. Weiterhin werden Ergebnisse jüngster Forschungen vorgestellt wie inhärent sicherheitsfördernde Paradigmen der Echtzeitprogrammierung und -ablauforganisation oder unkonventionelle sicherheitsgerichtete Architekturen für sicherheitstechnisch abnehmbare Feldbusse und programmierbare elektronische Systeme.

Das Buch wurde für die 3. Auflage gründlich überarbeitet und um die Darstellung neuer Patente  und Normen erweitert. 

Die Zielgruppen

Studierende der Automatisierungstechnik und der Informatik sowie Systemarchitekten und Entwickler.

Specificaties

ISBN13:9783662563687
Taal:Duits
Bindwijze:paperback
Uitgever:Springer Berlin Heidelberg
Druk:3
Serie:VDI-Buch

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

Inhoudsopgave

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.

Managementboek Top 100

€ 113,14
Levertijd ongeveer 9 werkdagen
Gratis verzonden

Rubrieken

    Personen

      Trefwoorden

        Sicherheitsgerichtete Echtzeitsysteme