E-Mobility / New Mobility
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.
With his Computer Engineering research group, Prof. Scheuermann develops technologies for application-specific communication and computer systems that are efficient, secure, and reliable. The topics range from tailored communication protocols and application-specific digital circuits all the way to different aspects of online anonymity and privacy-preserving technologies. For instance, Prof. Scheuermann aims to interconnect automobiles to make best possible use of the available road network resources. Furthermore, he develops specialised circuitry for firewalls, so that within nanoseconds the firewall can decide what communication should be permitted. The research team models flow control and congestion control mechanisms for Internet anonymity systems, which for example allow political activists in totalitarian regimes to bypass Internet censorship. They design privacy compliant data collection algorithms, which grant detailed Internet traffic statistics without revealing information about individual users. His team’s expertise encompasses the set-up of wireless communication in between manufacturing machines in factories, so as to optimize the production process. In the field of warehouse logistics, Prof. Scheuermann combines measurements from various types of sensors to allow for a more accurate positioning of goods. In all fields of operation, tailored solutions for communication protocols and circuitry are necessary. The challenges are rooted in the particular application area: for instance, very fast or particularly reliable communication may be needed. Or data exchange is limited due to inherent technical limitations, yet the respective application must function reliably. It could be the case that IT security requirements need to be taken into account in new application fields where standard solutions fail. There may be a trade-off between data protection requirements or user privacy concerns, and communication requirements for data transmission. In all mentioned examples, it is necessary to look beyond common solution strategies and to keep the whole picture in mind. This systems perspective characterises the Computer Engineering group and its projects.
- extensive experience in analytical, simulative, and experimental Analysis of network protocols and digital circuits
- well-equipped network laboratory, which allows for realistic set-ups of scenarios and network topologies (for experimental assessments of wired and wireless communication protocols)
- workshops and laboratories for the design and evaluation of application-specific digital circuits, in particular of FPGA-based systems
- for a large German car manufacturer: the group developed application-specific communication protocols for the data exchange between automobiles, including analytical and simulative assessment
- for afinancial service provider: the group assessed the security of the IT and communication infrastructure
- together with an IT security solution provider: the group developed tailored processors for hardware-supported firewalls
- with a young start-up company: the group developes a secure system and communication architecture for highly distributed Smart City applications
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.
- Local company for automation and robotics: Student semester project for the development of a collaborative fleet management system for autonomous transport robots.
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.
- 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”