EEMDEF är ett forskningsprojekt stött av KK-stiftelsen och PROGRESS. I detta projekt samarbetar Mälardalen Real-Time research Centre med följand industriella partners:
EEMDEF projektet fokuserar mjukvara för inbyggda styrsystem som i t.ex fordon och indusriella robotar. Dessa system karakteriseras av att kunna utföra mängd olika funktioner med en komplex kravbild. Pålitigheten för dessa system är ofta av yttersta viktt eftersom uppgraderingar är svåra att utför och är kostsamma. Dessutom kan fel i mjukvara leda till katastrofala konsekvenser t.ex. på människa och/eller miljö.
EEMDEF motivering och vision
Komplexiteten på mjukvara för distribuerade reglersystem har ständigt ökat under senaste 20-30 åren. För 15-
20 år sedan skedde en smärre revolution inom utvecklande av dessa system då man gick ifrån att beskriva och
implementera dessa system med lågnivå och hårdvarunära konstruktioner (ofta assemblerkod), för att ha kontroll
över de knappa resurser såsom tid och minne, till ett mer högnivå språk (oftast C). Denna övergång krävde
att man kunde överbygga detta s.k. semantiska gap där högnivåkonstruktioner översattes till exekverbara lågnivåkonstruktioner.
Denna övergång krävde omfattande forskning inom kompilatorområdet och industrin var till
en början väldigt skeptisk till denna övergång eftersom de övergav kontrollen till kompilatorer som de ansåg
inte kunde litas till och att de producerade alldeles för ineffektiv kod. Idag har den omfattande forskningen
inkapslats i dagens moderna kompilatorer som idag anses generera mycket mer effektiv och säker kod än handskriven
assemblerkod. Förtroende för dagens kompilatorer, ute i industrin, är oomtvistlig och idag använder
ingen lågnivåprogrammering annat än i undantagsfall.
Idag har komplexiteten växt till ohanterlig nivå för dessa system och vi ser att man idag behöver ta ett steg
ytterligare i utvecklingen, d.v.s. ytterligare höja abstraktionsnivån för att hantera denna komplexitet. Vi ser att ett
liknande steg kommer att göras och att forskning bör ske på samma sätt som för kompilatorer för 15-20 år sedan.
Och på samma sätt som man inkapslat dessa teorier i dagens moderna kompilatorer krävs det att framtagna
teorier inkapslas i verktyg så att användaren kan lita på verktygen samt inte behöver bry sig om lågnivådetaljer.
Visionen för projektet är att initiera och bidra till denna utveckling som vi anser är nödvändig för utveklingen
av nästa generations komplexa distribuerade inbyggda system. Ett framgångsrikt projekt kommer betyda att projektföretagen,
och svensk industri, får ett försprång i denna utveckling och kommer att vara konkurrenskraftiga
en bra bit in i framtiden.
Populärvetenskaplig text om inbyggda realtidssystem finna att läsa om här.
