An dieser Stelle sind vergangene Vorträge (seit dem 01.08.2013) aufgeführt. Die zugehörigen Folien befinden sich in der Literaturverwaltung vBib unter dem Topic "Oberseminar SES".

Vortragender
Anna Musatova

Thema
Modellierung einer Domänen-Ontologie und Identifikation von Requirement Patterns für sicherheitskritische Systeme am Beispiel eines Flight Control Systems

Vortragstyp
Bachelorarbeit Abschlussvortrag

ACHTUNG: Der Vortrag findet bereits um 10:00 Uhr statt

Vortragender
Matthias Stasch

Thema
Universal Pattern: Ein neuartiger Ansatz zur Visualisierung formaler Anforderungen

Vortragstyp
Masterarbeit Abschlussvortrag

Vortragender
Daniel Wegmann

Thema
Verbesserung des Testprozesses auf Basissoftware-Ebene

Vortragstyp
Bachelorarbeit Abschlussvortrag

ACHTUNG: Der Vortrag findet bereits um 14:00 Uhr statt

Vortragender
Anna Musatova

Thema
Modellierung einer Domänen-Ontologie und Identifikation von Requirement Patterns für sicherheitskritische Systeme am Beispiel eines Flight Control Systems

Vortragstyp
Bachelorarbeit Zwischenvortrag

ACHTUNG: Der Vortrag findet bereits um 10:00 Uhr statt

Vortragender
Sebastian Schütte

Thema
Implementierung und Evaluation verschiedener Verschlüsselungsverfahren für ein Kommunikations- Gateway im Kontext Sicherheitskritischer Eingebetteter Systeme

Vortragstyp
Bachelorarbeit Zwischenvortrag

Vortragender
Tobias Schüürhuis

Thema
Entwicklung einer echtzeitfähigen Softwarearchitektur für ein konfigurierbares Gateway zur drahtgebundenen sowie drahtlosen Kommunikation innerhalb von Fahrzeugen.

Vortragstyp
Masterarbeit Abschlussvortrag

Vortragender
Eugen Langolf

Thema
Evaluation des probabilistischen Model Checkers PRISM unter Berücksichtigung von Zeiteigenschaften

Vortragstyp
Bachelor Abschlussvortrag

1. Vortragender
Fabian Diefenbach

Thema
Synthese von Algorithmen-Spezifikationen in plattformübergreifendem Assembler-Code nach SystemC für eine bit-serielle Pipeline-Architektur

Vortragstyp
Masterarbeit Zwischenvortrag

2. Vortragende
Anna Musatova

Thema
Flight Control Systems – Innovative Flugsteuerung der modernen Flugzeuge am Beispiel vom Airbus A320

Vortragstyp
Forschungsseminar

Vortragender
Matthias Stasch

Thema
Universal Pattern: Ein neuartiger Ansatz zur Visualisierung formaler Anforderungen

Vortragstyp
Masterarbeit Zwischenvortrag

Vortragender
Conrad Fifelski

Thema
Spezifikation und Transformation eines Echtzeitsystems von MARTE zu RTANA

Vortragstyp
Bachelorarbeit Abschlussvortrag

Abstract <br/> Um Fahrassistenzsysteme, wie sie in modernen Kraftfahrzeugen häufig vorkommen, modellieren und analysieren zu können, benötigt man spezielle Spezifikations- und Analysewerkzeuge. Dabei ist es wichtig, eine Verbindung zwischen den Programmen zu schaffen, die es ermöglicht, dass Modellierung und Analyse reibungslos ineinander greifen. In dieser Arbeit soll anhand eines Fahrassistenzsystems gezeigt werden, wie ein System mit dem UML-Profil MARTE (Modeling and Analysis of Real-Time and Embedded systems) spezifiziert und anschließend mittels EMF(Eclipse Modeling Framework) in das Analysewerkzeug RTANA (RealTimeANAlyses) überführt wird. Besonderes Augenmerk wird dabei auf die Echtzeitkonzepte von MARTE gelegt und diskutiert, welche Konzepte relevant sind. Danach wird das Analysetool RTANA auf seine Funktionsweise untersucht und anschließend die Java-basierte Transformation vorgestellt, welcher die Verbindung über ein XML-Inputformat herstellt.

ACHTUNG: Dieser Vortrag startet um 14:00 Uhr im Raum D44 im OFFIS

1. Vortragender
Patrick Uven

Thema
Anpassung des Linux-Kernels zur Unterstuetzung von IEEE 802.11p kompatibler Hardware

Vortragstyp
Bachelorarbeit Abschlussvortrag

<br/>

2. Vortragender
Daniel Wegmann

Thema
Verbesserung des Testprozesses auf Basissoftware-Ebene

Vortragstyp
Bachelorarbeit Zwischenvortrag

Vortragender
Bernhard Josko

Thema
Entwurfsmethodik für Systems-of-Systems (DANSE)

Vortragstyp
Mitarbeitervortrag

Vortragender
Hendrik Grunau

Thema
Automatisierte Betriebssystemkonfiguration aus Orca-Modellen

Vortragstyp
Bachelor Abschlussvortrag

Vortragender
Philip Weber

Thema
Inbetriebnahme eines Time-of-Flight-Sensorelementes und Entwicklung von Algorithmen zur Erkennung von Gesten und Bewegungen mit Hilfe von MATLAB/Simulink

Vortragstyp
Master Abschlussvortrag

Vortragender
Sebastian Gerwinn

Thema
Statistisches Model-Checking

Vortragstyp
Mitarbeitervortrag

Vortragender
Sebastian Vander Maelen

Thema
Scheduling Analyse mittels Model-Checking

Vortragstyp
Bachelor Abschlussvortrag

Vortragender
Norman Caspari

Thema
Optimierung und Evaluation eines bestehenden Fahrdynamikmodells in Matab/Simulink für die Fahrsimulationssoftware Silab

Vortragstyp
Bachelor Abschlussvortrag

Vortragender
Florian Fortmann

Thema
Analyse von Situationsbewusstsein in sicherheitskritischen Systemen

Vortragstyp
Mitarbeitervortrag

Vortragender
Hendrik Grunau

Thema
OSEK-COM - Ein Überblick

Vortragstyp
Bachelor Zwischenvortrag

Abstract <br/> Um Software für die verschiedensten Hardwarekomponenten Eingebetteter Systeme entwickeln zu können existieren Spezifikationen, welche das Verhalten der Betriebssysteme beschreiben. Neben "gewöhnlichen" Funktionen wie Task- und Ressourcenmanagement müssen diese die komplexe Kommunikation der einzelnen Systemteile innerhalb und zwischen Steuergeräten steuern. In diesem Vortrag wird deshalb das Konzept von OSEK-COM, der Kommunikationsspezifikation des Echtzeitbetriebssystems OSEK-OS, vorgestellt. Hierzu wird zunächst die Einordnung der Spezifikation in das Betriebssystem vorgestellt, bevor das Modell der nachrichtenbezogenen Kommunikation eingeführt wird. Anschließend werden der Ablauf und die Eigenschaften einer Übertragung beschrieben. Abschließend wird kurz auf nötige Einstellungen bei der Konfiguration des Betriebssystems eingegangen.

Vortragender
Sebastian Vander Mealen

Thema
Scheduling Analyse mittels Model-Checking

Vortragstyp
Forschungsseminar

Abstract <br/> Moderne eingebettete Systeme müssen heutzutage eine Vielzahl von unterschiedlichen Aufgaben übernehmen. Für sicherheitskritische Aufgaben wird oftmals eine Verifikation zur Sicherstellung von relevanten Systemeigenschaften durchgeführt. Da es sich bei diesen Systeme in der Regel um Echtzeitsysteme handelt, spielt nicht nur die funktionale Sicherheit des Systems sondern auch das zeitliche Verhalten eine wichtige Rolle. Die verschiedenen Teilsysteme benötigen die Möglichkeit zum Informationsaustausch, wodurch Speicher wie FIFO-Speicher und gemeinsame Variablen unabdingbar werden. Die betrachteten Systeme sollen mit Hilfe von Schedulinganalysen untersucht werden. Mittels analytischer Methoden lassen sich keine funktionellen Eigenschaften der einzelnen Task modellieren. Zudem sind diese Verfahren in der Regel über-approximativ. Ein weiterer Ansatz ist die Schedulinganalyse mittels Model Checking. Hierzu existiert bereits das Werkzeug Orca zur Modellierung von Tasknetzwerken, welche FIFO-Speicher und Shared-Variablen enthalten können. Diese Tasknetzwerke werden anschließend mit dem Werkzeug FunOMat in Uppaal Modelle übersetzt. Danach ist es möglich, die so modellierten Systeme mittels des Model Checkers Uppaal auf die gewünschten Eigenschaften hin zu untersuchen. Das Werkzeug FunOMat soll nun um die Möglichkeit erweitert werden, im System vorhandene FIFO-Speicher und Shared-Variablen in Uppaal übersetzen zu können. Hierzu werden verschiedene Konzepte entworfen und hinsichtlich ihrer Performance untersucht.

Vortragender
Philipp Reinkemeier

Titel
Segregation in Multi-Core Systemen

Vortragstyp
Mitarbeitervortrag

Vortragende
Kim Grüttner und Ralph Görgen

Titel
Entwurfsmethodik für Eingebettete HW/SW-Systeme

Vortragstyp
Mitarbeitervortrag

Vortragender
Philip Weber

Titel
Inbetriebnahme eines Time-of-Flight-Sensorelementes und Entwicklung von Algorithmen zur Erkennung von Gesten und Bewegungen mit Hilfe von MATLAB/Simulink

Vortragstyp
Master Zwischenvortrag