Menu

help

Nello sviluppo delle applicazioni critiche per la sicurezza umana l'attività di validazione è una delle attività più importanti da svolgere, ed è considerata come l'attività fondamentale per minimizzare gli errori sistematici. Spesso tale attività richiede uno sforzo paragonabile all'attività di progettazione, ed ormai è quasi sempre normata, ad esempio dagli standard internazionali sulla sicurezza funzionale: IEC 61508, IEC 61511, CEI EN 62061, CENELEC CEI EN 50126/ 50128/ 50129, IEC 61513, eccetera.

Quando l'attività di validazione 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. Anche in questi casi HINTSW – T&T Systems offre una vasta gamma di servizi che hanno come obiettivo quello di supportare il cliente in tutto l'iter di validazione fino all'ottenimento dell'eventuale certificazione o omologazione di sicurezza.

Le tecniche e le metodologie utilizzate da HINTSW – T&T Systems per eseguire le attività di validazione, sono quelle richieste dalle norme internazionali e sono in linea con lo stato attuale dell'arte e con quanto documentato in letteratura. In particolare HINTSW – T&T Systems ha una esperienza pluriennale nel processo di verifica e validazione del Software secondo il "Modello a V" raccomandato o prescritto da molte norme nell'ambito della sicurezza funzionale.


SoftwareValidation-2

Attività di validazione

In sintesi HINTSW –T&T Systems è in grado di offrire il proprio supporto per l'esecuzione delle seguenti attività di validazione:

  • scrittura dei piani di Verifica e Validazione contenenti la pianificazione delle attività di Verifica e Validazione (V&V) e la selezione delle metodologie e tecniche da utilizzare in tali processi;

  • scrittura dei protocolli di test di tipo funzionale, ad esempio scrittura della specifica di test dei requisiti del software;

  • scrittura dei piani di prova di 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 software e di integrazione HW / SW compresa la compilazione dei relativi report di validazione;

  • esecuzione dei test funzionali in fabbrica (FAT) e in sito (SAT) e scrittura dei relativi rapporti di validazione;

  • validazione, mediante utilizzo di apposite suite, dei traduttori/ compilatori software, sia in ambiente simulato, sia su target hardware.

 


Bug-lifecycleTecniche di validazione

Nelle attività di validazione HINTSW – T&T Systems è 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 con tracciatura automatica della copertura dei requisiti;

  • test per la validazione funzionale del software utilizzando tool dedicati quali ad esempio Cantata, Rational, Simulink, eccetera;

  • creazione di base dati di casi di prova con utilizzo di tool dedicati (IBM Optim Version, Rational, eccetera);

  • analisi dinamica del software mediante utilizzo di tool dedicati (Rational, Parasoft, Valgrind, eccetera);

  • harness testing;

  • utilizzo di tool per effettuare l'analisi statica e di copertura del codice (Splint, Parasoft, GCov, eccetera);

  • automazione del processo di testing utilizzando PLC oppure mediante sviluppo di tool "ad hoc".

Contatti

Telefono: +39 02.2897.0440; +39 02.2871.305
Fax: +39 02.9475.8909

Info generali: Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo.

Info commerciali: Questo indirizzo email è protetto dagli spambots. È necessario abilitare JavaScript per vederlo.
Rif. commerciale: +39 340.3466.704

Sede legale: I-20129 Milano, via Plinio 1
Uffici: I-20127 Milano, via Natale Battaglia, 27

Più informazioni ...

Settori di attività

Settori

HINTSW - T&T Systems opera da oltre un decennio nell'ambito della sicurezza funzionale dei principali settori industriali e dei trasporti pubblici.

Più informazioni ...

Consulenza

consulting

La divisione HINTSW fornisce consulenze altamente professionali e specializzate per lo sviluppo di sistemi elettronici programmabili utilizzati in applicazioni critiche per la sicurezza umana.

Più informazioni ...

Certificazione di sicurezza

certificazione

La certificazione di sicurezza di un sistema o di un apparato è spesso una sfida ardua da vincere, HINTSW fornisce tutto il supporto e il know-how necessari per poterla vincere brillantemente.

Più informazioni ...

Formazione

formazione

HINTSW, attingendo dalle proprie competenze, propone una vasta gamma di servizi nell'ambito della formazione professionale.

Più informazioni ...

Go to top