COEMS Training Network

Project summary

The COEMS project has advanced the state of the art of debugging of multi-core systems. On the one hand, we have developed a hardware-solution for trace processing that allows online processing of execution trace events. On the other hand, we have designed a powerful specification language, a compiler and various other programming tools. Although COEMS is most powerful when used with the hardware prototype and compiled specifications, also the interpreter solution is a powerful tool that can be integrated into the software development workflow. Application areas include coverage analysis and monitoring various safety-properties that are relevant especially when developing in safety-critical domains such as avionics and railways.

The FORSTERK funding will enable us to build a national network of competence in the foundations and techniques relevant to COEMS. This enables other researchers to build on our results, and helps us to identify potential users and application areas within the Norwegian industry. To this end, we 1) organize a summer school with primarily national, but also international, participants, where we disseminate the COEMS results, 2) hold a dedicated event for industry and academia each, and 3) participate in national academic and industrial events.