|
 Nello sviluppo delle applicazioni critiche per la sicurezza umana l’attività di verifica e validazione (usualmente indicata con l'acronimo V&V) è una delle principali attività da svolgere. Spesso tale attività richiede uno sforzo paragonabile all’attività di progettazione, ed in molti casi è resa obbligatoria dalle norme nazionali ed internazionali sulla sicurezza funzionale, ad esempio dalla IEC 61508, IEC 61511, CENELEC CEI EN 50126/ 50128/ 50129, IEC 61513, ecc.
Quando l’attività di V&V deve essere svolta in conformità ad una delle norme sopra citate, non di rado si riscontrano notevoli difficoltà a soddisfarne i requisiti, in quanto le tecniche e le metodologie richieste sottendono notevoli competenze ed esperienza.
In questi casi HINTSW offre una vasta gamma di servizi che hanno come obiettivo quello di supportare il cliente nell’ottenimento della certificazione o dell'omologazione di sicurezza necessaria.
|
I settori applicativi in cui abbiamo maggiore esperienza soni i seguenti:
- Utility
- Trasporti pubblici
- Distribuzione energia
- Oil & Gas
- Industria di processo
- Apparati elettromedicali
- Settore nucleare
Le tecniche e le metodologie utilizzate da HINTSW per eseguire le attività di V&V, sono quelle richieste dalle norme e sono in linea con lo stato attuale dell’arte e con quanto documentato in letteratura. In particolare abbiamo una pluriennale esperienza nel processo di verifica e validazione del Software secondo il “Modello a V” raccomandato o prescritto dalle norme in ambito di sicurezza funzionale.
|
|
La nostra esperienza tuttavia non è limitata al solo Software, infatti svolgiamo attività di safety assessment anche su apparati e sistemi hardware.
|
In particolare, considerando i tassi di guasto dei singoli elementi, siamo in grado di calcolare la probabilità di guasto di un anello di controllo completo, oppure di un intero sistema di automazione; siamo in grado di valutare la “predisposizione” di un sistema ai guasti di modo comune, di progettare e realizzare i test di auto-diagnostica, di calcolare/ stimare gli intervalli necessari per le manutenzioni periodiche; progettiamo e realizziamo test di prestazione e di integrazione hardware/ software. |
In sintesi HINTSW è in grado di offrire il proprio supporto per l’esecuzione delle seguenti attività di verifica e validazione:
-
Scrittura dei safety case di applicazione generica e di applicazione specifica.
- Preparazione e gestione dell'Hazard Log.
-
Scrittura dei piani di Verifica e Validazione contenenti la pianificazione delle attività di V&V e la selezione delle metodologie e tecniche da utilizzare in tali processi.
-
Pianificazione ed esecuzione delle attività di safety assessment relative alla progettazione di Hardware e Software.
-
Validazione, mediante utilizzo di apposite suite, dei traduttori/ compilatori Software, sia in ambiente simulato, sia su target hardware.
-
Scrittura dei protocolli di test di tipo funzionale, ad esempio scrittura della specifica di test dei requisiti di Sistema e Software.
-
Scrittura dei piani di prova dell’integrazione del Software e di integrazione Hardware/ Software.
-
Scrittura delle specifiche di validazione dei moduli Software.
-
Esecuzione dei casi prova riportati nelle specifiche di test di modulo, di integrazione SW e di integrazione HW/ SW e scrittura dei relativi report di validazione.
-
Esecuzione dei test funzionali in fabbrica (FAT) e in sito (SAT) e scrittura dei relativi rapporti di validazione.
-
Esecuzioni delle attività di verifica pianificate secondo le fasi del ciclo di vita del Sistema e del Software e compilazione dei relativi rapporti.
|
|
In tali attività HINTSW è esperta nell’utilizzo dei seguenti mezzi, tecniche e metodologie:
|
- Validazione di traduttori software e compilatori con utilizzo di suite di validazione dedicate quali ad esempio Plum Hall, sia in ambiente “Hosted” sia in ambienti “Target”.
- Progettazione di protocolli e specifiche di validazione Hardware e Software con tracciatura automatica della copertura dei requisiti e degli standard;
|
-
Ingegneria del software:
-
utilizzo di CASE (ad esempio la suite Rhapsody Architect della Rational);
-
linguaggi di modellazione standardizzati quali UML e SysML (in particolare facendo riferimento alla specifica “UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms Specification”);
-
gestione dei requisiti mediante utilizzo di tool ad esempio dedicati alle funzionalità di analisi dell'impatto, tracciabilità e gestione dei requisiti;
-
applicazione ed utilizzo del “Capability Maturity Model Integration”.
-
Validazione del software applicativo:
-
test per la validazione funzionale del software utilizzando tool dedicati quali ad esempio Cantata, Rational, Simulink, ecc.;
-
creazione di base dati di casi di prova anche con utilizzo di tool dedicati (IBM Optim Version, Rational, ecc.);
-
analisi dinamica del software mediante utilizzo di tool dedicati (Rational, Parasoft, Valgrind, ecc.);
-
harness-test, unit-test e test di integrazione SW e HW/SW;
-
utilizzo di tool per effettuare l’analisi statica e di copertura del codice (Splint, Parasoft, GCov, ecc.);
-
automazione del processo di testing utilizzando PLC oppure mediante sviluppo di tool “ad hoc”;
-
Verifica del software:
-
approccio formale orientato al model checking, utilizzo di tool quali ad esempio Simulink Verification and Validation;
-
verifica della congruenza del software con la documentazione di specificazione facendo uso di strumenti quali base dati, liste di controllo, ecc.
- Validazione di traduttori software e compilatori con utilizzo di suite di validazione dedicate quali ad esempio Plum Hall, sia in ambiente “Hosted” sia in ambienti “Target”.
- Ingegneria del software:
|
