Back to search

FORSTERK-Forsterkningsmidler

COEMS Training Network

Awarded: NOK 0.52 mill.

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.

- dissemination and networking event in 2021 contributed to building a consortium and grant application to a EU Horizon RIA project. - dissemination and networking event in 2022 contributed to building a consortium to a EU Horizon RIA project for 2024. - training of graduate- and post-graduate researchers in COEMS tools and techniques.

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.

Publications from Cristin

No publications found

No publications found

No publications found

No publications found

Funding scheme:

FORSTERK-Forsterkningsmidler

Funding Sources