von Ein Regelwerk zur Konstruktion sicherheitsgerichteter Echtzeit-Verarbeitung Prozeßautomatisierung Prozeßdatenverarbeitung Sicherheitstechnik
5 Angebote vergleichen

Von Händler/Antiquariat, getbooks GmbH [55883480], Idstein, HE, Germany.
455 Seiten Gepflegtes ehemaliges Bibliothek***emplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag aus selbstklebender Folie). Zustand unter Berücksichtigung des Alters gut. Tagesaktueller, sicherer und weltweiter Versand. Wir liefern grundsätzlich mit beiliegender Rechnung. 564294.01 Sprache: de Gewicht in Gramm: 500.

Lieferung aus: Deutschland, Versandart: STD, Versand nach: DE.
Von Händler/Antiquariat, Lars Lutzer, [9574453].
2002 Softcover Echtzeit-Verarbeitung Prozeßautomatisierung Prozeßdatenverarbeitung 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 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. Echtzeit- systeme. Echtzeit-Verarbeitung Technik Elektronik Elektrotechnik Nachrichtentechnik Prozeßautomatisierung Prozeßdatenverarbeitung Sicherheitstechnik Sicherheitsgerichtete Echtzeitsysteme von Wolfgang A. Halang (Autor), Rudolf Konakovsky (Autor) Seiten: 455.

Von Händler/Antiquariat, Buchservice Lars Lutzer [53994756], Bad Segeberg, Germany.
Echtzeit-Verarbeitung Prozeßautomatisierung Prozeßdatenverarbeitung 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 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. Echtzeit- systeme. Echtzeit-Verarbeitung Technik Elektronik Elektrotechnik Nachrichtentechnik Prozeßautomatisierung Prozeßdatenverarbeitung Sicherheitstechn.

Lieferung aus: Deutschland, Versandart: STD, Versand nach: DE.
Von Händler/Antiquariat, Lars Lutzer, [9574453].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen

Lieferung aus: Deutschland, Versandart: STD, Versand nach: DE.
Von Händler/Antiquariat, Lars Lutzer, [9574453].
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen