http://www.tu-ilmenau.de

Logo TU Ilmenau


Ansprechpartner

Prof. Armin Zimmermann

Fachgebietsleiter

Telefon +49 (3677) 69-2767

E-Mail senden

INHALTE

Themenangebote

Die folgenden Themen werden vom Fachgebiet SSE für die Anfertigung unterschiedlicher Arten von Studienabschluss-, Seminar- und Projektarbeiten angeboten.

Normalerweise wird in der zweiten Vorlesungs-Woche jedes Semesters ein Termin zur Vorstellung der aktuellen Themen angeboten, siehe z.B. unter Hauptseminar. Zu diesem Termin werden neue Themen in die Liste eingetragen.

In den Prüfungsordnungen sind dafür unterschiedliche fachliche Tiefe und Zeiträume vorgesehen.
Die hier vorgestellten Themenangebote sind nicht prinzipiell auf einen bestimmten Typ von Arbeit eingeschränkt. Aufgrund unserer Erwartungen an Komplexität und Aufwand sind jeweils passende Typen angegeben.
Bei Interesse an einem Thema lässt sich eine Aufgabenstellung (entweder durch Bearbeitung von Teilaspekten oder Erweiterung um zusammenhänge Dinge) oft passend für die benötigte Arbeit zuschneiden. Genaueres bitte jeweils mit dem anbietenden Betreuer besprechen.

Realise a Testbed for fUML (UML Activity Diagrams) models

Nur diese Kategorie anzeigen:HauptseminarNur diese Kategorie anzeigen:RCSE Research Seminar

geeignet für / suitable for: Hauptseminar, RCSE Research Seminar

Ausschreibung / offered since: 13.10.2020

Betreuer: M.S. Francesco Bedini

Realisieren Sie eine Sammlung von fUML-Modellen mit unterschiedlichen Problemen zum Testen von Validierungswerkzeugen.

Tools: Eclipse / ActTor (web-based Editor)


Supervisor: M. Sc. Francesco Bedini

Realise a collection of fUML models with different issues for testing validation tools.

Tools: Eclipse / ActTor (web-based Editor)

ActTor: Continuous Integration / Continuous Deployment

Nur diese Kategorie anzeigen:HauptseminarNur diese Kategorie anzeigen:RCSE Research Seminar

geeignet für / suitable for: Hauptseminar, RCSE Research Seminar

Ausschreibung / offered since: 28.05.2020

Betreuer: M.S. Francesco Bedini

Entwerfen und richten Sie mit GitLab eine kontinuierliche Integrations- und Bereitstellungsstrategie ein, um ActTor online zu schalten.

Tools: GitLab CI, Docker containers (eventuell), Unix OS, Laravel


Supervisor: M. Sc. Francesco Bedini

Design and set up a continuous integration and continuous deploy strategies with GitLab to bring ActTor online.

Tools: GitLab CI, Docker containers (potentially), Unix OS, Laravel

TimeNET/web

Nur diese Kategorie anzeigen:BachelorNur diese Kategorie anzeigen:DiplomNur diese Kategorie anzeigen:HauptseminarNur diese Kategorie anzeigen:MasterNur diese Kategorie anzeigen:ProjektseminarNur diese Kategorie anzeigen:RCSE Group StudiesNur diese Kategorie anzeigen:RCSE Research ProjectNur diese Kategorie anzeigen:RCSE Research Seminar

geeignet für / suitable for: Bachelor, Diplom, Hauptseminar, Master, Projektseminar, RCSE Group Studies, RCSE Research Project, RCSE Research Seminar

Ausschreibung / offered since: 29.04.2020

In vorangegangenen Arbeiten wurde ein neues grafisches Frontend für TimeNET als Web-Anwendung in JavaScript implementiert. Aufgabe dieser Arbeit sind die Umsetzung / Anbindung weiterer Funktionen. (Web- und Scriptprogrammierung)


A new graphical web-based front end has been implemented for TimeNET in JavaScript in earlier student works. There are open tasks to design and implement additional GUI features, extend the JavaScript front end to support more TimeNET features (web programming and scripting), and to adapt more of the existing backend analysis modules.

Betreuer / supervisor: Armin Zimmermann

Numerical Analysis for Colored Petri Nets in TimeNET

Nur diese Kategorie anzeigen:BachelorNur diese Kategorie anzeigen:DiplomNur diese Kategorie anzeigen:HauptseminarNur diese Kategorie anzeigen:MasterNur diese Kategorie anzeigen:ProjektseminarNur diese Kategorie anzeigen:RCSE Group StudiesNur diese Kategorie anzeigen:RCSE Research ProjectNur diese Kategorie anzeigen:RCSE Research Seminar

geeignet für / suitable for: Bachelor, Diplom, Hauptseminar, Master, Projektseminar, RCSE Group Studies, RCSE Research Project, RCSE Research Seminar

Ausschreibung / offered since: 29.04.2020

Aktuell können in TimeNET farbige Petri-Netze nur simuliert werden. In der Arbeit sollen existierende Verfahren und Algorithmen so kombiniert und angepasst werden, dass eine numerische Analyse über den Erreichbarkeitsgraph so wie für einfache Petri-Netze (GSPNs) möglich wird. Ziel: Analyse von Zuverlässigkeitsmodellen im Bereich sicherheitskritische Cloud-Architekturen.

At the moment, only simulation is implemented in TimeNET for colored stochastic Petri nets. Task(s): Design and implement an algorithm similar to simple Petri nets for the generation of the reachability graph and later numerical analysis. Many parts of this exist in other implementations, but need to be adapted and merged. Goal: solve reliability models for industry partners (reliable cloud computing)

Betreuer / supervisor: Armin Zimmermann

TimeNET - Improvements / Verbesserungen

Nur diese Kategorie anzeigen:BachelorNur diese Kategorie anzeigen:HauptseminarNur diese Kategorie anzeigen:MasterNur diese Kategorie anzeigen:ProjektseminarNur diese Kategorie anzeigen:RCSE Group StudiesNur diese Kategorie anzeigen:RCSE Research Seminar

geeignet für / suitable for: Bachelor, Hauptseminar, Master, Projektseminar, RCSE Group Studies, RCSE Research Seminar

Ausschreibung / offered since: 06.02.2020

Betreuer: Prof. Armin Zimmermann

Innerhalb des Softwarewerkzeugs TimeNET sollen Verbesserungen implementiert werden (Programmierarbeit, z.T. Entwurf). Je nach Aufgabenstellung und Interesse können größere oder kleinere Arbeiten durchgeführt werden. Einige aktuelle Ziele:

  • Verbesserung der strukturellen Analyse
  • Erweiterung von Ausdrücken in farbigen Netzen um relative und absolute Objekt-Pfade
  • Experiment-Feature für SCPNs (Iteration über Parameterwerte und Start mehrerer Simulationen)
  • Experiment-Feature for the new multi-trajectory algorithm
  • Anzeige des Konfidenzintervalls bei SCPN-Simulationen
  • Aktualisieren der Beispielmodelle mit englischer Beschreibung
  • Implementierung komplexerer Leistungsmaße für transiente eDSPN-Analysen
  • eDSPN expression extensions (parameters in weights; functions and case statements)
  • infinite server option für deterministische Transitionen in der Simulation

TimeNET Improvements

Supervisor: Prof. Armin Zimmermann

The goal of this group of topics is to enhance our software tool TimeNETwith enhancements. There are several different possible topics to choose from depending on the desired work or thesis. Experience with Java/C/C++ and Eclipse is a plus. Examples tasks include

  • Improvement of eDSPN structural analysis
  • Extension of expressions in colored Petri nets by relative and absolute object paths in the model hierarchy
  • Experiment feature (iterate over parameter settings and start evaluations) for SCPN models
  • Experiment feature for the new multi-trajectory algorithm
  • Confidence interval graph display during an SCPN simulation
  • Update of example models and descriptions
  • Implementation of more complex result measures for the transient eDSPN analysis
  • eDSPN expression extensions (parameters in weights; functions and case statements)
  • allow infinite server deterministic transitions in eDSPN simulations

ActTor - Improvements / Verbesserungen

Nur diese Kategorie anzeigen:Hauptseminar

geeignet für / suitable for: Hauptseminar

Ausschreibung / offered since: 27.09.2019

Betreuer: M.S. Francesco Bedini

Innerhalb des Softwarewerkzeugs ActTor (Activity Diagram Editor) sollen Verbesserungen implementiert werden (Programmierarbeit, z.T. Entwurf). Je nach Aufgabenstellung und Interesse können größere oder kleinere Arbeiten durchgeführt werden. Erfahrung mit PHP / Javascript / HTML ist erforderlich. Einige aktuelle Ziele:

  • Verbessere den Editor (z.B.: Erlaube es, mehrere Elemente auszuwählen und sie alle zusammen zu verschieben).
  • Implementieren Sie zusätzliche Aktivitätsdiagrammelemente.
  • Entwerfen und implementieren Sie zusätzliche Funktionen (z. B. Laden einer vorhandenen XML-Datei, automatische Platzierung von Elementen im Diagramm).

Tools: Laravel, React (Javascript), CSS, HTML5


ActTor Improvements

Supervisor: M. Sc. Francesco Bedini

The goal of this group of topics is to enhance our web-based software tool ActTor (Activity Diagram Editor) with enhancements. There are several different possible topics to choose from depending on the desired work or thesis. Experience with Php/Javascript/HTML is required. Examples tasks include:

  • Improve the editor (for example: allow to select multiple elements and move them all together).
  • Implement additional activity diagram elements.
  • Design and implement additional features (e.g. Load an existing XML file, automatic placement of elements in the diagram).

Tools: LaravelReact (Javascript), CSS, HTML5

TimeNET - Build TimeNET with Gradle

Nur diese Kategorie anzeigen:BachelorNur diese Kategorie anzeigen:HauptseminarNur diese Kategorie anzeigen:RCSE Research Seminar

geeignet für / suitable for: Bachelor, Hauptseminar, RCSE Research Seminar

Ausschreibung / offered since: 27.07.2019

Betreuer: M.S. Francesco Bedini

TimeNET besteht derzeit aus mehreren Teilprojekten, die voneinander abhängen. Ziel dieser Arbeit ist es, den Aufbau von TimeNET mit Gradle zu verbessern.

Tools: Gradle


Supervisor: M. Sc. Francesco Bedini

TimeNET currently consists  of multiple subprojects which are depending one to another. The goal of this work is to improve the building process of TimeNET by using Gradle. A first prototype has been successfully done, but the full build process must be redesigned and transferred.

Tools: Gradle

TimeNET - Progress Bar for Numerical Analysis

Nur diese Kategorie anzeigen:BachelorNur diese Kategorie anzeigen:HauptseminarNur diese Kategorie anzeigen:ProjektseminarNur diese Kategorie anzeigen:RCSE Research ProjectNur diese Kategorie anzeigen:RCSE Research Seminar

geeignet für / suitable for: Bachelor, Hauptseminar, Projektseminar, RCSE Research Project, RCSE Research Seminar

Ausschreibung / offered since: 10.10.2017

Betreuer: Prof. Armin Zimmermann

Innerhalb des Softwarewerkzeugs TimeNET soll für länger laufende numerische Analyseverfahren ein Fortschrittsbalken implementiert und dafür eine Methode zur Schätzung der verbleibenden Restlaufzeit erarbeitet werden. Für Simulationen gibt es bereits eine entsprechende Implementierung, die übertragen und angepasst werden muss.


TimeNET - progress visualization for numerical analysis

Supervisor: Prof. Armin Zimmermann

The software tool TimeNET has to be extended in this work by a progress bar for numerical analysis methods. The basis is a heuristic for the estimation of the remaining computation time. The implementation can benefit from an existing module for simulations.

MDE4CPP

Nur diese Kategorie anzeigen:BachelorNur diese Kategorie anzeigen:DiplomNur diese Kategorie anzeigen:HauptseminarNur diese Kategorie anzeigen:MasterNur diese Kategorie anzeigen:ProjektseminarNur diese Kategorie anzeigen:RCSE Group StudiesNur diese Kategorie anzeigen:RCSE Research ProjectNur diese Kategorie anzeigen:RCSE Research Seminar

geeignet für / suitable for: Bachelor, Diplom, Hauptseminar, Master, Projektseminar, RCSE Group Studies, RCSE Research Project, RCSE Research Seminar

Ausschreibung / offered since: 01.09.2017

Betreuer: Dr. Ralph Maschotta

Arbeiten zu diesem Themenkomplex werden im Rahmen des Forschungsprojekts MDE4CPP angeboten. Das Model-Driven Engineering (MDE) ist ein allgemeiner Technischer-Ansatz der Modelle als wesentliche Grundlage zur Darstellung bzw. Analyse eines Sachverhalts sowie zur Lösung eines bestimmten Problems verwendet. Die Modelle werden dabei im kompletten Produkt- bzw. Projektzyklus verwendet und bilden die Grundlage zur generativen Erzeugung verschiedener benötigter Artefakte. Dieser weit verbreitete und erfolgreiche Ansatz wird in verschiedenen Projekten und bei der Entwicklung verschiedener Produkten verwendet. Vorreiter dieser Entwicklung sind Java-basierte Tools und Toolchains wie das Eclipse Modeling Project (EMP). Für andere Sprachen stehen jedoch nur wenige, proprietäre oder rudimentäre Lösungen zur Verfügung. Das Ziel dieses Projektes ist es die Grundlage für das MDE für die Programmiersprache C++ zu legen.

Dieser Themenkomplex umfasst mehrere mögliche Aufgaben von Hauptseminar bis zur Masterarbeit. Eine Auswahl komplexer Teilthemen: 

  • Erweiterungen des UML-Designers mit Hilfe von Sirius Viewpoint-Specifications. (z.B.: Darstellung fehlender Modellelemente, Editoren)
  • Realisierung eines Quellcodeeditors
  • Aufgaben zum Thema executable UML: Ausführbarkeit von Diagrammen (fUML, Kompositionsstrukturen, Interaktionsdiagramme)
  • Realisierung der Object Constraint Language (OCL) für MDE4CPP

TimeNET - marking-dependent arc cardinalities

Nur diese Kategorie anzeigen:BachelorNur diese Kategorie anzeigen:HauptseminarNur diese Kategorie anzeigen:MasterNur diese Kategorie anzeigen:ProjektseminarNur diese Kategorie anzeigen:RCSE Group StudiesNur diese Kategorie anzeigen:RCSE Research ProjectNur diese Kategorie anzeigen:RCSE Research Seminar

geeignet für / suitable for: Bachelor, Hauptseminar, Master, Projektseminar, RCSE Group Studies, RCSE Research Project, RCSE Research Seminar

Ausschreibung / offered since: 07.10.2016

Die Behandlung markierungsabhängiger Kantengewichte in TimeNET soll in dieser Arbeit verbessert werden. Aufgabe eines Seminars wäre die Lösung eines bekannten Bugs; als größere (Abschluss)arbeit soll ein Verfahren zur Analyse struktureller Eigenschaften von Petri-Netzen mit eingeschränkten markierungsabhängigen Kanten entwickelt und implementiert werden. (C/C++ Programmierung)


The handling of marking-dependent arc cardinalities in TimeNET should be improved in this work. As a seminar task, a known bug has to be solved; as a bigger (follow-up?) task, structural analysis techniques for invariants should be extended for some restricted types of marking dependencies. (C/C++ programming)

Betreuer / supervisor: Prof. Armin Zimmermann