Forschungsprojekte und Kooperationen

Allgemeine Informationen

Das Labor bietet die Möglichkeit für gemeinsame Forschungsprojekte und Kooperationen mit Hochschulen, Forschungseinrichtungen und Unternehmen im Bereich Ubiquitous und Web-Applications, insbesondere bei der Entwicklung von Smartphone Apps.

Softwareentwicklung von Sensor-basierten Apps für Android Smartphones (Internes Projekt)

Wir erforschen die Entwicklung von sogenannten Apps für Android Smartphones, welche die Sensoren des Smartphones nutzen, einschliesslich der GPS-Einheit. Unser Ziel ist die Entwicklung qualitativ hochwertiger Software. Mit Beschleunigungssensoren, Gyrometer und Kompass kann kontrolliert werden, wie das Smartphone ausgerichtet und bewegt wird. Dies kann zur Steuerung von Applikationen durch Bewegung des Smartphones in der Hand verwendet werden.

Werden jeweils einzelne Sensoren zur Berechnung einer Bewegung verwendet, akkumulieren sich Messfehler. Darüberhinaus erzeugt jede Zeile Code für die Weiterverarbeitung der Messwerte eine Latenz in der Reaktion. Daher erfordert die Programmierung mit Sensoren ein vertieftes Verständnis der Physik und Mathematik. Wir untersuchen, wie Messfehler durch geschickte Kombination von Sensoren programmatisch minimiert werden können und wie weit die Reaktionszeit in Software verbessert werden kann. Dieser Ansatz ist auch als "Sensor Fusion" bekannt, sowohl in Hardware wie Software.

Aspektorientierte Modellierung mit formalen UML-Diagrammen

Die Aspektorientierung ist eine Weiterentwicklung objektorientierter Programmiersprachen wie Java und Modellierungssprachen wie UML. Das Labor erforscht den Einsatz von Graphtransformationen als Semantik für UML-Aktivitätsdiagramme, insbesondere für eine aspektorientierte Erweiterung. Dabei sollen die formalen Analysetechniken der Graphtransformationen auf Anwendbarkeit und Nutzen für die aspektorientierte Modellierung untersucht werden. Die Erkenntnisse werden mittels des Graphtransformationswerkzeuges AGG/Actigra an einem Beispiel validiert.

Buchbeitrag:

Mehner-Heindl, Katharina; Monga, Mattia; Taentzer, Gabriele: Analysis of Aspect-Oriented Models Using Graph Transformation Systems. In Moreira, Ana [Hrsg.]; Chitchyan, Ruzanna[Hrsg.]; Araújo, João [Hrsg.]; Rashid, Awais [Hrsg.]: Aspect-Oriented Requirements Engineering, pp. 243-270, ISBN 978-3-642-38639-8, Springer (Berlin Heidelberg/Germany) (2013)

(Preprint)