Under de senaste årtiondena har flera metoder för schepulerbarhetsanalys föreslagits för både processorsystem och system med flera processorer i realtid. Även om olika tekniker används, har mycket lite lagts fram när det gäller att använda formella specifikationer, med möjlighet till feltolkningar eller tvetydigheter i problembeskrivningen. Genom att använda en logikbaserad metod för schemaläggningsanalys i konstruktionen av hårda realtidssystem underlättas syntesen av korrekt-för-konstruktionsprocedurer för både statiska och dynamiska verifieringsprocesser. I detta dokument föreslår vi en ny metod för schemaläggningsanalys baserad på en tidsmässig tidslogik med tidsperioder. Vårt tillvägagångssätt subsumerar klassiska metoder för en processor schemaläggning analys över kompositionsresursmodeller genom att förse utvecklaren med motexempel, och genom att utesluta scheman som orsakar osäkra överträdelser på systemet. Vi är också ett exempel på hur effektivt vårt förslag är.
Pedro och Al. I Ref föreslogs en ny metod för schemaläggningsanalys baserad på en tidsmässig tidslogik med tidsperioder.
Logic-based schedulability analysis for compositional hard real-time embedded systems
{'venue': 'SIGBED', 'journal': None, 'mag_field_of_study': ['Computer Science']}