AktuellUnterstützung im Bereich "Modellgetriebene Softwareentwicklung sicherheitskritischer Systeme"
Im Bereich "Modellgetriebene Softwareentwicklung sicherheitskritischer Systeme" suchen wir Hiwis, 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. Der generierte Code soll auf Java Smartcards lauffähig sein.
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 Nina Moebius oder Kurt Stenzel.