Author: Wolfgang A. Halang (Autor), Rudolf Konakovsky (Autor)
Title: Sicherheitsgerichtete Echtzeitsysteme
Description: , Springer Vieweg, 2013. 600, , Softcover. Zustand: 2. Echtzeit-Verarbeitung Prozessautomatisierung Prozessdatenverarbeitung Sicherheitstechnik Technik Elektronik Elektrotechnik Nachrichtentechnik Ein Regelwerk zur Konstruktion sicherheitsgerichteter Echtzeitsysteme und die Basis für die weitere Entwicklung des Gebietes, da bisher wenig bekannte Ergebnisse sowie das immer drängendere Problem der Software-Korrektheit in den Vordergrund gestellt werden. Das Buch beginnt mit der Behandlung der Problemstellung sowie begrifflicher, methodischer und konzeptioneller Grundlagen sicherheitsgerichteter Echtzeitsysteme. Architekturen für sichere Hardware sowie Verfahren zur Erstellung möglichst fehlerfreier Software und zu deren Verifikation werden dargestellt, die dann auch quantitativ bewertet werden. Danach werden im wesentlichen Ergebnisse jüngster Forschungen vorgestellt. Dieser Titel bietet ein Regelwerk zur Konstruktion sicherheitsgerichteter Echtzeitsysteme. Es stellt eine Basis her für die weitere Entwicklung des Gebietes, indem es bisher wenig bekannte Ergebnisse sowie das immer drängendere Problem der Software-Korrektheit in den Vordergrund stellt. Es beginnt mit der Behandlung der Problemstellung sowie begrifflicher, methodischer und konzeptioneller Grundlagen sicherheitsgerichteter Echtzeitsysteme. Architekturen für sichere Hardware sowie Verfahren zur Erstellung möglichst fehlerfreier Software und zu deren Verifikation werden dargestellt, die dann auch quantitativ bewertet werden. Danach werden im wesentlichen Ergebnisse jüngster Forschungen vorgestellt. Im einzelnen werden behandelt-sichere speicherprogrammierbare Steuerungen, -das Paradigma der Programmierung mit Funktionsplänen und deren Abbildung in Hardware-Implementationen, -Fallstudien sicherheitsgerichteter und sicherheitstechnisch abnehmbarer Rechnerarchitekturen, -inhärent sichere Konstrukte in und beweisbar sichere Teilmengen von Echtzeitprogrammiersprachen, -Fragen der Ablaufplanung, Betriebsmittelzuteilung und Zuteilbarkeitsanalye sowie ein -Regelwerk zur Konstruktion sicherheitsgerichteter Anhand der Grundlagen von sicherheitsgerichteten Echtzeitsystemen führen die Autoren in die Logik der Sicherheitstechnik ein. Sie erörtern Hardwarearchitekturen und Softwareprogrammierung, aber auch aktuelle Forschung z. B. zu unkonventionellen Architekturen. Das Buch behandelt das wichtige Thema Sicherheit bei elektronischen Systemen. 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 quantitativ bewertet. Weiterhin werden Ergebnisse jüngster Forschungen vorgestellt, so u.a. inhärent sicherheitsfördernde Paradigmen der Echtzeitprogrammierung und –ablauforganisation sowie unkonventionelle sicherheitsgerichtete Architekturen für sicherheitstechnisch abnehmbare Feldbusse und programmierbare elektronische Systeme. Inhalt: Grundlagen sicherheitsgerichteter Echtzeitsysteme.- Konzepte zur sicherheitsgerichteten Prozessautomatisierung.- Hardware-Systeme zur sicheren Prozessdatenverarbeitung.- 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 Prozessrechnerarchitektur.- Fallstudien sicherheitsgerichteter programmierbarer elektronischer.- Systeme.- Die sicherheitsgerichtete Echtzeitprogrammiersprache HI-PEARL.- Ablaufplanung und Zuteilbarkeitsanalyse für den Mehrprozessbetrieb.- Literaturverzeichnis.- Stichwortverzeichnis. Echtzeit- systeme. Echtzeit-Verarbeitung Technik Elektronik Elektrotechnik Nachrichtentechnik Prozessautomatisierung Prozessdatenverarbeitung Sicherheitstechnik Sicherheitsgerichtete Echtzeitsysteme von Wolfgang A. Halang (Autor), Rudolf Konakovsky (Autor) ISBN: 364237297X. Gewicht/weight: 2000 gr.

Keywords: Echtzeit-Verarbeitung Prozessautomatisierung Prozessdatenverarbeitung Sicherheitstechnik Technik Elektronik Elektrotechnik Nachrichtentechnik Ein Regelwerk zur Konstruktion sicherheitsgerichteter Echtzeitsysteme und die Basis für die weitere Entwicklung d