The ability to observe the internals of an execution of a computer-based system is a fundamental requirement for ensuring correctness and safe behaviour. COEMS tackles the issues of detection and identification of non-deterministic software failures caused by race conditions and access to inconsistent data. It gives insight to the system’s actual behaviour without affecting it, allowing new verification methods.
COEMS will provide the world-wide first comprehensive online observation approach that is non-intrusive, allowing improved testing and debugging, and redefine the state-of-the-art for software systems development. Technologies developed in the project will affect:
- Software tests & Debugging
- Performance Optimization
- Software Engineering Research