E-Mobility / New Mobility

Profilbild Schlingloff
Faculty of Mathematics and Natural Sciences
Department of Computer Science

Software Engineering

Share Profile Link
Profile link copied.
Profil Link teilen
Profil Link wurde kopiert.
Expertise

Our daily life more and more depends on computational systems embedded in common appliances. Just think of advanced driver assistance systems in cars, medical devices, or indsutrial supervisory control and data acquisition systems. Since such systems also realise safety-critical tasks, it is all the more important to provide effective and efficient quality assurance for them. The specification, verification and testing theory group researches methods for model-based development and model checking, logical verification, and automated testing of safety-critical software. Prog. Schlingloff is chief scientist of the system quality center at Fraunhofer FOKUS, Berlin, and chairman of the boards of GFaI e.V. and ZeSys e.V.

  • Major German company for communication and sensors: Student semester project for the design and implementation of a system for distributed control of indoor air quality.
MEHR ANZEIGEN
Profilbild Hafner
Faculty of Mathematics and Natural Sciences
Department of Computer Science

Adaptive Systems

Share Profile Link
Profile link copied.
Profil Link teilen
Profil Link wurde kopiert.
Expertise

Professor Hafner‘s research in Adaptive Systems is concerned with extracting principles of intelligence from biological systems and transferring them to artificial systems. We focus on the transfer of cognitive skills to autonomous robots. The challenge not only lies in building intelligent autonomous robots, but also in gaining insights into biological systems through robot experiments. Our main research themes are sensorimotor learning, internal models for prediction, attentional processes, and spatial cognition. The methodological approaches cover evolutionary algorithms, neural learning, and information theory. We use various types of mobile robots as research platforms, e.g. humanoid, mobile, flying and underwater robots, as well as software simulations. Professor Hafner is IEEE Senior Member and Principal Investigator in several projects funded by the EU.

http://humboldt.gmbh/forschungskooperation

  • Local company for automation and robotics: Student semester project for the development of a collaborative fleet management system for autonomous transport robots.
MEHR ANZEIGEN
Profilbild Grunske
Faculty of Mathematics and Natural Sciences
Department of Computer Science

Software Engineering

Share Profile Link
Profile link copied.
Profil Link teilen
Profil Link wurde kopiert.
Expertise

At the Chair of Software Engineering, Prof. Grunske and his team specialise in methods of software technology relevant to the field of automated development and quality control of software systems. His work also involves probabilistic techniques on the basis of which the probable and less probable behaviour of a program can be modelled. This allows for easier discovery and correction of software anomalies. Such statistic models are used in the monitoring and debugging of programs during runtime as well as in testing software, which supports the development of safe and reliable software systems. Furthermore, Prof. Grunske develops methods that enable a precise definition of the quality requirements of software systems, the formalisation of verification conditions as well as the (technical) safety in embedded systems and process and performance management.

Scientific Services
  • Software engineering
  • Testing and verification
  • Statistics/probabilistic methods
  • Formalisation of application scenarios in cooperation with TWT GmbH: “Safe.Spec: Quality control of behaviour requirements”
  • Using software systems to derive probabilistic models that can be used as specification during the software engineering process: „EMPRESS: Extracting and Mining of Probabilistic Event Structures from Software Systems”
  • Development of evaluation methods for probabilistic models as well as machine learning based techniques for the transformation of models:  “ENSURE-II: ENsurance of Software evolution by Run-time cErtification”
MEHR ANZEIGEN