Abbildung von: Herausforderungen durch Echtzeitbetrieb - Springer

Herausforderungen durch Echtzeitbetrieb

Echtzeit 2011
Wolfgang A. Halang(Herausgeber*in)
Springer (Verlag)
Erschienen am 20. Oktober 2011
VIII, 140 Seiten
E-Book
PDF mit Wasserzeichen-DRM
Systemvoraussetzungen
978-3-642-24658-6 (ISBN)
36,99 €inkl. 7% MwSt.
Systemvoraussetzungen
für PDF mit Wasserzeichen-DRM
E-Book Einzellizenz
Als Download verfügbar
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.
Reihe
Auflage
2012
Sprache
Englisch
Deutsch
Verlagsort
Heidelberg
Deutschland
Verlagsgruppe
Springer Berlin
Illustrationen
32
29 farbige Abbildungen, 10 s/w Tabellen, 32 s/w Abbildungen
VIII, 140 S. 61 Abb., 29 Abb. in Farbe.
Dateigröße
Dateigröße: 3,90 MB
Schlagworte
MehrkernsystemeSoftwareentwicklungEntwurfsverfahrenEchtzeitprogrammierungSicherheit
ISBN-13
978-3-642-24658-6 (9783642246586)
DOI
10.1007/978-3-642-24658-6
Schweitzer Klassifikation
Informatik / ComputerHardwareNetzwerk-Hardware
Informatik / ComputerNetzwerke / Internet
Informatik / ComputerProgrammierung / Software EntwicklungSoftware Engineering
Thema Klassifikation
EDV und InformationstechnologieComputerhardwareNetzwerk-Hardware
EDV und InformationstechnologieComputerprogrammierung und SoftwareentwicklungSoftware Engineering
DNB DDC Sachgruppen
Informatik
TechnikElektrotechnik, Elektronik
TechnikIndustrielle und handwerkliche Fertigung
Dewey Decimal Classfication (DDC)
Computer science, information & general worksComputer science, knowledge & systemsData processing & computer science
BIC 2 Klassifikation
Computing & information technologyComputer hardwareNetwork hardware
Computing & information technologyComputer networking & communications
Computing & information technologyComputer programming / software developmentSoftware Engineering
BISAC Klassifikation
ComputersNetworking / GeneralHardware
ComputersSoftware Development & Engineering / General
Warengruppensystematik 2.0
Naturwissenschaften, Medizin, Informatik, TechnikInformatik, EDVInformatik

Andere Ausgaben

Abbildung von: Herausforderungen durch Echtzeitbetrieb - Springer
Wolfgang A. Halang
Herausforderungen durch Echtzeitbetrieb
Echtzeit 2011
Buch
10/2011
1. Auflage
Springer
46,99 €
Versand in 7-9 Tagen
  • Intro
  • 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.3 Adding high-integrity drivers to a standard OS
  • 3.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
  • 3 Virtuelle Multi-Core-Architektur
  • 4 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 Eigenschaften
  • 4.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 Messergebnisse
  • 7 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
  • Entwicklungswerkzeuge
  • 4 Ausbildung an der Hochschule Emden/Leer
  • 5 Einbindung der Studierenden in die Forschung und Entwicklung
  • 6 Ausblick
  • Literaturverzeichnis
  • Umsetzung eines Online-SLAM-Verfahrens auf der Roboterplattform Volksbot-Lab
  • 1 Einleitung
  • 2 Simultaneous Localization and Mapping
  • 3 Konzeption und Umsetzung
  • 4 Evaluierung
  • 5 Fazit
  • Literaturverzeichnis
  • Entwurf eines FPGA-Cores zur Simulationsbeschleunigung zeitkontinuierlicher Modelle im HiL-Kontext
  • 1 Einleitung
  • 2 Vorüberlegungen zur Problemstellung
  • 3 Vorüberlegungen zur Architektur
  • 4 LESCore-Architektur
  • 5 Ergebnisse
  • Literaturverzeichnis
  • Das atomare Element als Meta-Modell zur tabellarischen Verhaltensbeschreibung von Echtzeitsystemen
  • 1 Einleitung
  • 1.1 Stand der Technik und verwandte Arbeiten
  • 2 Das atomare Element als Meta-Modell für das Verhalten von Echtzeitsystemen
  • 3 Tabellarische Echtzeit-Verhaltensbeschreibung
  • 3.1 Abstrakte Testfälle und partielles Systemverhalten
  • 3.2 Verwendung der abstrakten Testfälle in Testsequenzen zur Darstellung von Funktionsfolgen
  • 3.3 Horizontale De-/Komposition des Verhaltens
  • 3.4 Vertikale Differenzierung verschiedener Aspekte und Eigenschaften
  • 4 Zusammenfassung und Schlussfolgerungen
  • Literaturverzeichnis
  • Einsatz von Echtzeitstrategien in der MES-Automatisierung
  • 1 Einleitung
  • 2 Problemstellung
  • 3 Verwandte Arbeiten
  • 4 Entwurfsmodell
  • 5 Prozessmodellierung
  • 6 Prozesskompilierung
  • 7 Prozessverifikation
  • 8 Zusammenfassung und Ausblick
  • Literaturverzeichnis
  • Analyse des Zusammenhangs zwischen Energiebedarf, Dienstgüte und Performanz bei der Ressourcensubstitution in Softwaresystemen
  • 1 Einleitung und Motivation
  • 2 Verwandte Arbeiten
  • 3 Ressourcensubstitution
  • 4 Fallstudie
  • 4.1 Referenzsystem und Aufbau
  • 4.2 Studienentwurf
  • 4.3 Durchführung
  • 5 Ergebnisse
  • 6 Zusammenfassung und Ausblick
  • Literaturverzeichnis
  • Skalierbare Rechensysteme für Echtzeitanwendungen
  • 1 Einleitung
  • 2 Space Sharing
  • 3 Interprozessorkommunikation
  • 3.1 Mehrstufige Netze
  • 3.2 Nicht-blockierungsfreie Netze
  • 3.3 Blockierungsfreie Netze
  • 4 Implementierung im FPGA
  • Literaturverzeichnis
  • Konzept zur Erhöhung der Flexibilität von Produktionsanlagen durch Einsatz von rekonfigurierbaren Anlagenkomponenten und echtzeitfähigen Softwareagenten
  • 1 Einleitung
  • 2 Stand der Technik und Forschung
  • 3 Anwendungsbeispiel - flexible Einspannvorrichtung
  • 4 Anwendung des agentenorientierten Ansatzes zur Flexibilisierung der Einspanneinrichtung einer NC-Fräsmaschine
  • 4.1 Architektur des Agentensystems
  • 4.2 Architektur des Steuerungsagenten und Wissensbasis im Redundanzmodell
  • 4.3 Service-Schnittstelle zwischen Fertigungsleitrechner und Einspannagent
  • 5 Evaluation
  • 6 Fazit
  • 7 Danksagung
  • Literaturverzeichnis
  • Flexible Echtzeitsimulationsumgebung für optische Schüttgutsortierung
  • 1 Einleitung
  • 2 Varianten von Simulationsumgebungen
  • 2.1 Aktive Bildanzeige
  • 2.2 Simulation der Zeilensensoren
  • 2.3 Simulation im Framegrabber
  • 3 Validierung der Simulationsumgebung
  • 4 Fazit und Ausblick
  • Literaturverzeichnis

Dateiformat: PDF
Kopierschutz: Wasserzeichen-DRM (Digital Rights Management)

Systemvoraussetzungen:

  • Computer (Windows; MacOS X; Linux): Verwenden Sie zum Lesen die kostenlose Software Adobe Reader, Adobe Digital Editions oder einen anderen PDF-Viewer Ihrer Wahl (siehe E-Book Hilfe).
  • Tablet/Smartphone (Android; iOS): Installieren Sie bereits vor dem Download die kostenlose App Adobe Digital Editions oder die App PocketBook (siehe E-Book Hilfe).
  • E-Book-Reader: Bookeen, Kobo, Pocketbook, Sony, Tolino u.v.a.m. (nur bedingt: Kindle)

Das Dateiformat PDF zeigt auf jeder Hardware eine Buchseite stets identisch an. Daher ist eine PDF auch für ein komplexes Layout geeignet, wie es bei Lehr- und Fachbüchern verwendet wird (Bilder, Tabellen, Spalten, Fußnoten). Bei kleinen Displays von E-Readern oder Smartphones sind PDF leider eher nervig, weil zu viel Scrollen notwendig ist. Mit Wasserzeichen-DRM wird hier ein „weicher” Kopierschutz verwendet. Daher ist technisch zwar alles möglich – sogar eine unzulässige Weitergabe. Aber an sichtbaren und unsichtbaren Stellen wird der Käufer des E-Books als Wasserzeichen hinterlegt, sodass im Falle eines Missbrauchs die Spur zurückverfolgt werden kann.

Weitere Informationen finden Sie in unserer  E-Book Hilfe.