Logo - springer
Slogan - springer

Springer Vieweg - Elektrotechnik - Automatisierungstechnik & MSR | Sicherheitsgerichtete Echtzeitsysteme

Sicherheitsgerichtete Echtzeitsysteme

Halang, Wolfgang A., Konakovsky, Rudolf M.

Ursprünglich erschienen im Oldenbourg Verlag 2002

2., vollst. überarb. Aufl. 2013, XVII, 601 S. 238 Abb.

Formate:
eBook
Information

Springer eBooks sind ausschließlich für den persönlichen Gebrauch bestimmt und werden ohne Kopierschutz verkauft (DRM-frei). Statt dessen sind sie mit einem personalisierten Wasserzeichen versehen. Sie können die Springer eBooks auf gängigen Endgeräten, wie beispielsweise Laptops, Tablets oder eReader, lesen.

Springer eBooks können mit Visa, Mastercard, American Express oder Paypal bezahlt werden.

Nach dem Kauf können Sie das eBook direkt downloaden. Ihr eBook ist außerdem in MySpringer gespeichert, so dass Sie Ihre eBooks jederzeit neu herunterladen können.

 
$79.99

(net) Preis für USA

ISBN 978-3-642-37298-8

versehen mit digitalem Wasserzeichen, kein DRM

Erhältliche Formate: PDF and EPUB

sofortiger Download nach Kauf


mehr Information zu Springer eBooks

add to marked items

Hardcover
Information

Gebundene Ausgabe

Springer-Bücher können mit Visa, Mastercard, American Express, Paypal sowie auf Rechnung bezahlt werden.

Standard-Versand ist für Individualkunden kostenfrei.

 
$109.99

(net) Preis für USA

ISBN 978-3-642-37297-1

kostenfreier Versand für Individualkunden

gewöhnlich versandfertig in 3-5 Werktagen


add to marked items

  • Ein wichtiges Buch für die Verlässlichkeit und Sicherheit von Automatisierungssystemen
  • Durchleuchtung der sicherheitsgerichteten Prozeßdatenverarbeitung nach aktuellem Stand der Technik
  • Hardwarearchitekturen und Softwareprogrammierung werden behandelt

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. Das Buch wurde für die 2. Auflage gründlich überarbeitet und um die Darstellung neuer Patente erweitert.

 

Die Zielgruppen

Studierende der Automatisierungstechnik und der Informatik sowie Systemarchitekten und Entwickler.

Die Autoren

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.

Content Level » Professional/practitioner

Stichwörter » Automatisierungstechnik - Echtzeitsysteme - PEARL - Sicherheit - eingebettete Systeme - programmierbare elektronische Systeme (PES)

Verwandte Fachbereiche » Automatisierungstechnik & MSR - Praktische Informatik - Sicherheit

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.

Beliebte Inhalte dieser Publikation 

 

Articles

Dieses Buch auf Springerlink lesen

Service für dieses Buch

Neuerscheinungen

Registrieren Sie sich hier wenn Sie regelmäßig Informationen über neue Bücher erhalten wollen im Fachbereich Robotik und Automatisierung.