På grund av de växande prestandakraven blir inbyggda system allt mer komplexa. Samtidigt förväntas de också vara tillförlitliga. Det är mycket svårt att garantera tillförlitligheten i komplexa system. Följaktligen finns det ett stort behov av konstruktioner som gör det möjligt att använda okontrollerade komponenter som operativsystem i realtid (RTOS) utan att kräva att de är korrekta för att garantera säkerheten. I detta arbete föreslår vi ett nytt tillvägagångssätt för att utforma en styrenhet som gör det möjligt för systemet att starta om och förbli säkert under och efter omstarten. Genom att komplettera denna styrenhet med en kopplingslogik kan systemet använda komplex, okontrollerad styrenhet för att driva systemet så länge det inte äventyrar säkerheten. En sådan design tolererar också fel som uppstår i de underliggande programvarulager som RTOS och middleware och återhämtar sig från dem genom systemnivå omstarter som återinitierar programvaran (mellanprogram, RTOS, och program) från en lässkyddad lagring. Vår strategi är genomförbar med hjälp av en kommersiell off-the-shelf (COTS) bearbetningsenhet. För att visa effektiviteten i vår lösning, implementerar vi helt en controller för en 3 graders frihet (3DOF) helikopter. Vi testar systemet genom att injicera olika typer av fel i applikationerna och RTOS och verifiera att systemet förblir säkert.
Annat arbete finns REF där författarna föreslår förfaranden för att utforma en styrenhet (kallas baskontrollant) som gör det möjligt att på ett säkert sätt starta om hela datasystemet vid körtid.
Application and system-level software fault tolerance through full system restarts
{'venue': "ICCPS '17", 'journal': None, 'mag_field_of_study': ['Computer Science']}