Login

Halang, Wolfgang A.

Funktionale Sicherheit

Halang, Wolfgang A. - Funktionale Sicherheit, ebook

38,45€

Ebook, PDF with Adobe DRM
ISBN: 9783642413094
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

1. Funktionale Sicherheit programmierbarer elektronischer Systeme
Ingo Rolle

2. Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf Normenkonformität
Günter Glöe, Detlev Volkwarth

3. Reaktive optische Einknickwinkelvermessung bei Gliederfahrzeugen
Simon Eggert, Christian Fuchs, Frank Bohdanowicz, Dieter Zöbel

4. IT-Sicherheits-Eigenschaften für eng gekoppelte, asynchrone Multi-Betriebssysteme im automotiven Umfeld
Pierre Schnarz, Joachim Wietzke

5. Leistungs- und Präzisionssteigerung des Lastgenerierungsprozesses von UniLoG unter Verwendung echtzeitfördernder Maßnahmen durch das Betriebssystem
Alexander Beifuß

6. Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-Einlastung
Rainer Müller

7. Entwurf und Implementierung einer Prozessinterkommunikation für Multi-Core CPUs
Manuel Strobel

8. Fehlertolerante verteilte Systeme aus Standardkomponenten
Peter F. Elzer

9. Framework für die empirische Bestimmung der Ausführungszeit auf Mehrkernprozessoren
Julian Godesa, Robert Hilbrich

10. Statistische Parametersynthese für hybride Systeme
Christian Schwarz

11. Simulation von Teilnehmern verteilter Systeme zur Verifikation und Systemintegration
Silvije Jovalekic, Michael Wiescholek, Bernd Rist

12. Verifikation und Validierung sicherheitsgerichteter SPS-Programme
Doaa Soliman, Georg Frey

13. Qualitative Analyse der funktionalen Sicherheit software-intensiver Systeme mittels Zustands/Ereignis-Fehlerbäumen
Michael Roth, Peter Liggesmeyer

Keywords: Computer Science, Computer Systems Organization and Communication Networks, Software Engineering, Computer Communication Networks

Author(s)
Publisher
Springer
Publication year
2013
Language
de
Edition
2013
Series
Informatik aktuell
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9783642413094

Similar titles