Herausforderungen durch Echtzeitbetrieb: Echtzeit 2011

Media type: E-Book; Conference Proceedings

Title: Herausforderungen durch Echtzeitbetrieb : Echtzeit 2011

Contains: Vorwort; Inhaltsverzeichnis; Sichere Kommunikation in der Automatisierungstechnik; 1 Einleitung; 2 Ergänzung der Automatisierungsarchitektur; 3 Inbetriebnahmemodus; Initialisierung des Automatisierungssystems und Schlüsselgenerierung; 3.1 Betriebsmodus; Verschlüsselung und Verschleierung der Daten; Literaturverzeichnis; An AUTOSAR-compatible microkernel for systems with safety-relevant components; 1 Introduction; 2 The AUTOSAR Standard; 3 Practical Solutions; 3.1 Data integrity based on error-detecting codes; 3.2 Data integrity using stand-alone memory protection
3 Virtuelle Multi-Core-Architektur4 Anwendung der VMMC als Plattform; 5 Ausblick; 6 Zusammenfassung; Literaturverzeichnis; Modellbasierte Generierung statischer Schedules für sicherheitskritische, eingebettete Systeme mit Multicore-Prozessoren und harten Echtzeitanforderungen; 1 Einführung; 2 Erstellung von statischen Schedules für Multicore-Prozessoren; 3 Modellbasierte Generierung von statischen Schedules - Correctness by Construction; 4 Modellierung eines Scheduling-Problems; 4.1 Ein Beispielszenario; 4.2 Globale Anforderungen; 4.3 Hardware-Architektur
4.4 Anwendungen und ihre zeitlichen Eigenschaften4.5 Externe Ressourcen; 4.6 Zuordnung der Software auf die Hardware; 4.7 Ergebnis; 5 Aktuelle Arbeiten: Generierung von hierarchischen Schedules im Automobilbereich; Danksagung; Literaturverzeichnis; Harte Echtzeit für Anwendungsprozesse in Standard-Betriebssystemen auf Mehrkernprozessoren; 1 Einleitung; 2 Verwandte Arbeiten und Motivation; 3 Umsetzung der Isolation; 3.1 Echtzeit-Methoden; 3.2 Kombination der Methoden; 4 Möglichkeiten isolierter Prozesse; 4.1 Kommunikation über gemeinsamen Speicher; 4.2 Erweiterungen; 5 Beispielanwendung
6 Messergebnisse7 Zusammenfassung und Ausblick; Literaturverzeichnis; Echtzeitsysteme in Informatikunterricht und Ausbildung; 1 Motivation; 2 Didaktische Überlegungen zu Echtzeitsystemen; 3 Beschreibung des Wippe-Experiments; 3.1 Mechanischer Aufbau; 3.2 Aufbau des Softwaresystems; 4 Verifizierung des Wippe-Experiments; 5 Das Wippe-Experiment im Unterricht; 6 Zusammenfassung; Literaturverzeichnis; Forschung und Lehre im Bereich industrielle Fertigung; 1 Einleitung; 2 Herausforderungen der flexiblen und intelligenten Fertigung im Echtzeitbetrieb; Hardware; Software
3 Plattformen für Ausbildung und Forschung
3.3 Adding high-integrity drivers to a standard OS3.4 A minimal high-integrity context switch; 3.5 A full implementation of the AUTOSAR OS standard; 3.6 A minimal operating system kernel; 4 Design of the AUTOSAR-compatible Microkernel; 4.1 Threads; 4.2 Microkernel structure; 4.3 Interrupts; 4.4 Resources and interrupt locks; 4.5 Counters and related services; 4.6 Events; 4.7 Hook functions; 4.8 The thread/kernel interface; 5 Conclusion; References; Integration zukünftiger In-Car-Multimediasysteme unter Verwendung von Virtualisierung und Multi-Core-Plattformen; 1 Einführung; 2 Problemstellung

Contributor: Halang, Wolfgang A. [Author]

imprint: Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2012

Extent: Online-Ressource (VIII, 140S, digital)

Language: German

DOI: 10.1007/978-3-642-24658-6

ISBN: 9783642246586

Identifier:

RVK notation: ST 234 : Echtzeitverarbeitung
ST 153 : Embedded Systems

Keywords: Echtzeitsystem > Mehrkernprozessor > Sicherheitskritisches System > Funktionssicherheit > Datensicherung > Computersicherheit > Echtzeitprogrammierung > Automatisierungssystem > Fertigungsanlage
Echtzeitsystem > Ausbildung

Origination:

Footnote: Description based upon print version of record

Description: Mit seinem Workshop 2011 zum Thema "Herausforderungen durch Echtzeitbetrieb" bietet der Fachausschuss Wissenschaftlern, Nutzern und Herstellern ein Forum an, auf dem neue Trends und Entwicklungen zu folgenden Programmschwerpunkten vorgestellt werden: Sicherheit, Mehrkernsysteme, Ausbildung, Entwurfsverfahren sowie Skalier- und Konfigurierbarkeit.

Search in field:

Recently searched for: