Name: Funktionale Sicherheit
ISBN: 978-3-642-41309-4

Overview

Editors:

Wolfgang A. Halang⁰

Wolfgang A. Halang
1. Lehrstuhl für Informationstechnik, insb. Realzeitsysteme, Fernuniversität in Hagen, Hagen
View editor publications

You can also search for this editor in PubMed Google Scholar

Jahrestagung Echtzeit 2013 zum Thema "Funktionale Sicherheit"
Für Wissenschaftler, Hersteller und Studenten
Neue Trends und Entwicklungen
Aktuelle Anwendungen und Ausbildung
Includes supplementary material: sn.pub/extras

Part of the book series: Informatik aktuell (INFORMAT)

66k Accesses
5 Citations

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook EUR 29.99

Price includes VAT (Germany)

Softcover Book EUR 39.99

Price includes VAT (Germany)

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

Mit seinem Workshop 2013 zum Thema "Funktionale Sicherheit" bietet der Fachausschuss Echtzeitsysteme Wissenschaftlern, Nutzern und Herstellern ein Formu an, auf dem neue Trends und Entwicklungen zu folgenden Programmschwerpunkten vorgestellt werden: Sensornetze, Betriebssysteme und Middleware, Mehrkernprogrammierung, Mobile Systeme, Engineering, Modellbildung und Simulation. Berichte zu aktuellen Anwendungen und zur Ausbildung runden die Publikation ab.

Referenzprozess zur Aufarbeitung von implizitem Wissen zu Tätigkeitsfeldern und Arbeitsprozessen – Ergebnisse einer Workshopserie

Vom Wollen zum Brauchen. Funktionsbekleidung – eine nachhaltige Herausforderung am Beispiel von hessnatur

Die Grundlagen

Keywords

Table of contents (13 papers)

Front Matter

Pages I-VIII

Download chapter PDF
Funktionale Sicherheit und ihre Normen
1. Funktionale Sicherheit programmierbarer elektronischer Systeme
  
  Ingo Rolle
  
  Pages 1-6
2. Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf Normenkonformität
  
  Günter Glöe, Detlev Volkwarth
  
  Pages 7-18
Automobiltechnische Anwendungen
1. Reaktive optische Einknickwinkelvermessung bei Gliederfahrzeugen
  
  Simon Eggert, Christian Fuchs, Frank Bohdanowicz, Dieter Zöbel
  
  Pages 19-28
2. IT-Sicherheits-Eigenschaften für eng gekoppelte, asynchrone Multi-Betriebssysteme im automotiven Umfeld
  
  Pierre Schnarz, Joachim Wietzke
  
  Pages 29-38
Graduiertenwettbewerb
1. Leistungs- und Präzisionssteigerung des Lastgenerierungsprozesses von UniLoG unter Verwendung echtzeitfördernder Maßnahmen durch das Betriebssystem
  
  Alexander Beifuß
  
  Pages 39-48
2. Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-Einlastung
  
  Rainer Müller
  
  Pages 49-58
3. Entwurf und Implementierung einer Prozessinterkommunikation für Multi-Core CPUs
  
  Manuel Strobel
  
  Pages 59-68
Systementwicklung
1. Fehlertolerante verteilte Systeme aus Standardkomponenten
  
  Peter F. Elzer
  
  Pages 69-76
2. Framework für die empirische Bestimmung der Ausführungszeit auf Mehrkernprozessoren
  
  Julian Godesa, Robert Hilbrich
  
  Pages 77-86
3. Statistische Parametersynthese für hybride Systeme
  
  Christian Schwarz
  
  Pages 87-96
Verifikation
1. Simulation von Teilnehmern verteilter Systeme zur Verifikation und Systemintegration
  
  Silvije Jovalekic, Michael Wiescholek, Bernd Rist
  
  Pages 97-106
2. Verifikation und Validierung sicherheitsgerichteter SPS-Programme
  
  Doaa Soliman, Georg Frey
  
  Pages 107-116
3. Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen
  
  Michael Roth, Peter Liggesmeyer
  
  Pages 117-126

Editors and Affiliations

Lehrstuhl für Informationstechnik, insb. Realzeitsysteme, Fernuniversität in Hagen, Hagen

Wolfgang A. Halang

Bibliographic Information

Book Title: Funktionale Sicherheit
Book Subtitle: Echtzeit 2013
Editors: Wolfgang A. Halang
Series Title: Informatik aktuell
DOI: https://doi.org/10.1007/978-3-642-41309-4
Publisher: Springer Vieweg Berlin, Heidelberg
eBook Packages: Computer Science and Engineering (German Language)
Copyright Information: Springer-Verlag Berlin Heidelberg 2013
Softcover ISBN: 978-3-642-41308-7Published: 17 October 2013
eBook ISBN: 978-3-642-41309-4Published: 01 October 2013
Series ISSN: 1431-472X
Series E-ISSN: 2628-8958
Edition Number: 1
Number of Pages: VIII, 126
Number of Illustrations: 50 b/w illustrations
Topics: Computer Systems Organization and Communication Networks, Software Engineering, Computer Communication Networks

Publish with us

Policies and ethics

Funktionale Sicherheit