Current language is English Seite auf Deutsch anzeigen Project P-UMLaut

Welcome to P-UMLaut.

This is the homepage of the project P-UMLaut at the Carl von Ossietzky University Oldenburg. It is located at the Department for Computer Science, and more specifically at the Parallel Systems Group there.

Visit us at the CeBIT CeBIT Logo Niedersachsen universities joint stand, Hall 9, Stand C21.
Please find some press information of our presentation.

P-UMLaut provides tools for the development of safe, dependable, and correct systems. A 3-dimensional view allows for realistic simulations of the system already in early stages of the design. In 3d animations the behaviour of the system can be examined in virtual reality. Prior to actually building the controller, its functionality and response to external inputs, e.g. by the user, can be tested. Computer based training is also possible, enabling an early access to the not yet finished machine. Even the actual control of the machone the control is developed for can be performed by P-UMLaut without any further hardware. Hence, time and cost savings can be achieved.

Tests are usually done only on a small part of a system. Verification tools can analyse systems in total and completely automatically. Using these techniques, P-UMLaut can prove the correctness and safety of a system. The results can be presented in short, comprehensable film sequences within the 3D component. Thus, an iterative, visual debugging of a system becomes possible.