- Suche

- Kontakt

Unterstützung im Bereich "Modellgetriebene Softwareentwicklung sicherheitskritischer Systeme"

Im Bereich "Modellgetriebene Softwareentwicklung sicherheitskritischer Systeme" suchen wir studentische Mitarbeiter, die uns bei diversen Arbeiten unterstützen. In diesem Projekt soll, aus einem gemeinsamen plattformunabhängigen UML-Modell der Anwendung, zum einen eine lauffähige Implementierung sowie ein formales Modell mittels Model-zu-Modell (M2M) sowie Modell-zu-Text (M2T) Transformationen erzeugt werden. Das generierte formale Modell soll anschließend in das Beweissystem KIV eingelesen werden und dort die Verifikation von Sicherheitseigenschaften ermöglichen.

Mögliche Aufgaben sind:

  • Implementierung von Modell-zu-Modell Transformationen sowie Modell-zuText Transformationen
  • Modellierung von sicherheitskritischen Anwendungen mit UML
  • Formale Verifikation von Sicherheitseigenschaften mit KIV

Hilfreich (aber keine Voraussetzung) sind Kenntnisse in den Bereichen Softwaretechnik, formale Methoden und Java Smartcards.

Habt Ihr Interesse?

Dann meldet Euch bei Marian Borek oder Kurt Stenzel.