Med tanke på en uppsättning samverkande komponenter med icke-deterministiska variabla uppdateringar och med tanke på säkerhetskraven är målet med den prioriterade syntesen att genom prioriteringar begränsa uppsättningen möjliga interaktioner på ett sådant sätt att de givna säkerhetsförhållandena garanteras för alla möjliga körningar. I distribuerad prioritering syntes är vi intresserade av att få lokala uppsättningar av prioriteringar, som är utplacerade i termer av lokala komponent styrenheter dela planerade nästa drag mellan komponenter i lokala stadsdelar endast. Dessa möjliga kommunikationsvägar mellan lokala styrenheter specificeras med hjälp av en kommunikationsarkitektur. Vi definierar formellt problemet med distribuerad prioriteringssyntes när det gäller ett flerspelarsäkerhetsspel mellan spelare för (angeligen) att välja nästa övergång av komponenterna och en miljö för (demoniskt) uppdatering av okontrollerbara variabler; detta problem är NPfullständig. Vi föreslår flera optimeringar inklusive en lösning-rymd undersökning baserad på en diagnosmetod med hjälp av en inbäddad förlängning av den vanliga dragningskraft beräkning i spel tillsammans med en minskning till motsvarande SAT-problem. När diagnosen misslyckas, föreslår metoden potentiella kandidater för att vägleda prospektering. Dessa optimerade algoritmer för att lösa distribuerade prioriterade syntesproblem har integrerats i vårt VissBIP ramverk. En experimentell validering av denna implementation utförs med hjälp av en rad fallstudier inklusive schemaläggning i multicore processorer och modulära robotik.
I REF beskriver författarna en algoritm för att syntetisera lokala uppsättningar av prioriteringar och därmed ta itu med fördelningen av kontrolllogiken.
Distributed Priority Synthesis and its Applications
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}