EMB95

EMBEDDED 95 • FEBBRAIO • 2025 57 Q uando un sistema embedded avionico, auto- mobilistico, medicale, accusa un guasto, le conseguen- ze possono essere catastrofiche, e anche arrivare a met- tere in pericolo la vita di chi da quel sistema dipende per la propria incolumità. Il software safety-critical è la tipologia di software embedded alla base di questi sistemi, e come tale, all’interno del ciclo di sviluppo del codice (SDLC – software development lifecycle), ri- chiede tecnologie, strumenti, metodologie di verifica e validazione (V&V), norme e standard di sicurezza par- ticolarmente rigorosi. Altro aspetto fondamentale del software safety-critical, da tenere sempre presente, è che, a differenza di altro software aziendale, in cui gli sviluppatori si concentra- no tipicamente sull’evoluzione dell’applicazione, sulla creazione di nuove funzionalità, o su requisiti come la user experience, qui l’obiet- tivo principale è realizzare un sistema sicuro: in altre parole, il software deve ese- guire esattamente soltanto ciò che è stato specificato nei requisiti, ed essere assoluta- mente privo di funzionalità non previste. Sul versante evolutivo ci sono poi almeno due punti Sistemi safety-critical e AI, nuove sfide per assicurare la qualità del software L’implementazione di sistemi cyber-fisici (CPS) safety-critical AI-enabled, dotati di autonomia crescente e in grado di modificare il proprio comportamento per rispondere a eventi dell’ambiente esterno, crea nuove sfide di verifica e validazione del software. In attesa di soluzioni adeguate, è bene che gli ingegneri non abbandonino i pilastri metodologici chiave che finora hanno dimostrato di produrre sistemi safety-critical sicuri Giorgio Fusari L’integrazione della AI nei sistemi embedded rende particolarmente ardua la verifica e validazione del software safety-critical (Fonte: Pixabay) SW TEST | SOFTWARE