Research Projects
Thales Formal RBC
This is a collaborative research project between Thales Germany and HHU. The full title is "Software Architecture for Effective Parametric Verification and Validation of an RBC System".
VertiGo – mobile Videonystagmographie
Schwindel gehört zu den häufigsten Symptomen der Medizin. Sowohl zentral als auch peripher-vestibuläre Schwindelsyndrome weisen pathognomische unwillkürliche Augenbewegungen auf. Ursächlich kann ein vital bedrohender Schlaganfall oder Hirnblutung sein, die eine sofortige Intervention erfordern. Hingegen gelten Störungen des Gleichgewichtsorgans nicht als zeitkritisch. Zur Differenzierung der Schwindelursache ist die Erfassung der damit einhergehenden Augenbewegungen essentiell und kann somit eine Abschätzung in der Dringlichkeit der notwendigen medizinischen Behandlung erfolgen.
Im VertiGo-Projekt wird eine mobile Nystagmographie entwickelt, welche selbstständig ohne medizinisches Fachpersonal zeit- und ortunabhängig eingesetzt werden kann.
Projektleitung: Prof. J. Schipper1
Projektmitarbeiter/innen: Dr. S. Reinhardt1, J. Schmidt2, J.Schneider2, Prof. M. Leuschel2, C. Schüle1
1Universitätsklinikum Düsseldorf, Klinik für Hals-, Nasen-, und Ohrenheilkunde
2Heinrich-Heine-Universität Institut für Informatik Lehrstuhl Softwaretechnik und Programmiersprachen
Förderprogramm: Förderprogramm für Habilitandinnen im Fachbereich der Medizin der HHU, Forschungsprogramm Mensch-Technik-Interaktion: “Technik zum Menschen bringen” des Bundesministeriums für Bildung und Forschung (BMBF)
Slot Tool
This is a HHU funded project where we are checking that the student timetables at the University respect the legal requirements concerning study duration. E.g., in the Faculty of Philosophy, a student must be able to study every combination of major subject (Kernfach) and minor subject (Ergänzungsfach) within six semesters. This project will use ProB's constraint solving capabilities to check those requirements and also enable adapting and optimising the timetables.