國立虎尾科技大學 |

Sicherheitsgerichtete Echtzeitsysteme

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Sicherheitsgerichtete Echtzeitsysteme/ von Wolfgang A. Halang, Rudolf M. Konakovsky.
作者:	Halang, Wolfgang A.
其他作者:	Konakovsky, Rudolf M.
面頁冊數:	XIX, 712 S. 290 Abb.online resource. :
Contained By:	Springer Nature eBook
標題:	Robotics. -
電子資源:	https://doi.org/10.1007/978-3-662-56369-4
ISBN:	9783662563694

Sicherheitsgerichtete Echtzeitsysteme
Halang, Wolfgang A.

Sicherheitsgerichtete Echtzeitsysteme[electronic resource] /von Wolfgang A. Halang, Rudolf M. Konakovsky. - 3rd ed. 2018. - XIX, 712 S. 290 Abb.online resource. - VDI-Buch,2512-5281. - VDI-Buch,.

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.

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. Die Autoren Wolfgang A. Halang wurde in Mathematik und in Informatik promoviert. Nach Industrietätigkeiten, u.a. in der Prozessleittechnik der Bayer AG, und einer Professur für Anwendungsorientierte Informatik an der Reichsuniversität zu Groningen war er von 1992 bis 2017 Inhaber des Lehrstuhls für Informationstechnik an der Fernuniversität in Hagen und ist jetzt Gastprofessor an der Chinesisch-Deutschen Technischen Fakultät in Qingdao. 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.

ISBN: 9783662563694

Standard No.: 10.1007/978-3-662-56369-4doiSubjects--Topical Terms:

561941
Robotics.

LC Class. No.: TJ210.2-211.495

Dewey Class. No.: 629.892

Sicherheitsgerichtete Echtzeitsysteme
LDR:03821nam a22003735i 4500 001 992852
003 DE-He213
005 20200712231951.0
007 cr nn 008mamaa
008 201225s2018 gw | s |||| 0|ger d
020 $a 9783662563694 $9 978-3-662-56369-4
024 7 $a 10.1007/978-3-662-56369-4 $2 doi
035 $a 978-3-662-56369-4
050 4 $a TJ210.2-211.495
050 4 $a T59.5
072 7 $a TJFM1 $2 bicssc
072 7 $a TEC037000 $2 bisacsh
072 7 $a TJFM1 $2 thema
082 0 4 $a 629.892 $2 23
100 1 $a Halang, Wolfgang A. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 677217
245 1 0 $a Sicherheitsgerichtete Echtzeitsysteme $h [electronic resource] / $c von Wolfgang A. Halang, Rudolf M. Konakovsky.
250 $a 3rd ed. 2018.
264 1 $a Berlin, Heidelberg : $b Springer Berlin Heidelberg : $b Imprint: Springer Vieweg, $c 2018.
300 $a XIX, 712 S. 290 Abb. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a VDI-Buch, $x 2512-5281
505 0 $a 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.
520 $a 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. Die Autoren Wolfgang A. Halang wurde in Mathematik und in Informatik promoviert. Nach Industrietätigkeiten, u.a. in der Prozessleittechnik der Bayer AG, und einer Professur für Anwendungsorientierte Informatik an der Reichsuniversität zu Groningen war er von 1992 bis 2017 Inhaber des Lehrstuhls für Informationstechnik an der Fernuniversität in Hagen und ist jetzt Gastprofessor an der Chinesisch-Deutschen Technischen Fakultät in Qingdao. 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.
650 0 $a Robotics. $3 561941
650 0 $a Automation. $3 596698
650 0 $a Software engineering. $3 562952
650 0 $a Computer security. $3 557122
650 1 4 $a Robotics and Automation. $3 782979
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Systems and Data Security. $3 677062
700 1 $a Konakovsky, Rudolf M. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1284490
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783662563687
830 0 $a VDI-Buch, $x 2512-5281 $3 1254033
856 4 0 $u https://doi.org/10.1007/978-3-662-56369-4
912 $a ZDB-2-STI
950 $a Computer Science and Engineering (German Language) (SpringerNature-11774)