Welcome to the COEMS project

COEMS (Continuous Observation of Embedded Multicore Systems) is a novel observer platform with supporting verification methods for software systems.

Our focus lies on the detection and identification of non-deterministic software failures caused by race conditions and access to inconsistent data. Therefore we will provide an efficient real-time access and analysis for operating safe software systems.