Agents and Simulated Reality
The Agents and Simulated Reality Lab conducts research in the areas Visual Computing,
Multiagent Systems and Automated Deduction and Verification.
Agents
A multi-agent system consists of a number of self-dependent programs, that achieve a performance superior to the single programs through neat collaboration. The system group is applying multi-agent technologies to the following areas: intelligent information systems, dynamic scheduling for transportation, electronic commerce and animated agents in virtual worlds.
Simulated Reality
The ability to accurately model and simulate reality and thus make predictions is a key element of our fast-moving industry. The Agents and Simulated Reality Department uses dynamic large-scale, highly detailed 3D environments to realistically model relevant scenarios, such as complex production lines, ancient cities, or biological cells. Adding semantic information provides the context to run simulations that accurately predict properties (e.g. illumination, acoustics, traffic, etc.) of such systems. High-performance implementations on multi- and many-core systems enable highly realistic realtime display, e.g. using Realtime Ray Tracing, as well as realtime interaction, even with complex simulated realities using fully immersive VR environments.
Safe and Secure Systems
A central vision of the Formal Methods Group is the development of an overall tool which facilitates a development of software using formal and informal methods. In order to allow for an industrial development of software according to the highest IT security criteria (ITSEC), we develop tools which aim at a thorough support in all phases of a formal development methodology. This includes in particular an adequate management of software developments including the reuse of developments, an efficient proof support, and a sophisticated user interface.
