I detta dokument presenterar vi ett originellt tillvägagångssätt (CPRTA för "Constraint Programmering för att lösa Real-Time Allocation") baserat på begränsningsprogrammering för att lösa ett statiskt tilldelningsproblem av svåra realtidsuppgifter. Detta problem består i att tilldela distribuerade processorer periodiska uppgifter inom ramen för förebyggande schemaläggning med fasta prioriteter. CPRTA bygger på dynamisk begränsningsprogrammering tillsammans med en inlärningsmetod för att hitta en genomförbar processorallokering under begränsningar. Två effektiva nya metoder föreslås och valideras med experimentella resultat. Dessutom har CPRTA mycket intressanta egenskaper. Det är komplett (om ett problem inte har någon lösning, algoritmen kan bevisa det); det är icke-parametrisk (det kräver inte specifik inställning) vilket gör det möjligt att enkelt överväga en stor mångfald av modeller. Slutligen, tack vare sin förmåga att förklara misslyckanden, erbjuder den attraktiva perspektiv för att styra den arkitektoniska designprocessen.
Detta beslut träder i kraft dagen efter det att det har offentliggjorts i Europeiska unionens officiella tidning. REF presenterar en begränsande programmeringsteknik för att lösa problem med statisk tilldelning i realtidsuppgifter.
Solving a Real-Time Allocation Problem with Constraint Programming
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}