Abstract-In domänen av realtidssystem, analysen av timing beteendet hos program är avgörande för att garantera schedulability och därmed säkerheten i ett system. Statiska analyser av WCET (Worst-Case Execution Time) har visat sig vara en viktig del av tidsanalysen, eftersom de ger säkra övre gränser på ett programs genomförandetid. För enkärniga system är WCET-analysatorer redan tillgängliga, men hittills har endast första förslag lagts fram för att analysera WCET i flerkärniga system, där de olika kärnorna kan störa tillgången till delade resurser. Ett viktigt exempel på detta är delade bussar som kopplar kärnorna till ett gemensamt huvudminne. Tidpunkten för att få tillgång till den delade bussen kan variera avsevärt, beroende på det använda buss skiljedomsprotokollet och tidpunkterna för tillträde. I detta dokument föreslår vi en ny teknik för att analysera varaktigheten för tillträde till delade bussar. Vi implementerade ett prototypverktyg som använder den nya analysen och testade den på en uppsättning realworld-riktmärken. Resultaten visar att vår analys uppnår samma precision som den bästa befintliga metoden samtidigt som den drastiskt överträffar den i frågor om analystid.
Ett alternativt tillvägagångssätt för att analysera varaktigheten av tillgång till en TDMA-arbiterad resurs presenteras av REF.
Bus-Aware Multicore WCET Analysis through TDMA Offset Bounds
{'venue': '2011 23rd Euromicro Conference on Real-Time Systems', 'journal': '2011 23rd Euromicro Conference on Real-Time Systems', 'mag_field_of_study': ['Computer Science']}