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.
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.