COEMS Training Network

Prosjektsamandrag

I COEMS prosjektet har deltakere fra industri og forskning videreutviklet teknologier til debugging av 
fler-kjerne systemer. Vi har utviklet en maskinvare-basert løsning for å behandle strømmer av henvendelser fra systemet. Vi har også designet et uttrykkskraftig spesifikasjonsspråk samt kompilator og tilhørende verktøy. Selv om COEMS fungerer best med den utviklete prototypen og kompilerte spesifikasjoner, tilbyr vi også en interpreter-basert løsning som lett kan integreres i programvare-utviklings prosesser. Anvendelsesområde inneholder coverage analyser og observasjon av forskjellige sikkerhets-relevante egenskaper som er svært viktig for utvikling i områder som luftfart og jernbane.