En stor grupp inbyggda system skiljer sig från allmänna datorsystem genom behovet av att uppfylla strikta krav på timing, ofta under begränsningar av tillgängliga resurser. Förutsägbar systemkonstruktion handlar om utmaningen med byggsystem för vilka tidskrav kan garanteras på förhand. Kanske paradoxalt nog har detta problem blivit svårare genom införandet av prestandahöjande arkitektoniska element, såsom gömmor, rörledningar och multitrådning, som medför en stor grad av osäkerhet och gör garantier svårare att tillhandahålla. Syftet med denna artikel är att sammanfatta den aktuella tekniken inom forskning om hur man bygger förutsägbara men performant system. Vi föreslår exakta definitioner av begreppet "predikterbarhet" och presenterar förutsägbarhetsproblem på olika abstraktionsnivåer i inbäddad systemdesign. För det första, vi överväger timing förutsägbarhet processor instruktionsset. Därefter överväger vi hur programmeringsspråk kan utrustas med förutsägbar timing semantik, som omfattar både ett språkbaserat tillvägagångssätt med hjälp av det synkrona programmeringsparadigmet, samt en miljö som ger timing semantik för ett vanligt programmeringsspråk (i detta fall C). Vi presenterar tekniker för att uppnå timing förutsägbarhet på multicores. Slutligen diskuterar vi hur man ska hantera förutsägbarhet på nivån för nätverkade inbyggda system där slumpmässigt förekommande fel måste beaktas.
En samling funktioner för tidspredikterbara system från hårdvaran, som föreslår synkrona programmeringsspråk, och presentera WCET-aware sammanställning presenteras av REF.
Building timing predictable embedded systems
{'venue': 'TECS', 'journal': None, 'mag_field_of_study': ['Computer Science']}