Workshop annuale RADIANCE 2016
Gli argomenti verteranno tra l’altro su:
- Valutazione di sistemi integrati inclusi i software OTS
- Sviluppo agile nei sistemi critici: sfide e approcci della valutazione
- Requisiti del linguaggio naturale per lo sviluppo di software
- Valutazione di software per far fronte alla crescente complessità di sistemi
- Certificazione di sistemi complessi e integrati
- Sistemi dinamici e in evoluzione: nuove necessità per verifica, convalida e certificazione
- Verifica e convalida automatiche di sistemi critici
- Approcci guidati dal modello per la valutazione di sistemi affidabili e sicuri
- Valutazione sperimentale di affidabilità e sicurezza
- Servizi affidabili e sicuri
- Questioni aperte, esperienze pratiche e casi di studio del mondo reale
La conferenza internazionale IEEE/IFIP sui sistemi e le reti affidabili (DSN) è la più prestigiosa tribuna internazionale per presentare i risultati di ricerche avanzate e innovative, soluzioni per i problemi, pratiche e opinioni sulle nuove sfide nel campo dell’informatica affidabile e della sicurezza. L’intera gamma di sistemi informatici e campi di applicazione, con i relativi stringenti problemi di affidabilità e sicurezza, sono rilevanti per i DSN.
Per maggiori informazioni, consultare:
Pagina web del workshop RADIANCE
Sito web della conferenza DSN