Sviluppare sistemi resilienti con KAOS: Sviluppo di sicuri e protetti acquisizione conoscenze per la definizione automatizzata delle specifiche

Durante la ricerca in entrambi i campi emergono sfide quali i concetti, gli strumenti e i metodi utilizzati nei rispettivi ambiti, nonché le questioni relative alla sicurezza e alla protezione. Il grande divario tra i due campi deriva dal fatto che la ricerca si è concentrata su uno solo dei due, dato che ciascuno di essi dispone di strumenti e metodi di sviluppo propri. Per l'analisi e l'elaborazione dei requisiti di sicurezza mediante l'uso del concetto KAOS, tale nozione consente di esprimere i modelli dei requisiti di sicurezza in termini di 'anti-obiettivi' e di vulnerabilità del sistema oggetto di studio. Questi modelli possono anche includere una definizione della soluzione, o contromisura, all'attacco in termini di obiettivi che evitano una determinata vulnerabilità. Per i sistemi critici per la sicurezza, è molto importante affrontare gli ostacoli secondo la nozione di KAOS, che cattura le proprietà indesiderate. Ciò consente agli analisti di identificare e affrontare circostanze eccezionali durante l'ingegneria dei requisiti, al fine di produrre requisiti robusti o nuovi per evitare o ridurre l'impatto degli ostacoli, ottenendo così un software più affidabile.