Synthesis of Safety-Critical Real-Time Systems

Abstract

Bil-, flygelektronik-, järnvägs-och medicinska system är exempel på typiska säkerhetskritiska system. På grund av ökade krav på datakommunikation i sådana system är Ethernet med protokoll för tidskänsliga nätverk (TSN) vanligt förekommande. Flera designutmaningar såsom tids-och säkerhetskrav måste hanteras när TSN tillämpas i säkerhetskritiska system. Tidskrav hanteras ofta genom tidsutlöst schemaläggning. Säkerhetskraven inkluderar både slumpmässiga och systematiska fel. Kraven hanteras i TSN genom syntetiserade tidsutlösta scheman och rutter för meddelanden med redundans som lösning för slumpmässiga och systematiska fel. Denna avhandling inkluderar metoder för effektiv syntes av förebyggande tidsutlösta scheman och rutter för meddelanden i TSN. På grund av att funktioner blir alltmer komplexa och integrerade så behöver dessa ofta integreras på samma datorplattform. Denna avhandling föreslår så kallad serverbaserad uppgiftsschemaläggning för system med olika nivåer på säkerhetskrav. Detta innebär att funktioner garanteras vara fria från störningar samt att resursanvändning minimeras.