Die Validas AG sucht Praktikanten und Werkstudenten(m/w/d)!

Sie studieren und suchen eine abwechslungsreiche Nebenbeschäftigung?

Die Validas AG bietet Studierenden der Informatik und vergleichbarer Studienrichtungen Praktikumsplätze an. Die Arbeiten erfordern meist gute Kenntnisse im Umgang mit Java und Eclipse, bieten aber auch Gelegenheit zur Einarbeitung in neue Themen. Die Arbeitsbedingungen sind flexibel und unkompliziert gestaltbar, so dass eine Arbeit in der Validas gut mit einem Studium kombinierbar ist.

Neben einem attraktiven und angenehmen Umfeld im Herzen von München bieten wir interessante Aufgaben und die Möglichkeit Bachelor-/Masterarbeiten zu erstellen. Gerne können hierzu Themen gemeinsam gestaltet werden.

Bei Interesse freuen wir uns auf eine Anfrage/Bewerbung von Ihnen und vereinbaren gerne einen Gesprächstermin.

Aktuelle Aufgaben

Konzeption und Realisierung eines graphischen Modell-Editors für Werkzeugketten mit Eclipse

Der Tool Chain Analyzer (TCA) ist ein Werkzeug zur Modellierung und Fehler-Analyse von Werkzeugketten und wird von der Validas AG entwickelt und von zahlreichen Kunden im Bereich funktionaler Sicherheit eingesetzt um Werkzeuge zu klassifizieren und qualifizieren. Die Struktur eines Werkzeugkettenmodells besteht im Wesentlichen aus Werkzeugen (Knoten) und Dateien (Kanten), die von den Werkzeugen verwendet (gelesen oder geschrieben) werden. Derzeit werden die TCA Modelle mit EMF-Editoren (textuell) oder mit Excel erstellt. Es gibt keine Möglichkeit Werkzeugketten graphisch, übersichtlich und modular darzustellen.

Ziel der Arbeit ist es diese Lücke zu schließen und einen graphischen Editor für den TCA zu erstellen. Dabei soll das Eclipse-Framework SIRIUS zum Einsatz kommen.

Der konzeptionelle Teil besteht darin eine geeignete graphische Repräsentation zu finden, mit der die modellierten Werkzeugketten auch hierarchisch (modular) dargestellt werden können. Im Rahmen von einem Forschungsprojekt mit der TU Clausthal erforscht die Validas derzeit den Zusammenhang zwischen Werkzeugketten- und Prozessmodellen.

Anforderungen und Umfeld:

• Entwicklung mit Eclipse und Java
• Einsatz von Eclipse Modeling Framework (EMF) und SIRIUS
• Modellierung mit UML / EMF / SIRIUS
• Selbständiges Arbeiten in einem innovativen Umfeld und einer kleinen Firma
• Mitarbeit/Beitrag zu einem Forschungsprojekt
• Gute Betreuung von Experten mit Erfahrung in Forschung und Praxis

Die Arbeit kann entweder als Masterarbeit oder im Rahmen von Werkstudententätigkeiten durchgeführt werden. Es ist auch möglich die Arbeit in einem Zwei-Personen-Team durchzuführen. In diesem Fall würde sowohl ein Editor für Werkzeugketten als auch ein ähnlicher Editor für Prozessmodelle erstellt werden.

Testgenerierung für AUTOSAR-Software-Komponenten

AUTOSAR ist ein Standard zur Beschreibung von Software-Komponenten. Dabei können Schnittstellen zwischen Software-Komponenten (Applikationen) und Schnittstellen zum System (Services) spezifiziert werden. Die Spezifikation erfolgt in XML.

In dieser Arbeit soll ein Testgenerator erstellt werden, der spezifizierten AUTOSAR-Software-Komponenten jeweils eine entsprechende Test-Komponente und Stub-Funktionen für die Services erzeugt. Die Spezifikation des erwarteten Verhaltens erfolgt als Sequenz von Aufrufen (z.B. als MSC). Auf Basis dieser Sequenz sollen AUTOSAR-Software-Komponenten dann getestet werden. Tatsächliche Reaktion der Komponenten müssen mit erwarteten Reaktionen verglichen werden und mögliche Abweichungen genauer untersucht werden.

Der zu entwickelnde Testgenerator kann an einfachen Software-Komponenten demonstriert werden und im Erfolgsfall können damit auch industrielle Beispiele getestet werden.