Metodo di logica soggettiva per aggiornamenti dinamici della fiducia nella sicurezza runtime
Un nuovo metodo utilizza la logica soggettiva per aggiornare dinamicamente la fiducia negli argomenti di sicurezza, integrando le prove di progettazione con gli indicatori di prestazione di sicurezza (SPI) runtime. L'approccio privilegia la reattività alla sicurezza rispetto agli aggiornamenti bayesiani esatti, aumentando la fiducia in assenza di violazioni e imponendo penalità immediate per le violazioni. Dimostrato su una funzione di assistenza in zona di costruzione basata su simulazione con rilevamento di coni basato su ML.
Fatti principali
- Il metodo utilizza la logica soggettiva per aggiornamenti dinamici della fiducia runtime
- Integra prove di progettazione e SPI runtime a finestra
- La fiducia aumenta in assenza di violazioni, con penalità per le violazioni
- Privilegia la reattività alla sicurezza rispetto agli aggiornamenti bayesiani esatti
- Dimostrato su una funzione di assistenza in zona di costruzione basata su simulazione
- Si concentra sul componente di rilevamento di coni di costruzione basato su ML
Entità
Istituzioni
- arXiv