Raffinamento Vincolato dalla Grammatica delle Regole di Sicurezza per Sistemi Autonomi
I ricercatori propongono un framework per il raffinamento delle regole operative di sicurezza nei sistemi cyber-fisici (CPS) utilizzando il linguaggio nel ciclo e il ragionamento controfattuale. Il metodo affronta la sfida di mantenere la correttezza sintattica sotto grammatiche specifiche del dominio, evitando al contempo l'overfitting ai risultati osservati. Applicato a un sistema di controllo per la guida autonoma, l'approccio ha risolto le incongruenze tra le regole operative e il comportamento osservato del sistema durante la verifica basata su simulazione. Il lavoro evidenzia i rischi di raffinamenti semanticamente ingiustificati che potrebbero compromettere la sicurezza.
Fatti principali
- Le specifiche di sicurezza nei CPS catturano le condizioni operative per un funzionamento sicuro.
- Le regole operative devono essere raffinate man mano che gli ambienti evolvono per mantenere la coerenza con il comportamento osservato.
- La revisione di regole inconsistenti richiede la correttezza sintattica sotto una grammatica specifica del dominio.
- Il raffinamento con linguaggio nel ciclo può produrre raffinamenti semanticamente ingiustificati che causano overfitting.
- Il framework combina il ragionamento controfattuale con un ciclo di raffinamento vincolato dalla grammatica.
- Applicato a un sistema di controllo per la guida autonoma.
- L'approccio ha risolto con successo le incongruenze.
- Numero arXiv: 2604.23523.
Entità
Istituzioni
- arXiv