CHAIR OF

SOFTWARE ENGINEERING

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

Lehrstuhl für Software Engineering/ Chair of Software Engineering (CSE)
Institut für Intelligente Kooperierende Systeme/ Institute for Intelligent Cooperating Systems (IKS)
Fakultät für Informatik/ Faculty of Computer Science (FIN)

Otto-von-Guericke-University Magdeburg
Universitätsplatz 2
39106 Magdeburg