Nei moderni sistemi aerospaziali e di difesa, lo strato software sta rapidamente diventando complesso e critico quanto l’hardware su cui viene eseguito.
Le piattaforme edge di nuova generazione supportano un numero crescente di applicazioni multi-thread realtime, l’inferenza del machine learning, gli aggiornamenti over-the-air (OTA) e
l’integrazione con componenti di terze parti. In questi contesti, il comportamento deterministico, la robustezza del sistema e la sicurezza non sono opzionali: sono requisiti fondamentali. Questa crescente complessità impone un nuovo modo di concepire la software assurance. Tradizionalmente, si è concentrata l’attenzione sulla verifica della qualità del codice prima dell’impiego sul campo, attraverso tecniche quali analisi statica, “unit test”, test di integrazione e di verifica formale. Queste pratiche restano fondamentali, ma da sole non sono più sufficienti.
Read the full article here. Leggi l’articolo completo qui.