CHAIR OF

SOFTWARE ENGINEERING

Problem: Research and teaching at universities are supported by highly complex processes. These include preparing courses, evaluating performance, submitting research proposals, informing students, indexing relevant literature and, last but not least, the academic work itself. Unfortunately, there are only a few individual IT solutions for these processes.

Content: In this IT project, an IT concept is to be developed to support the activities of an academic research and teaching unit. This includes a precise analysis of the individual processes and possible IT solutions. Based on this, a concept for the sensible composition of these partial solutions (e.g. web server/CMS, version management, literature management, LSF, etc.) must be developed. Subsequently, this concept is to be implemented as a prototype and a migration concept is to be designed.

Benefit: You will become more familiar with the internal structures of the scientific community in Germany and gain an insight into the work and structure behind the scenes of a teaching unit. The problem and the resulting IT solution are closely related to many industrial challenges that arise when designing and implementing new IT infrastructures.

Contact: Frank Ortmeier 

Our paper "Slice or Unfold - Experiments on Checking Synchronous Models with Backward Slicing" by Tim Gonschorek and Frank Ortmeier was accepted for the "5th International Workshop on Dependable Controle of Discrete Systems" (DCDS 2015) in Cancun.

Our paper "Model-Based Local Path Planning for UAVs" by Tanja Hebecker, Robert Buchholz & Frank Ortmeier was published in the Journal of Intelligent & Robotic Systems by Springerverlag.

Our paper titled "Distributed Diagnosability Analysis with Petri Nets" was presented at the 25th International Workshop on Principles of Diagnosis (DX'14), held in Graz, Austria, September 8-11, 2014. The DX community is concerned with a variety of theories, principles and computational techniques for the diagnosis, monitoring, testing, reconfiguration, maintenance and repair of complex systems and brings together researchers from diverse backgrounds such as Artificial Intelligence, Control Theory, Systems Engineering and Software Engineering.

Our paper "Improving the Sequence of Robotic Tasks with Freedom of Execution" by Sergey Alatartsev and Frank Ortmeier has been accepted for the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). It will take place from September 14 to 18, 2014 in Chicago, Illinois, USA.

We are pleased to announce a new major release of our formal modeling environment VECS.

In addition to supporting templates that allow you to create multiple instances of a component, we have also revised the modeling of error components.

Knowing how fast your models grow and that it can be a challenge to understand the model, we have added a GraphViz exporter to generate overview graphs of your models. Until now, you had to run GraphViz manually to create images. In the next version, we will make sure that you can view your model in Eclipse.

We will keep you up to date on further improvements to VECS.

Unmanned aerial vehicles (UAVs) are already widely used for aerial photography for military and civilian purposes. The "Collaborative microdrones" project is developing an approach for a fleet of quadrocopters to support rescue teams in scenarios of industrial and natural disasters. The drones fly over the target area, transmit images to the ground station and present a real-time overview image of the area.

This presentation will focus on the route planning part of the project. The main problem is to combine AI methods with the real environment, i.e. with the constraints imposed by the design of the drones and the application.

Lecturer: Vera Mersheeva
Time: 30.09.2013, 14:00 - 16:30 Uhr
Place: Building 29, Room 301

Two CSE doctoral students, Matthias Trojahn and Sergey Alatartsev, took part in the Magdeburg Informatics Days (2nd, Doctoral Conference) on July 16, 2013. The students presented their current doctoral projects.

Matthias Trojahn gave a presentation on "Biometric Keystroke Authentication on Smartphones Using a Capacitive". Sergey Alatartsev received the "Best PHD project MIT 2013" award for his presentation on "Path planning for industrial robots among multiple under-specified tasks".

Further information on this event can be found here.

Chairholder

Frank Ortmeier
E-Mail:
Tel.: +49 391 67 52804
Office: Building 29, Room 404

Secretariat

Kornelia Rulf
E-Mail:
Tel.: +49 391 67 58915
Fax: +49 391 67 12810
Office: Building 29, Room 405