Funktionale Sicherheit: Echtzeit 2013

Media type: E-Book; Conference Proceedings

Title: Funktionale Sicherheit : Echtzeit 2013

Contains: Vorwort; Inhaltsverzeichnis; Funktionale Sicherheit programmierbarer elektronischer Systeme; 1 Einleitung; 2 Was ist funktionale Sicherheit?; 2.1 Warum ist funktionale Sicherheit wichtig für die Industrie?; 2.2 Wie wird funktionale Sicherheit genormt?; 3 Fazit; Literaturverzeichnis; Werkzeugunterstützung der Prüfung sicherheitsgerichteter Software auf Normenkonformität; 1 Einleitung; 2 Sicherheitsnormen programmgesteuerter Elektronik; 3 Sicherheitsstandards quantitativ betrachtet; 4 Bedarf an Hilfsmitteln zur effizienten und verlässlichen Normenanwendung; 5 Umfang erreichter Normenkonformität
6 Prüfung umgangssprachlicher Work Products7 Zusammenfassung; Literaturverzeichnis; Reaktive optische Einknickwinkelvermessung bei Gliederfahrzeugen; 1 Einleitung und Motivation; 2 Software-Architektur; 3 Software-Komponenten; 3.1 Komponente „Bild-Akquisition"; 3.2 Komponente „Bildverarbeitung"; 3.3 Komponente „Winkelrekonstruktion"; 3.4 Architektur-Zusammenfassung; 4 Sicherheitseinstufung; 5 Tests und Evaluation; 6 Fazit und Ausblick; Literaturverzeichnis; IT-Sicherheits-Eigenschaften für eng gekoppelte, asynchrone Multi-Betriebssysteme im automotiven Umfeld; 1 Einleitung; 2 ICM-Multi-OS
3 Analyse der umgebungsspezifischen Schwachstellen3.1 Inter-OS Kommunikation; 3.2 ICM-Multi-OS Systemkonfiguration; 3.3 Angriffsvektoren; 4 Funktionale Erweiterung des Multi-OS Umgebung; 4.1 Sichere Kommunikationskanäle; 4.2 Sichere und Vertrauenswürdige Verbindungen; 5 Fazit; Literaturverzeichnis; Leistungs- und Präzisionssteigerung des Lastgenerierungsprozesses von UniLoG unter Verwendung echtzeitfördernder Maßnahmen durch das Betriebssystem; 1 Einleitung; 2 Grundlagen der Lastspezifikation gemäß UniLoG; 3 Architektur des UniLoG-Lastgenerators
4 Echtzeitanforderungen bei der Lastgenerierung5 Beschreibung der Messungen; 6 Auswertung der Messergebnisse; 7 Fazit und Ausblick; Literaturverzeichnis; Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-Einlastung; 1 Einleitung; 1.1 Hybride Echtzeitbetriebssysteme; 1.2 Das Sloth-Konzept; 1.3 Integration von Sloth mit Linux; 2 Analyse und Anforderungen; 2.1 Echtzeitfähigkeit in Linux; 2.2 Interruptvirtualisierung durch den I-Pipe Patch; 3 Entwurf und Implementierung von Slothful Linux; 3.1 Anforderungen an die Hardware-Plattform
3.2 Sloth auf Intel x86 unter Verwendung des Local APIC3.3 Änderungen am Linux-Kern für Slothful Linux; 3.4 Kommunikation zwischen den Domänen; 4 Evaluation; 4.1 Ergebnisse der Laufzeitmessungen; 4.2 Ergebnisse der Latenzmessungen; 5 Zusammenfassung; Literaturverzeichnis; Entwurf und Implementierung einer Prozessinterkommunikation für Multi-Core CPUs; 1 Einleitung; 1.1 Symmetric Multiprocessing (SMP); 1.2 Motivation und Zielsetzung; 2 Aspekte eines Multiprozessor-Betriebssystems; 2.1 Ressourcenverwaltung und Synchronisation; 2.2 Scheduling; 3 µC/OS-II SMP; 3.1 Hardwareebene
3.2 Board Support Package

Contributor: Halang, Wolfgang A. [Author]

imprint: Berlin, Heidelberg: Springer Berlin Heidelberg, 2013

Extent: Online-Ressource (VIII, 126 S. 50 Abb, online resource)

Language: German

DOI: 10.1007/978-3-642-41309-4

ISBN: 9783642413094

Identifier:

RVK notation: ST 234 : Echtzeitverarbeitung

Keywords: Echtzeitsystem > Eingebettetes System > Sicherheitskritisches System > Funktionssicherheit > Programmierbare Steuerung > Echtzeitprogrammierung > Systemintegration > Konformitätsprüfung

Origination:

Footnote: "Fachtagung des gemeinsamen Fachausschusses, Echtzeitsysteme von, Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess-- und Automatisierungs-technik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG), Boppard, 21. und 22. November 2013
Includes bibliographical references and index

Description: Vorwort -- Sensornetze -- Beitriebssysteme und Middleware -- Mehrkernprogrammierung -- Mobile Systeme -- Engineering -- Modellbildung und Simulation -- Aktuelle Anwendungen -- Ausbildung.

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.

Search in field:

Recently searched for: