SoK: motori decisionali semantici nei cicli di controllo delle reti

Abstract degli autori

Un motore decisionale semantico come Jev può fornire una risposta valida e tuttavia non rispettare una scadenza della rete, scegliere un’azione non attuabile o lasciare il servizio senza verifica. Classifichiamo 139 famiglie di articoli in base all’interfaccia decisionale, al percorso di esecuzione e a chi è responsabile della verifica. Cinquanta famiglie sostengono che il loro motore sia compatibile con un ciclo di controllo o con un limite di tempo, ma solo quattro accompagnano questa affermazione con misurazioni corrispondenti. Nell’insieme delle 139 famiglie, quattro riportano il rispetto delle scadenze. La lacuna si concentra nei casi in cui la decisione non prevede una fase di calcolo deterministica. Quelle 72 famiglie formulano 22 delle affermazioni, nessuna suffragata da misurazioni, e solo due indicano un responsabile della verifica. Test circoscritti basati su un unico modello degli eventi mostrano che ciascuna lacuna può ribaltare l’esito di una decisione di ammissione. Una decisione che rispetta il limite di 10 s per ogni richiesta isolata non lo rispetta per nessuna quando le decisioni si accodano prima dell’esecuzione, i cui tempi vengono riprodotti. Lo stesso motore supera una verifica della copertura e non ne supera un’altra. Da questi risultati ricaviamo un insieme minimo di dati da riportare, regole di progettazione e un programma di ricerca per l’ammissione dei motori decisionali nei cicli di controllo.