libri scuola books Fumetti ebook dvd top ten sconti 0 Carrello


Torna Indietro

halang wolfgang a.; konakovsky rudolf m. - sicherheitsgerichtete echtzeitsysteme

Sicherheitsgerichtete Echtzeitsysteme

;




Disponibilità: Normalmente disponibile in 15 giorni


PREZZO
111,98 €
NICEPRICE
106,38 €
SCONTO
5%



Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.


Pagabile anche con Carta della cultura giovani e del merito, 18App Bonus Cultura e Carta del Docente


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Tedesco
Pubblicazione: 05/2018
Edizione: 3., Überarb. u. erw. Aufl. 2018





Trama

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.





Sommario

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.




Autore

Wolfgang A. Halang wurde in Mathematik und in Informatik promoviert. Nach Industrietätigkeiten, u.a. in der Prozeßleittechnik der Bayer AG, und einer Professur für Angewandte Informatik an der Reichsuniversität zu Groningen ist er seit 1992 Inhaber des Lehrstuhls für Informationstechnik der Fernuniversität in Hagen.

Rudolf M. Konakovsky studierte in Bratislava und wurde an der Universität Stuttgart promoviert und habilitiert. Dort war er nach Forschungs-, Industrie- (Bosch, ABB) und Sachverständigentätigkeiten im In- und Ausland Professor für Zuverlässigkeit und Sicherheit von Automatisierungssystemen.











Altre Informazioni

ISBN:

9783662563687

Condizione: Nuovo
Collana: VDI-Buch
Dimensioni: 240 x 168 mm Ø 13456 gr
Formato: Book + eBook
Illustration Notes:XIX, 712 S. 290 Abb. Book + eBook.
Pagine Arabe: 712
Pagine Romane: xix


Dicono di noi