Research Interests
- Embedded and Real Time Systems
My main research focus lies in the field of constrained resource systems as they occur in the area of embedded and real time systems. My work in this area covers the whole range, from theoretical work on decidablity questions to implementation of tools, operating systems and prototypes (which are in fact used by people in academia and/or industry), and from low level hardware programming to embedded applications development.
Crucial in embedded system is intercation with the environment. Thus I have a deep interest in
- Distributed Systems
- Control for Vehicles and Production Plants
- Data and Databus Communication
- Mobile Communication
In fact, the major part of the problems in our recent cooperation with Daimler AG and Scheidt&Bachmann GmbH are in the area of distributed computing and networking on the physical, the data link, and the network and transport layers. Real time and resource constraints problems are even more intruiging, but not so numerous.
On the methodical side, I am mainly interested in
- Formal Methods for Specification and Verification
- Timed Automata
- Hybrid Systems
- Model Based Testing
- Timed Testing
- Test Processes
- Discrete Simulation
- Configuration Management
On the implementation side, I look into
- object oriented programming and design
- graphical/GUI programming (Java Swing, Qt, SVG, openGL)
- agile development
- test driven development
- programming of mobile devices (J2ME, Android, iPhone, OpenMoko)
- design patterns
- programming and design environments
- C++
- Java
- SQL (mySQL, Oracle, sqlite)
- UML
Program Committees
- "IFIP International Conference on Testing Software and Systems" (ICTSS 2010)
- "Advances in Model Based Testing" (AMOST 2011)
- "International Conference on Quality Software" (QSIC 2010)
- "Modellbasiertes Testen und Testautomatisierung" (MOTES 2010)