- Hauptmenü-

Katalogdatenanzeige

Sicherheitsgerichtete Echtzeitsysteme

Kataloginformation Katalogdatensatz500181185 .

Kataloginformation
Feldname	Details
Vorliegende Sprache	ger
Hinweise auf parallele Ausgaben	393787575 Druckausg.: ‡Halang, Wolfgang A., 1951 - : Sicherheitsgerichtete Echtzeitsysteme
ISBN	978-3-642-37297-1
Name	Halang, Wolfgang A.
Name	Konakovsky, Rudolf M.
Name ANZEIGE DER KETTE	Konakovsky, Rudolf M.
T I T E L	Sicherheitsgerichtete Echtzeitsysteme
Auflage	2., vollst. überarb. Aufl. 2013
Verlagsort	Berlin, Heidelberg
Verlag	Springer Vieweg
Erscheinungsjahr	2013
Erscheinungsjahr	2013
Umfang	Online-Ressource (XVII, 601 S. 238 Abb, online resource)
Reihe	SpringerLink. Bücher
Weiterer Inhalt	Grundlagen sicherheitsgerichteter EchtzeitsystemeKonzepte 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.
Titelhinweis	Druckausg.: ‡Halang, Wolfgang A., 1951 - : Sicherheitsgerichtete Echtzeitsysteme
ISBN	ISBN 978-3-642-37298-8
Klassifikation	TEC004000
	TJFM1
	TEC037000
	629.892
	TJ210.2-211.495
	T59.5
	ZQ 5000
	ST 230
	ST 234
	ST 267
	ZQ 5450
	ZQ 6200
Kurzbeschreibung	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.
2. Kurzbeschreibung	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.
1. Schlagwortkette	Prozessautomation
	Echtzeitsystem
	Prozessleittechnik
	Betriebssicherheit
	Softwareentwicklung
	Zuverlässigkeit
1. Schlagwortkette ANZEIGE DER KETTE	Prozessautomation -- Echtzeitsystem -- Prozessleittechnik -- Betriebssicherheit -- Softwareentwicklung -- Zuverlässigkeit
2. Schlagwortkette	Prozessautomation
	Echtzeitsystem
	Prozessleittechnik
	Betriebssicherheit
	Softwareentwicklung
	Zuverlässigkeit
ANZEIGE DER KETTE	Prozessautomation -- Echtzeitsystem -- Prozessleittechnik -- Betriebssicherheit -- Softwareentwicklung -- Zuverlässigkeit
3. Schlagwortkette	Echtzeitsystem
	Speicherprogrammierte Steuerung
	Zuverlässigkeit
ANZEIGE DER KETTE	Echtzeitsystem -- Speicherprogrammierte Steuerung -- Zuverlässigkeit
SWB-Titel-Idn	392247569
Signatur	Springer E-Book
Bemerkungen	Elektronischer Volltext - Campuslizenz
Elektronische Adresse	$uhttp://dx.doi.org/10.1007/978-3-642-37298-8
Internetseite / Link	Resolving-System
Siehe auch	Volltext
Siehe auch	Cover

ISBD-Anzeige Katalogdatensatz500181185

Kategorien-Anzeige Katalogdatensatz500181185

Titel zur Titelsammlung hinzufügen Katalogdatensatz500181185

Kataloginformation500181185 Datensatzanfang . Kataloginformation500181185 Seitenanfang .

Titel vormerken Katalogdatensatz500181185

Vollanzeige Katalogdaten

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.