Studentische Arbeiten während Corona

Das Wintersemester 20/21 findet bis auf Weiteres im Online-Format statt. Die vom Institut für Eingebettete Systeme/Echtzeitsysteme angebotenen studentischen Arbeiten (Projekte, Bachelor- und Masterarbeiten) werden davon aber nicht beeinflusst und sind so gestaltet, dass diese auch von zu Hause durchgeführt werden können. Wir stellen unseren Studierenden die benötigten Ressourcen (FPGAs, Software etc.) bei Bedarf entsprechend zur Verfügung.

Offene Themen

Aus den vorgeschlagenen Themen ergeben sich eine Reihe möglicher konkreter Arbeiten. Die genaue Themenstellung wird gemeinsam von Student und Betreuer vor der Arbeit abhängig von der Neigung, dem Interesse, dem Vorwissen und dem erforderlichen Umfang der Arbeit individuell festgelegt. Für andere Themen sind wir, sofern sie ins Spektrum des Instituts passen, jederzeit offen.

Drohnen und Modelflugzeuge

Software Defined Radio

Masterarbeit-/Projektarbeit

Moderne Funkfernsteuerungen für Drohnen oder Modellflugzeuge verfügen über integrierte Telemetrie-Lösungen und entsprechende Sensoren. So können Daten von On-Board Sensoren zu dem Sender am Boden übertragen werden. Das macht diese Fernsteuerungen interessant für autonome Drohnen und Flugzeuge, um diese während Tests und Missionen manuell übersteuern zu können und um Daten von den Flugzeugen in Echtzeit auszuwerten.

Auf der Grundlage frei definierbarer Hardware für Hochfrequenzübertragungen (Software Defined Radio), soll modellbasiert mithilfe von MATLAB/Simulink ein PC basierter, telemetriefähiger Sender und Empfänger entwickelt werden. Diese sollen in der Lage sein, Signale an das Modell zu senden und Telemetriedaten von dem Model zu empfangen und zu verarbeiten. Dazu soll im Rahmen der Master-/Projektarbeit ein geeignetes kommerzielles Protokoll ausgesucht und ein Software-Defined-Radio umgesetzt werden.

Im Modellbau kommen häufig FSK modulierte Signale mit Frequenzhopping (FHSS, Frequency Hopping Signal Spread) zum Einsatz. Die Protokolle sind einfach aufgebaut und mit einem SDR leicht zu implementieren. In der Arbeit soll ein geeignetes SDR-Kit ausgewählt werden und auf einem Notebook oder Tabletcomputer betrieben werden können. Dabei ist darauf zu achten, dass das resultierende System echtzeitfähig ist. Ziel ist es System- und Flugparameter eines Flugzeugs oder einer Drohne in Echtzeit auswerten und das Luftfahrzeug ggf. auch über diese Schnittstelle steuern zu können.

Nützliche Vorkenntnisse:

Kenntnisse in der Regelungstechnik, sowie Erfahrungen im Umgang mit Matlab/Simulink und SDR sind erwünscht.

Ansprechpartner:

Mohammadreza Sadeghi

FPGA-basierter Autopilot

Bachelor-/Projektarbeit

Drohnen und Modellflugzeuge können mit digitalen Fernsteuerungen genau kontrolliert werden. Im Rahmen des Labors Eingebettete Systeme soll in Zukunft ein Autopilot für ferngesteuerte Luftfahrzeuge modellbasiert entwickelt werden. Dazu ist es erforderlich einen Mikrocontroller oder besser noch ein FPGA zwischen Funkempfänger und den Sensoren und Autoren wie den Servos, zu schalten, sodass dieser eine vollständige Regelung des Luftfahrzeugs übernehmen kann. In dieser Arbeit soll für ein gängiges Protokoll digitaler Fernsteuerungen eine Hardwareplattform entwickelt und gebaut werden. Neben der reinen Hardwareentwicklung ist ggf. auch eine geeignete Firmware zu schreiben.

Empfohlen werden Kenntnisse in VHDL, der Regelungstechnik sowie Grundlagen der Echtzeitsysteme.

Ansprechpartner:

Marco Philippi

Echtzeitkernel

Masterarbeit

Es gibt zahlreiche kommerzielle Echtzeitbetriebssysteme am Markt. Auch existieren eine Reihe Open-Source Projekte. Leider unterstützen die vorhandenen Systeme moderne Scheduler wie Earliest-Deadline-First (EDF, dynamic priority scheduling, DPS) und FPGA-Plattformen nicht oder nur schlecht. In der Regel arbeiten die bekannten Betriebssysteme mit statischen, also festen Prioritäten (fixed priority scheduling, FPS). Daher soll in dieser Arbeit ein schlanker Echtzeitkernel für FPGA-Boards konzipiert und programmiert werden. Dabei soll es möglich sein spezielle Dienste auch durch Hardware ausführen zu lassen. Konzeptionell soll also ein Mikrokernel entworfen werden, der unterschiedliche Tasks sowohl statisch (FPS) als auch dynamisch (DPS) ausführen kann und bei dem es möglich ist, Scheduler und andere Funktionen des Betriebssystems direkt in Hardware umzusetzen. Neben der Verwaltung der Rechenzeit soll eine elegante Intertaskkommunikation implementiert werden. Als Plattform stehen FPGAs von Altera/Intel zur Verfügung.

Nützliche Vorkenntnisse:

Nützlich, aber nicht zwingend notwendig, wären hierfür Vorkenntnisse aus dem Bereich der Echtezeittheorie, HDL und C oder C++

Ansprechpartner:

Marcel Rieß, Prof. Dr. Frank Slomka

Modellierung von Modellflugzeugen

In dieser Arbeit soll ein Verfahren zur Bestimmung der Regelparameter eines Modellflugzeugs entworfen und entwickelt werden. Dazu sind zunächst die regelungstechnischen Grundlagen für Flugzeuge zu erarbeiten und zu bestimmen, welche Parameter eines Modellflugzeugs wie zu bestimmen sind. Anhand zweier Flugmodelle soll die Parameterextraktion exemplarisch evaluiert werden. Für beide Modelle sind anschließend einfache Regler, die als Autopiloten arbeiten sollen zu entwerfen. In einer Simulationsumgebung soll dann das Verhalten der Flugzeuge simuliert werden. Plattform für die Masterarbeit ist MATLAB/Simulink mit den entsprechenden Toolboxen.

Nützliche Vorkenntnisse:

Nützlich, aber nicht zwingend notwendig, wären hierfür Vorkenntnisse aus dem Bereich der Regelungstechnik und Matlab/Simulink

Ansprechpartner:

Marco Philippi

Entwurfsmethodik

Hardwaremonitor zur Laufzeit- und Energiemessung von Mikrokontrollern

Masterarbeit

Eingebettete Systeme sollen optimiert entworfen werden. Das heißt, die geforderte Funktion muss erfüllt werden und dabei soll die erforderliche Hardware so kostengünstig wie möglich sein. Das bedeutet, die Rechenleistung und der Energieverbrauch eines Prozessors müssen exakt an die Anforderungen des zu entwickelnden Systems angepasst sein. Beim Entwurf eines derartigen Systems schätzt man daher die Laufzeiten von Programmen und Programmteilen ab. Das gleiche gilt für den Energieverbrauch. Diese Abschätzungen müssen dann mit Hilfe von Messungen verifiziert werden. Die elektrische Leistung eines Prozessors bei der Programmausführung zu messen, erfordert ein Messsystem, das kleine elektrische Ströme und Spannungen gleichzeitig in kurzer Zeit messen kann. Daher ist die Anforderung sowohl an die digitale als auch an die analoge Hardware hoch. Die analoge Messschaltung soll mit Hilfe einer applikationsspezifischen digitalen Schaltung auf einem FPGAs angesteuert werden, dabei soll die digitale Schaltung in der Lage sein, die Programmausführung zu monitoren und Messungen in Abhängigkeit der jeweiligen Programmausführung automatisch zu starten oder zu beenden. Die Ergebnisse sollen gespeichert werden und statistisch ausgewertet werden können. In dieser Masterarbeit soll ein FPGA-basierter Hardwaremonitor realisiert werden. Dazu soll das FPGA die bereits digitalisierten Werte von der analogen Messschaltung einlesen. Um die Messungen aber gezielt auswerten zu können, soll der Hardwaremonitor den Adress- und den Datenbus des Mikrokontrollers auswerten. Zum einen, um die gemessenen elektrischen Parameter gezielt Befehlen zuordnen zu können, zum anderen, um später ein spezifikationsgesteuertes Monitoring mit Hilfe von SystemC aufzubauen. Neben der Verwaltung einer Tabelle zur Messwertauswertung soll im FPGA eine schnelle Hardware zur Vorauswertung der Daten aufgebaut werden, um Mittelwerte und Standardabweichungen in Echtzeit bestimmen zu können. Dazu müssen unterschiedliche Konzepte zur Anbindung schneller Speicherbausteine untersucht werden. Ziel ist es, vollständige Programmsequenzen zu monitoren und dann den Energie- und Zeitverbrauch eines Programms in unterschiedlicher Granularität zu bestimmen.

Ansprechpartner: Prof. Frank Slomka

Analoge Strom und Spannungsmessung zur Laufzeit- und Energiemessung von Mikrokontrollern

Masterarbeit

Eingebettete Systeme sollen optimiert entworfen werden. Das heißt, die geforderte Funktion muss erfüllt werden und dabei soll die erforderliche Hardware so kostengünstig wie möglich sein. Das bedeutet, die Rechenleistung und der Energieverbrauch eines Prozessors müssen exakt an die Anforderungen des zu entwickelnden Systems angepasst sein. Beim Entwurf eines derartigen Systems schätzt man daher die Laufzeiten von Programmen und Programmteilen ab. Das gleiche gilt für den Energieverbrauch. Diese Abschätzungen müssen dann mit Hilfe von Messungen verifiziert werden. Die elektrische Leistung eines Prozessors bei der Programmausführung zu messen, erfordert ein Messsystem, das kleine elektrische Ströme und Spannungen gleichzeitig in kurzer Zeit messen kann. Daher ist die Anforderung sowohl an die digitale als auch an die analoge Hardware hoch. Die analoge Messschaltung soll mit Hilfe einer applikationsspezifischen digitalen Schaltung auf einem FPGAs angesteuert werden, dabei soll die digitale Schaltung in der Lage sein, die Programmausführung zu monitoren und Messungen in Abhängigkeit der jeweiligen Programmausführung automatisch zu starten oder zu beenden. Die Ergebnisse sollen gespeichert werden und statistisch ausgewertet werden können. Insbesondere auf der analogen Seite des Messystems ist die Schaltung sorgfältig aufzubauen. In dieser Masterarbeit sollen mehrere unterschiedliche Schaltungskonzepte zur Messung kleiner Ströme untersucht werden. Dabei sollen verschiedene analoge Standard-ICs ausgewählt werden und im Hinblick auf die Messgenauigkeit und Messgeschwindigkeit untersucht werden. Ausgehend von diesen Bausteinen sollen verschiedene Messkonzepte entwickelt und die resultierenden Schaltungen untersucht werden. Dazu sollen die Schaltungen simuliert werden. Die Simulation kann mit Spice oder auch Matlab/Simscape erfolgen. ggf. können die unterschiedlichen Simulationsprogramme verglichen werden. Ziel der Arbeit ist es, am Ende ein analoges Schaltungskonzept auszuwählen, das in der Lage ist, mehrere Messungen pro Taktzyklus eines Mikrokontrollers zu Messen. Die Realisierung der Schaltung soll dann in einer nachfolgenden Arbeit erfolgen.

Ansprechpartner: Prof. Frank Slomka

Automatische Ableitung einer Rechnerarchitektur aus einem Modell

Bachelorarbeit

Die Modellierung zum Entwurf eingebetteter Echtzeitsysteme erfolgt zur Zeit hauptsächlich mit den Methoden der UML (Unified Modelling Language). Allerdings ist diese Modellierungssprache ehr für reine Softwaresysteme geeeignet. Zwar existieren Erweiterungen, wie MARTE und SysML, diese sind aber kaum ausgereift. Am Institut wurde eine neue graphische Beschreibungssprache entwickelt, die insbesondere auch den Hardwareentwurf unterstützt. Da die Sprache es explizit erlaubt die Funktionen des Betriebssystems bzw. die Softwarearchitektur abstrakt zu beschreiben, ist in dieser Bachelorarbeit zu untersuchen, wie die Hardwarestruktur des Systems automatisch aus einer vorhandenen Architekturbeschreibung abgeleitet werden kann. Um derartige Algorithmen oder Transformationen angeben zu können, sind zunächst di dafür notwendigen Datenstrukturen zu spezifizieren. Auf diesen sind dann die Transformationen zu programmieren. Anhand einer vorhandenen Entwurfsstudie (Sonar-System) sind die Ergebnisse der Arbeit dann zu validieren. Ansprechpartner: Prof. Frank Slomka

Entwurfsraumexploration eingebetteter Systeme

Masterarbeit

Jedes eingebettete System kann unterschiedlich implementiert werden. So ist es denkbar die kompletten Funktionen auf einem starken und schnellen Rechner komplett in Software zu bauen oder aber eine Hardware zu entwerfen, die alle Funktionen durchführt. Heutzutage bestehen eingebettete Systeme aus eine eng verzahnten Hardware/Software-Architektur. Die optimale Hardware/Softwarearchitektur ist schwer zu finden, so sollen die Kosten der Hardware minimiert aber die Funktionen in vorgegebene Zeitfristen ausgeführt werden. Um automatisch eine derartige Hardware/Software-Partitionierung zu finden kann man Optimierungsverfahren einsetzten, die dann eine Entwurfsraumexploration durchführen. Auf der Grundlage der am Institut entwickelten Modellierungssprache zum Entwurf eingebetteter Systeme sollen Datenstrukturen für die Anwendung mit exakten und/oder heuristischen Optimierungsverfahren spezifiziert werden und mit ihrer Hilfe soll ein Verfahren zur Exploration eingebetteter Echtzeitsysteme implementiert und bezüglich seine Leitungsfähigkeit untersucht werden. Ansprechpartner: Prof. Frank Slomka

Graphisches Entwurfswerkzeug für eingebettete Systeme

Masterarbeit

Auf der Grundlage von iOS und Cocoa/OS-X wurde am Institut ein Werkzeug zur graphischen Modellierung eingebetteter Systeme entwickelt. Mit diesem CASE-Werkzeug (Computer Aided Software Engineering) lassen sich eingebettete Systeme elegant graphisch modellieren. Dabei kommt ein neues Entwurfsparadigma zum Einsatz: Die Entwurfskarte. In der Masterarbeit sollen neue Bedienkonzepte für CASE-Werkzeuge entwickelt und untersucht werden. Insbesondere Handgesten wie sie bei Tablet-Computern zum Einsatz kommen stehen dabei im Fokus. In der Arbeit soll das vorhandene Werkzeug um neue Funktionen für den Hardwareentwurf und die Spezifikation extrafunktionaler Anforderungen erweitert werden. Dabei sollen insbesondere neue interaktive Konzepte der Benutzerführung erforscht werden. Die Programmierung erfolgt in Objective-C unter iOS oder OS-X u.a. auch auf dem iPad. Ansprechpartner: Prof. Frank Slomka

Entwurfsautomatisierung Eingebetteter Systeme

Automatische Suchraumzerlegung bei der Entwurfsraumexploration eingebetteter Mehr- und Vielkernsysteme

Projekt- / Bachelor- / Masterarbeit

Thema

Zukünftige Mehr- und Vielkernplattformen werden es erlauben, eine Vielzahl von Anwendungen parallel auszuführen. Um die Einbettung einer Anwendung auf eine Architektur zu bestimmen, muss das NP-vollständige Systemsynthese-Problem (bestehend aus Allokation, Bindung, Routing und Ablaufplanung) gelöst werden. Durch die hohe Anzahl an Ressourcen in Mehr- und Vielkernarchitekturen ergibt sich für jede Anwendung eine Vielzahl an Einbettungsmöglichkeiten, die sich in Qualitätsmerkmalen wie Durchsatz, Zuverlässigkeit oder Sicherheit der Anwendungsausführung unterscheiden.
Aus diesem Grund sollen bereits zur Entwurfszeit Einbettungen durch eine sogenannte Entwurfsraumexploration untersucht und im Hinblick auf Zielgrößen wie Energieverbrauch, Latenz, etc. optimiert werden. Zur Laufzeit kann dann eine geeignete Einbettung aus einer Menge Pareto-optimaler Implementierungen ausgewählt werden. Ein Problem klassischer Ansätze zur Entwurfsraumexploration liegt in der Größe des Suchraums, die von der Anzahl der Tasks in der Anwendung sowie der Größe der Architektur abhängt.
Weiterhin führen Symmetrien in der Architektur dazu, dass große Teile des Suchraums nur redundante Lösungen enthalten.

Ziele

In dieser Arbeit sollen daher Verfahren zur Verkleinerung des Suchraums für bestehende Entwurfsraumexplorationen (wie z.B. [1], [2]) entwickelt werden. Der Suchraum des Optimierungsproblems soll dabei auf Architektur- und Anwendungsebene zerlegt werden, um zuerst in weniger komplexen Subsystemen nach Lösungen suchen zu können. Diese Lösungen sollen dann als Ausgangspunkt für weiterführende Optimierung auf iterativ vergrößerten Subsystemen (bis hin zum Gesamtsystem) genutzt werden.

Hierbei können verschiedene Strategien zur Suchraumzerlegung untersucht werden, z.B. mit Hilfe von Techniken aus Bereichen des Machine Learnings oder der Nachrichtentechnik.
Die Arbeit soll dabei untersuchen, inwiefern sich die Entwurfsraumexploration durch Suchraumzerlegung beschleunigen sowie in Bezug auf Optimierungsqualität verbessern lässt. Vor- und Nachteile der untersuchten Verfahren sollen experimentell analysiert werden. Für die Implementierung verwenden wir das open-source Explorationsframework OpenDSE [3], sodass entwickelte Methoden auch weiterverwendet und evtl. veröffentlicht werden können.

Kontakt

Valentina Richthammer Michael Glaß

Quellen

[1] Andreas Weichslgartner, Deepak Gangadharan, Stefan Wildermann, Michael Glaß, Jürgen Teich. DAARM: Design-Time Application Analysis and Run-Time Mapping for Predictable Execution in Many-Core Systems, 2014. [2] Tobias Schwarzer, Andreas Weichslgartner, Michael Glaß, Stefan Wildermann, Peter Brand, Jürgen Teich. Symmetry-eliminating Design Space Exploration for Hybrid Application Mapping on Many-Core Architectures, 2018. [2] OpenDSE, open-source Explorationsframework: https://github.com/felixreimann/opendse

Integration einer Answer-Set-Programming-basierten Entwurfsraumexploration in OpenDSE

Projekt- / Bachelor- / Masterarbeit

Thema

Zukünftige Mehr- und Vielkernplattformen werden es erlauben, eine Vielzahl von Anwendungen parallel auszuführen. Um die Einbettung einer Anwendung auf eine Architektur zu bestimmen, muss das NP-vollständige Systemsynthese-Problem (bestehend aus Allokation, Bindung, Routing und Ablaufplanung) gelöst werden. Durch die hohe Anzahl an Ressourcen in Mehr- und Vielkernarchitekturen ergibt sich für jede Anwendung eine Vielzahl an Einbettungsmöglichkeiten, die sich in Qualitätsmerkmalen wie Durchsatz, Zuverlässigkeit oder Sicherheit der Anwendungsausführung unterscheiden. Aus diesem Grund sollen bereits zur Entwurfszeit Einbettungen durch eine sogenannte Entwurfsraumexploration untersucht und im Hinblick auf Zielgrößen wie Energieverbrauch, Latenz, etc. optimiert werden. Zur Laufzeit kann dann eine geeignete Einbettung aus einer Menge Pareto-optimaler Implementierungen ausgewählt werden.

Ziele

Ziel der Arbeit ist die Integration eines auf Answer-Set-Programming basierenden Explorationsansatzes [1] in das open-source Explorationsframework OpenDSE [2], sowie der Vergleich mit weiteren aktuellen Ansätzen [3], [4].

Kontakt

Valentina Richthammer Michael Glaß

Quellen

[1] Christian Haubelt, Kai Neubauer, Torsten Schaub, Philipp Wanko. Design Space Exploration with Answer Set Programming, 2018. [2] OpenDSE, open-source Explorationsframework: https://github.com/felixreimann/opendse [3] Andreas Weichslgartner, Deepak Gangadharan, Stefan Wildermann, Michael Glaß, Jürgen Teich. DAARM: Design-Time Application Analysis and Run-Time Mapping for Predictable Execution in Many-Core Systems, 2014. [4] Tobias Schwarzer, Andreas Weichslgartner, Michael Glaß, Stefan Wildermann, Peter Brand, Jürgen Teich. Symmetry-eliminating Design Space Exploration for Hybrid Application Mapping on Many-Core Architectures, 2018.

Echtzeitanalyse

Fallbeispiel Motorsteuerung

Bachelorarbeit / Projektarbeit

In einer Motorsteuerung gibt es Aufgaben (Tasks) dessen Aufrufhäufigkeit, Berechnungsdauer und Zeitfristen von der Motordrehzahl abhängt. Diese Tasks und damit die Motorsteuerung als ganzes stellt deswegen eine große Herausforderung bezüglich seiner Echtzeitanalyse dar. Im Institut für Eingebettete System wurden mehrere Echtzeitanalysen [Feld et al.] für solche ratenabhängigen Tasks entwickelt.

Um die verschiedenen Analysen zu vergleichen soll daher in einer Bachelorarbeit ein Fallbeispiel (case-study) konstruiert werden, welches möglichst realistisch eine Motorsteuerung darstellt. Dabei müssen lediglich die für eine Echtzeitanalyse notwendige (also das Zeitverhalten beschreibende) Parameter generiert werden.

Der Umfang der Arbeit kann auf eine Projektarbeit angepasst werden.

Ansprechpartner: Prof. Frank Slomka

Ereignisabhängigkeiten in verteilten Systemen

Masterarbeit

Um ein System analytisch auf seine Echtzeitfähigkeit zu untersuchen werden im wesentlichen drei Parameter benötigt: die Berechnungsdauern (Worst Case Execution Times), die Perioden und die Fristen der einzelnen Tasks. Bei einigen Systemen können diese Parameter dynamisch durch äußere Einflüsse variieren. Dieses Verhalten tritt insbesondere bei Motorsteuergeräten auf, bei denen die Drehzahl die genannten Parameter beeinflusst. Zusätzlich zu der Abhängigkeit von einer Drehzahl, gibt es weitere Beziehungen zwischen den Tasks, die vorgeben, dass die jeweiligen Ereignisse nur in einem minimalen Abstand zueinander auftreten können.

Der Real-Time Calculus ist ein mathematisch fundiertes Modell zur Analyse und Synthese verteilter Echtzeitsysteme. Bei diesem Modell des Task-Graphen wird durch Ankunftskurven die Anregung des Systems beschrieben. Jede Task modifiziert diese und es verbleibt die ausgehende Ereignisdichte und die verbleibende Rechenzeitkapazität.

Im Rahmen der Masterarbeit soll eine Analyse entwickelt und implementiert werden, welche sowohl die Abhängigkeiten zur Drehzahl als auch die Abhängigkeiten zwischen den Tasks berücksichtigt. Diese Analyse soll auf den Real-Time Calculus aufbauen, so dass verteilte Systeme analysiert werden können.

Ansprechpartner: Prof. Frank Slomka

Echtzeitanalyse für ratenabhängige Tasks

Masterarbeit

Um ein System analytisch auf seine Echtzeitfähigkeit zu untersuchen werden im wesentlichen drei Parameter benötigt: die Berechnungsdauern (Worst Case Execution Times), die Perioden und die Fristen der einzelnen Tasks. Bei einigen Systemen können diese Parameter dynamisch durch äußere Einflüsse variieren. Dieses Verhalten tritt insbesondere bei Motorsteuergeräten auf, bei denen die Drehzahl die genannten Parameter beeinflusst. Im Institut wurde bereits eine Analyse für solche raten-abhängigen Tasks verwendet. Dabei wird allerdings von einem identischen Wert für die Beschleunigung und dem Abbremsen ausgegangen.

Ziel dieser Arbeit ist es, vorhandene Analysen so zu erweitern, dass unterschiedliche Werte für Beschleunigung und Bremsen angenommen werden können.

Ansprechpartner: Prof. Frank Slomka

Echtzeitanalyse verteilter Systeme mit Berücksichtigung variabler Fristen

Masterarbeit

Der Real-Time-Calculus ist ein mathematisch fundiertes Modell zur Analyse und Synthese verteilter Echtzeitsysteme. Bei diesem Modell des Task-Graphen wird durch Ankunftskurven die Anregung des Systems beschrieben. Jede Task modifiziert diese und es verbleibt die ausgehende Ereignisdichte und die verbleibende Rechenzeitkapazität.

Im Institut für Eingebettete Systeme/Echtzeitsysteme wurden bereits aufbauend auf dem Real-Time Calculus Analysen für variable Parameter entwickelt. Bei diesen Analysen wird allerdings bei jeder Tasks von der minimalen Frist ausgegangen was die Analyse pessimistischer macht.

Ziel dieser Masterarbeit ist der Entwurf und die Implementierung einer neuen (oder die Erweiterung einer vorhandenen) Analyse für verteilte Systeme, welche variable Fristen berücksichtigt und die Genauigkeit verbessert.

Ansprechpartner:

Marcel Rieß, Marco Phillipi

Verbesserungen und Erweiterungen von Netzwerk-Simulatoren

Bachelorarbeit

Das Institut für Eingebettete Systeme/Echtzeitsysteme beschäftigt sich unter anderem mit der Fragestellung, wie Kommunikationsnetze echtzeitfähig realisiert werden können. Um verschiedene Ansätze zu erproben zu können, wird häufig auf Simulationen zurückgegriffen, da diese in einem frühen Stadium der Forschung Vorteile gegenüber aufwendigen Feldtests bieten.

Leider zeigen sich jedoch bei der Nutzung von Simulatoren verschiedene Defizite, die im Rahmen der folgenden Praktika beseitigt werden sollen:

Auf dem Markt verfügbare Simulatoren für Netze liefern oft Routinen mit, mit denen gebräuchliche Systeme und weit verbreitete Standards (z.B. Ethernet, WLAN, usw.) simuliert werden können. Eigene Verfahren, etwa im Bereich des Medienzugriffs, lassen sich jedoch nur mit größerem Aufwand realisieren.

Ziel des Praktikums ist es, eine Schnittstelle zu definieren, die das Einbauen eigener Verfahren nach dem Plugin-Prinzip ermöglicht.
Die verfügbaren Simulationsplattformen bieten im Bereich der Eingabe von Simulationsszenarien Defizite. Insbesondere ist es beispielsweise in Fahrzeug-/Fahrzeug-Netz-Simulatoren bisher nicht üblich, eine Datenrepräsentation (eine Art Landkarte) als Eingabe zu verwenden, die sowohl Geländetopologien als auch Straßenzüge enthält. Diese Informationen wären dann an die Stellen des Simulators durchzureichen, die sie benötigen - etwa die Geländetopologie an die Funkkanal-Simulation und die Straßeninformation zusätzlich an das Bewegungsmodell.

Ziel des Praktikums ist es, ein Eingabeformat zu definieren und zu implementieren, das es, idealerweise ergänzt um einen grafischen Editor, ermöglicht, eine umfassende Umgebungsbeschreibung (Topologie, Bebauung, Straßenkarte, usw.) in den Simulator zu geben, um so mit möglichst geringem Aufwand möglichst realitätsnah simulieren zu können.

Nützliche Vorkenntnisse:

Java und Grundlagenwissen im Bereich von Rechnernetzen oder in der Nachrichtentechnik sind von Vorteil.

Ansprechpartner:

Steffen Moser

Bachelorarbeit

In zukünftigen Laboren des Instituts für eingebettete Echtzeitsysteme soll ein Hardware-In-The-Loop Prüfstand aufgebaut werden. Die Studierenden sollen am praktischen Beispiel lernen, wie ein typischer Entwicklungsprozess für eingebettete Systeme abläuft. Als praxisnahes Beispiel soll der historische Bordcomputer aus dem Apolloraumschiff betrachtet werden. Um einen derartigen Computer zu betreiben wird ein Benutzerinterface benötigt. Im Apollo-Projekt hiess diese Schnittstelle DSKY (DiSplayKeYbord). In dem Labor wird der Computer in einem FPGA (Field Programmable Gate Array) implementiert. In der Bachelorabeit soll nun die Hardware für eine dem originalen DSKY nachempfundene Hardware aufgebaut werden. Dazu ist ein Mikrokontroller zu programmieren, der die Informationen auf dem Display darstellt und die Tastendrücke entgegen nimmt. Dieser Mikrokontroller soll dann über eine zu wählende Schnittstelle (USB, Ethernet) mit dem Computer auf dem FPGA kommunizieren. Ansprechpartner: Prof. Frank Slomka

Energiemanagement in autonomen Unterwasserrobotern

Masterarbeit

In autonomen, computergestützten Fahrzeugen, setzt man normalerweise konventionelle Regelungen ein. Dabei versucht man einen Kurs und eine konstante Geschwindigkeit beizubehalten. Bei der Erkundung einer Umgebung hängt die Einsatzbereitschaft aber auch von der zur Verfügung stehenden Energie ab. Ist der Treibstoff aus oder die Batterie leer kann ein Roboter die Umgebung nicht mehr erkunden. Viel schlimmer noch, in bestimmten Anwendungen ist es möglich, dass der Roboter nicht mehr an einen Ort zurückkehren kann an dem er gewartet oder mit Energie versorgt werden kann. Das Fahrzeug würde also verloren gehen. In dieser Masterarbeit sollen Konzepte entwickelt werden, den Ladungszustand der Batterie in eine autonomen Unterwasserfahrzeug bei der Regelung und Missionsdurchführung zu berücksichtigen. Darauf aufbauend soll untersucht werden wie diese Eigenschaft der Roboters bei der Missionsplanung berücksichtigt werden kann. Ansprechpartner: Prof. Frank Slomka

Generische FPGA-Platine

Bachelorarbeit

Für den am Institut entstehenden Unterwasserroboter wurde bereits eine Rechner-Backplane aufgebaut. Diese Backplane ermöglicht es mehrerere Steuerplatinen zu einem verteilten eingebetteten System zusammen zuschalten. Für diese Backplane ist nun eine geeignete Platine für den Steuerrechner aufzubauen. Dabei sollen marktübliche FPGA-Module (Field Programmable Gate Array) verwendet wenden und unter den Vorgaben der Spezifikation der Backplane auf einer zuverlässigen Platine mit passenden I/O-Modulen integriert werden. Ansprechpartner: Florian Hock

Lernende Kalman-Filter für Inertialnavigation

Masterarbeit

Unterwasser funktioniert kein GPS. daher ist es eine Herausforderung die Position eines Unterwasserroboters zu bestimmen. In der Regel erfolgt die Positionsbestimmung von Unterwasserfahrzeugen mittels Inertial-Navigationssystemen. Laserkreisel oder mechanische Systeme, die die erforderliche Genauigkeit bereitstellen sind sehr teuer. In dieser Arbeit sollen kostengünstige Halbleitersensoren aus dem Automobilbau dahingehend untersucht werden, ob es möglich ist, mit einem lernenden Kalman-Filter die Drift der Sensoren soweit zu reduzieren, dass es möglich wird diese in einem Inertial-Navigationssystem zu verwenden. Ansprechpartner: Prof. Frank Slomka

Trajektorienberechnung zur Mondlandung mit Hilfe von Variationsrechnung und Deep-Learning-Verfahren

Masterarbeit

Eine der vielen Herausforderungen der Mondlandung von 1969 war die Berechnung einer geeigneten Trajektorie vom Orbit zur Mondoberfläche. Neben der eingeschränkten Steuerbarkeit der Mondlandefähre stellt vor allem die Gravitation sowie die zeitlich variable Masse des Landemoduls (Treibstoffverbrauch!) eine Herausforderungen dar, die es zu bewältigen gilt.

Im Rahmen einer Projekt- oder Masterarbeit sollen alternative Ansätze zum Bestimmen geeigneter Landetrajektorien untersucht werden, deren Einsatz erst durch die gesteigerte Rechenkapazitäten heutiger Desktop-PCs möglich geworden sind.

In jeweils einer eigenständigen Arbeit soll das Problem der Trajektorienberechnungeinmal als Optimalsteuerungsproblemaufgefasst werden und in einer weiteren Arbeit mit Hilfe von Deep-Learning-Verfahrenuntersucht werden.

Ziel der Arbeit ist es, die mit Hilfe dieser Verfahren berechneten Trajektorien, mit den Ergebnissen von 1969 zu vergleichen und zu evaluieren.

Ansprechpartnern: Mohammadreza Sadeghi, Marco Philippi

Unterwasserkommunikation

Modellbasierte Untersuchung von positionsabhängigen Kanalparametern auf die akustische Unterwasserkommunikation

Im Rahmen des Projektes U-Wave wird am Institut für Eingebettete Systeme/Echtzeitsysteme eine Lehr- und Forschungsplattform für Eingebettete Systeme in Form eines autonomen Unterwasserroboters (Autonomous Underwater Vehicle, AUV) entwickelt. Dieser Unterwasserroboter soll später als Plattform für Tests und Experimente dienen. Dabei ist der Schwerpunkt meiner Forschung, auf den modellbasierten Ansatz zur Entwicklung von Systemen zur Datenübertragung in Wasser gelegt. Diese zu übertragenden Daten variieren dabei in ihrer Größe und Wichtigkeit. Bei der Unterwasserkommunikation werden zwar zum Teil elektromagnetische Wellen zur Informationsübertragung genutzt, allerdings ist dies mit einem erheblichen Aufwand in Form der genutzten Hardware und der benötigter Leistung Verbunden. Daher wird für das AUV der Einsatz von Schall als Informationsträger bevorzugt. Doch auch diese Übertragung ist durch die Diffusion, der Reflexion, dem Doppler-Effekt, der Zeitverzögerungen, der Temperatur, dem Wasserdruck, dem Umgebungsrauschen und schlussendlich dem Übertragungsverlust komplex. Derzeit existiert ein Modell eines funktionierenden QPSK-Modems. Dieses verfügt über eine Kanalcodierung, zur Korrektur von Störungen des Übertragungskanals, die den Reed-Solomon-Codierer und den Faltungscodierer kombiniert. Des Weiteren wurde ein Workflow entwickelt um den digitalisierbaren Bereich des Modems (Hardware) automatisch zu generieren und auf einen FPGA zu testen. Dieses Modell soll nun in Folgearbeiten in den Bereichen der Software- und Hardwareentwicklung weiterentwickelt werden.

Ihre Aufgabe im Rahmen dieser Arbeit ist das Konzipieren und implementieren einer modelbasierten und modularisierten Orthogonal Frequency-Division Multiplexing (OFDM) Modulation und der Erweiterung[3] zur Coded Orthogonal Frequency-Division Multiplexing (COFDM) Modulation, welche zusätzlich eine Vorwärtskorrektur auf Symbolebene enthält.

[1] Rieß, Marcel; Moser, Steffen; Slomka, Frank, Efficient Underwater Communication Modem for Harsh and Highly Non-Stationary Channel Conditions - A Fully Model-Based Approach
Milcom 2017 Track 1 - Waveforms and Signal Processing (Milcom 2017 Track 1) , Universität Ulm, Oktober 2017, DOI: 10.1109/MILCOM.2017.8170724

[2] Rieß, Marcel; Moser, Steffen; Slomka, Frank, Energy-Efficient Implementation of an Acoustic Modem for Underwater Communication With a Model-Based Design Approach (WIP)

[3] Masterarbeit

Nützliche Vorkenntnisse:

Nützlich, aber nicht zwingend notwendig, wären hierfür Vorkenntnisse aus dem Bereich der Nachrichtentechnik, HDL, Matlab/Simulink und C oder C++

Ansprechpartner:

Marcel Rieß

Unterwasserkommunikation

Offene Bachelor-Themen:

Entwicklung und Evaluation einer Anbindung:

Der digitale Bereich des generierten Modems benötigt eine Anbindung an den Transducer (Schallwandler). Damit verbunden ist eine Filterung und Verstärkung der Signale. Die Herausforderung in diesem Bereich liegt darin das später unterschiedliche Frequenzbereiche getestet werden sollen und die entwickelte Hardware adaptiv eingesetzt werden kann. Des Weiteren beinhaltet sie einen Verstärker, dieser soll später so gesteuert werden das die Sendeleistung der Umgebung angepasst werden kann.

Entwicklung bzw. Erweiterung des bestehenden Kommunikations-Modelles:

Für das bereits entwickelte Modell gibt derzeit nur eine Modulationsart und eine Kombination aus zwei Codieren. In weiteren Arbeiten sollen diese zum einen Erweitert werden und zum anderen auch adaptiv integriert werden. Das wären im Bereich der Modulation zum Beispiel FH-FSK und OFDM und im Bereich der Kanalcodierung zum Beispiel TCM (Trellis-Code-Modulation) und LDPC (Low-Density-Parity-Check-Codes).

Entwicklung eines Controllers:

Das entwickelte Modell benötigt für einen praktischen Einsatz eine erweiterbare Steuerung. Dazu sollte das generierte Hardware-Modell an einen Soft- oder Hardcore angebunden und zusätzlich ein Grundlegendes Konzept zur Steuerung des Modems entworfen werden.

Entwicklung eines Modems basierend auf Software:

Für einen Vergleich der Hardware mit einer reinen Softwareimplementierung auf einem FPGA muss das existierende Modell umgesetzt und im Anschluss nach spezifizierten Kriterien analysiert und evaluiert werden. Entwicklung einer Kommunikationsbasierten Wegfindung: Im Rahmen von studentischen arbeiten wurde/wird ein Algorithmus entwickelt welcher den unter den gegebenen Parametern und Randbedingungen den besten Weg findet. Dieser Algorithmus soll nun so angepasst werden, dass dieser zusätzlich die besten Kommunikationspunkte bezogen auf variable Parameter Weg identifiziert und in Form eines Kommunikationsprotokolls zur Verfügung stellt.

Offene Master-Themen(Abschlussarbeiten/Projekte):

Sphärische Unterwasser Navigation und Lokalisation:

Die Navigation unter Wasser gestaltet sich durch die Bewegung und die sich ständig verändernde Umgebung als schwierig, dadurch ist der Aufbau von Unterwasser-Netzwerken eine der größten Herausforderungen in diesem Bereich. Im Rahmen dieser Arbeit soll ein Algorithmus zur relativen Positionsbestimmung der Netzwerkteilnehmer unter Wasser konzipiert und Simuliert werden.

Zeit-Synchronisation für Unterwasser-AdHoc-Netzwerk-Kommunikation:

Die Zeitsynchronisation ist eine schwierige aber notwendige Aufgabe. Bei der Unterwasserkommunikation stellt sie uns aber vor ein große Herausforderung. Eine grundsätzliche Idee ist hierbei das nutzen einer virtuellen Clock über die jeder Teilnehmer verfügt. Im Rahmen dieser Arbeit soll ein Konzept zur Entwicklung und Austausch (Kommunikations-Protokoll) der Notwendigen Daten zur erstellen der virtuellen Clock erstellt und simuliert werden.

Konzipierung einer Unterwasser-Boje (Bouye):

Die Kommunikation unter Wasser ist durch die sich ständig ändernden Umgebungsparameter immer noch eine sehr große Herausforderung. Um Systeme, welche mittels des Modellbasierten Ansatzes Entwickelt werden, zu testen muss auch der der Kanal als solches Simuliert werden. Die derzeit verfügbaren Kanalsimulatoren für die Unterwasserkommunikation sind aber nicht in der Lage das Realistische verhalten zu simulieren und führen dazu das System mittels Prototyping sehr teuer unter echten Bedingungen getestet und verifiziert werden müssen. In dieser Arbeit soll dazu eine Basisstation (Boje) zur Unterwasserkanal-Ausmessung konzipiert werden. Damit die Umweltdaten und das Signal-Verhalten speichert um diese für eine später Simulation zu nutzen. Die Boje soll hierbei Schwimmtauglich und adaptiv programmierbar entwickelt werden.

Konzipierung einer Unterwasser-Sensor-Node:

Die Kommunikation unter Wasser ist durch die sich ständig ändernden Umgebungsparameter immer noch eine sehr große Herausforderung. Um Systeme, welche mittels des Modellbasierten Ansatzes Entwickelt werden, zu testen muss auch der der Kanal als solches Simuliert werden. Die derzeit verfügbaren Kanalsimulatoren für die Unterwasserkommunikation sind aber nicht in der Lage das Realistische verhalten zu simulieren und führen dazu das System mittels Prototyping sehr teuer unter echten Bedingungen getestet und verifiziert werden müssen. In dieser Arbeit soll dazu ein günstiger Sensor-Node konzipiert werden, der die Umweltdaten und das Signal-Verhalten speichert um diese für eine später Simulation nutzbar macht. Dieser Sensor-Node soll dabei mit allen benötigten Sensoren sowie einen Impulsgeber für Bewegungen beinhalten.

Nützliche Vorkenntnisse:

Nützlich, aber nicht zwingend notwendig, wären hierfür Vorkenntnisse aus dem Bereich der Nachrichtentechnik, HDL, Matlab/Simulink und C oder C++

Ansprechpartner:

Nützliche Vorkenntnisse:

Nützlich, aber nicht zwingend notwendig, wären hierfür Vorkenntnisse aus dem Bereich der Nachrichtentechnik, HDL, Matlab/Simulink und C oder C++

Weiterführende Literatur:

Ansprechpartner:
Steffen Moser