Abstrakt. Prioriteringar används för att kontrollera genomförandet av system för att uppfylla givna krav för optimal resursanvändning, t.ex. genom att använda schemaläggningspolicyer. För distribuerade system är det svårt att hitta effektiva genomföranden för prioriteringar, eftersom de uttrycker begränsningar för globala stater, kan genomförandet medföra betydande omkostnader. Vår metod bygger på att utföra modellkontroll för kunskapsegenskaper. Det gör det möjligt att identifiera var den lokala informationen om en process är tillräcklig för att planera genomförandet av en övergång med hög prioritet. Som ett resultat av modellkontrollen omvandlas programmet till att reagera på den kunskap det har vid varje punkt. Den omvandlade versionen har inga prioriteringar, och använder den insamlade informationen och dess kunskap för att begränsa möjligheten av övergångar så att den matchar eller approximerar den ursprungliga specifikationen av prioriteringar.
I Ref-metoden används prioriteringar för att kontrollera genomförandet av distribuerade system för att uppfylla fastställda tidtabellspolicyer.
Priority Scheduling of Distributed Systems Based on Model Checking
{'venue': None, 'journal': 'Formal Methods in System Design', 'mag_field_of_study': ['Computer Science']}