Titelaufnahme

Titel
Reconfigurable embedded control systems : problems and solutions / von Mohamed Khalgui
VerfasserKhalgui, Mohamed
BetreuerHanisch, Hans-Michael Prof. Dr. ; Frey, Georg Prof. Dr. ; Zimmermann, Wolf Prof. Dr.
Erschienen2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012
UmfangOnline-Ressource (XIX, 159 S. = 6,95 mb)
HochschulschriftHalle, Univ., Naturwissenschaftliche Fakultät III, Habil.-Schr., 2012
Anmerkung
Tag der Verteidigung: 23.01.2012
Sprache der Zusammenfassung: Deutsch
SpracheEnglisch
DokumenttypE-Book
SchlagwörterEingebettetes System / Rekonfiguration / Halle
URNurn:nbn:de:gbv:3:4-7425 
Zugriffsbeschränkung
 Das Dokument ist frei verfügbar.
Dateien
Reconfigurable embedded control systems [6.95 mb]
Links
Nachweis
Keywords
Embedded Control System; Rekonfiguration; Software-Komponente; Multi-Agenten- Architektur; TNCES; Computation Tree Logic; Model Checking; Execution Model Low-Power-und Echtzeit-Scheduling; Simulation
Keywords (Englisch)
Embedded Control System; Reconfiguration; Software Component; Multi-Agent Architecture; TNCES; Computation Tree Logic; Model Checking; Execution Model; Low-Power and Real-Time Scheduling; Simulation
Keywords
Die Habilitationsschrift beschäftigt sich mit rekonfigurierbaren Embedded-Control-Systemen mittels Komponenten-basierten Ansätzen. Ausgehend von einer automatischen Rekonfiguration von Systemverhalten definieren wir Komponenten als Software-Einheiten um ein System durch ein Netzwerk von Komponenten zu implementieren. Wir schlagen eine Multi-Agenten-Architektur für die automatische Rekonfiguration vor in der lokale Szenarien durch Rekonfigurationsagenten im Controller verarbeitet werden und ein Koordinationsagent die Abstimmung zwischen den Geräten übernimmt. Wir entwickeln NCES-basierte optimale Modelle für diese Architektur verwenden SESA zur Überprüfung von CTL Eigenschaften und behandeln die Erzeugung unterschiedlicher Echtzeit-rekonfigurierbarer Ausführungsmodelle für die Systeme. Die Rekonfigurierung von Low-Power-Embedded-Controllern wird dann mithilfe einer Agenten-basierten Technik ermöglicht. Schließlich wurden optimierte Systemsimulationen durchgeführt.