Prof. Weidlich is a professor at the Department of Computer Science, where he leads the Process-Driven Architectures research group. The goal of his team is to support and improve the design and the analysis of process-oriented information systems (POIS) and event-driven systems (ES). POIS are software systems that help to automate, monitor, and control processes. These systems are established in various domains, from logistics, through healthcare, to infrastructure monitoring. The team’s research focuses on formal methods for behavioural modelling and verification, event-driven approaches to monitor and control processes, as well as questions related to process-driven data integration. The group further works on techniques that optimise the run-time behaviour of event-driven systems. In particular, the evaluation of event queries over streams can be designed more efficiently once regularities within event streams have been detected. In 2016, Prof. Weidlich was named Junior Fellow of the German Informatics Society (Gesellschaft für Informatik, GI) and awarded with the Berlin Research Prize (Young Scientist) by the Governing Mayor of Berlin.
- extensive experience with the documentation of business processes and in training for process management techniques
- expertise in process mining, data-driven analysis of processes in terms of qualitative (compliance requirements) and quantitative (bottleneck-analysis, management of resource deployment) properties
- know-how in scalable infrastructures for event stream processing
- for a leading US cancer clinic: analysis and improvement of clinical processes based on the data of a real-time-locating-system
- for an international oil and gas group: development of techniques for detecting irregularities in streams of sensor data
- for a well-known German manufacturer of enterprise software: design and development of add-ons for a business process modelling platform
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
The research of Prof. Leser and his group is focused on all aspects of management, integration and analysis of heterogeneous, large and distributed data sets including natural language texts (text-mining and information extraction). This encompasses subjects such as data warehouses and ETL, graph databases, deep web and semantic web, machine learning, similarity search, scientific workflows, statistical methods of data analysis as well as methods for assessing and securing data quality. The team of Professor Leser conducts research in a variety of interdisciplinary projects, especially with colleagues from the life sciences covering the range from basic molecular biology to Systems Medicine.
Very good IT-facilities:
- several state-of-the-art parallel computer cluster (20-80 CPUs, 1 TB main memory)
- cluster with 60+ cores
- 50TB+ storage
- For an IT service provider: Consultancy and prototype development in the field of master data standardisation and integration
- For an IT-manufacturer: Development and valuation of algorithms for analysing data quality
- For an international pharmaceutical company: Consultancy and development of text-mining-procedures in biomarker development
- For a medium-sized biotech company: Joint system development (partly funded by the German Federal Ministry for Economic Affairs and Energy) in the field of human genotype changes evaluation
Model-driven engineering raises the level of abstraction in software engineering by using models as primary development artifacts. In particular, domain-specific modelling languages can ease the transition between informally sketched requirements or designs and implementations by supporting high-level yet formal representations as a starting point for automation. Moreover, using a model-based development approach, critical system properties can be analyzed, validated and verified even before the system is actually built. Model-driven development thus leads to an increase in both productivity and quality. To some extent, model-driven engineering has made its way into industrial practice, most notably for the development of embedded systems in various domains. However, model-driven engineering does not suffice to successfully manage all challenges of modern software engineering, and actually creates new problems. Research conducted at the Chair of Model-driven Software Engineering is particularly driven by relevant challenges and problems arising from the adoption of the model-driven engineering paradigm in industrial practice.
- Experience in implementing model-based development engineering methods, techniques and processes
- Know-how regarding the set-up of model-based transformation chains (domain-specific modeling languages, model transformation and interpretation, code generation) and development environments (collaborative modeling, (co-)evolution of models, model repair and synchronization)
- Expertise in the field of version and variant management, especially customized configuration management and software product lines
- Collaboration with a Berlin-based software company on the development of innovative software architecture analysis techniques for the quality assurance of embedded systems
- Consulting for a major German automotive supplier with regard to fundamental questions of configuration management of models for the model-driven development of embedded systems
- Support of an international electrical engineering corporation with the model-based development of software components for a new generation of internet-based multimedia building communication systems