Affianchiamo lo sviluppo software con attività strutturate di verifica, validazione e test, integrando analisi statica del codice, test di unità e di integrazione continua, fino a test funzionali su banco. Definiamo strategie di test risk-based per concentrare gli sforzi sulle parti più critiche del sistema e supportare la conformità agli standard di settore.

L’approccio si estende lungo l’intero ciclo di vita del software, facendo leva su ambienti di test virtuali e configurazioni hardware/software in the loop per garantire tracciabilità, controllabilità e dimostrabilità delle scelte progettuali. In questo modo supportiamo i clienti nel raggiungimento della validazione e della conformità alle normative di riferimento del proprio settore (ferroviario, automotive, biomedicale, automazione industriale e altri contesti safety-critical) assicurando software verificabile, robusto e pronto per i processi di valutazione e certificazione.

I principali servizi offerti sono:

• Verifica documenti di design con stesura di Verification e Validation Report
• Critical code Review su sistemi safety critical
• Verifica delle regole di buona programmazione o MISRA C/C++
• Test del software su host a diversi livelli di integrazione con tool certificati (white e black box)
• Test del software su target in laboratorio a diversi livelli
• Supporto al design per il debugging, con analisi delle anomalie sollevate
• Validazione completa di tool per la configurazione di sistemi safety-critical (T3 [EN50128], TCL3 [ISO26262] e di debita classe per [IEC62304])
• Progettazione e sviluppo di simulatori e test bench
• Stesura di script per l’automazione dei test

Standard di riferimento

EN50126, EN50128, MISRA C/C++, ISO 26262, IEC 62304, EN50159

CASE HISTORY: