Profilo
Ha un’esperienza quindicennale nel campo dello sviluppo e della verifica e validazione, integrazione e test di complessi sistemi software nei settori navale, avionico e delle alte tecnologie. È stato impiegato come software analyst e come software test engineer presso diverse aziende di consulenza:

    • dal 2001 al 2002 Integrasistemi srl
    • dal 2003 al 2009 Itaco srl
    • dal 09/2009 InterConsulting srl

Avendo l’opportunità di svolgere la sua attività per clienti qualificati e grandi aziende nei settori della difesa, dell’energia e delle telecomunicazioni.

Esperienze lavorative
    • 2018, c/o Interconsulting – porting da excel a xml di file in formato tabellare tramite tool Xmltools.xla
    • 2016-2017, c/o Interconsulting – user-testing tramite ispezione visiva di vari applicativi web con segnalazione di “problem report” ed analisi dei difetti/bugs individuati
    • 2015-2017, c/o Interconsulting – impiegato su varie attività come: stack analysis, source code analysis, preparazione template documentazione 
    • 2011-2015, c/o Northrop Grumman Italia SpA – unit/integration testing di software avionico e Source Code Analysis, in particolare di sistemi inerziali (Vectorcast 5.0l per Ada, Gnat e Greenhills Adamulti, ambienti Windows 7 e Unix Sun Solaris) e sistemi di navigazione (Vectorcast 3.0 per Ada, Apex e Greenhills Adamulti, ambienti Windows 7 e Unix Sun Solaris).
    • 2014-2015, per Selex Es – unit test In Black Box/White Box requirement based su software in C, su un sottosistema di un convertiplano Augusta Westland, source code analysis (c, assembly) e stack analysis (c, Microsoft Excel) del firmware, validazione Api di una memoria Flash di Texas Instruments
    • 2011–2014, per Alenia Aermacchi SpA – Analisi del codice sorgente e dell’occupazione statica di memoria (con calcolo di upper bounds) di vari CSCI del programma M346 (LDRA Testbed, QAC++, Ada, C); analisi statica, test di unità e funzionale di vari componenti (CSCI) del programma M346 e revisione e coerenza con requisiti, tracciabilità, di SDD, STD, SRS, SVCP in accordo con DO-178B. (Vectorcast 5.0l in ambiente host/Windows, Understand). Testing e validazione del tool Spark Examiner, derivato di Spark (Windows, Ada95, gps, gnat).
    • 2009–2015 per Selex Es Muas/Selex Galileo – Analisi statica del codice sorgente e dell’occupazione statica di memoria (con calcolo di upper bounds) di alcuni CSCI (anche revisione STD, SRS) per il velivolo M346 ed un drone, analisi di Coverage. (Understand, Microsoft Excel, VectorCOVER, C, Ada, Assembly, Fortran), test di unità/funzionale in C sul software di navigazione del drone.
    • 2011, c/o Alenia Aeronautica SpA – Hardware/Software test Integration per alcuni progetti del programma Eurofighter, test di simulazione per alcuni progetti del programma EFA, analisi occupazione statica di memoria per alcuni componenti sw del programma ASW, Source Code Analysis su un software avionico safety-critical di Eurofighter.
    • 2009, per ElsagDatamat SpA – unit software testing ed analisi branches e LSAJ coverage di un componente sw (ADA83/95 in ambiente Windows, GNAT, LDRA Testbed) per programma M346
    • 2008, 2009, c/o Datamat SpA – progetto MDLP (Multi Data-Link Processor); sviluppo di test del componente di gestione del protocollo Link22; test di sistema di un software di interfaccia uomo-macchina per sistemi di comando e controllo, in linguaggio proprietario Valid; implementazione e test in C++ del protocollo NATO STANAG 5616 (conversione Link 22 – Link 16).
    • 2009, per Terna SpA – sviluppo di alcuni moduli in C di un software in un progetto per la difesa della rete elettrica nazionale: (C, Open VMS, MySQL in ambiente Linux) e realizzazione di alcuni algoritmi (UML)
    • 2001-2008, c/o Datamat SpA – progetto MTC (Mission Tactical Computer) del programma NH90 (elicottero navale NATO); sviluppo software del componente di gestione del protocollo Link11 (linguaggio Ada in ambiente Unix/Sun Solaris), test di sistema (Valid/Unix) e test di unità (Adatest in ambiente Windows).
    • 2004-2005, c/o Datamat SpA – progetto TDL (Tactical Data Link) del programma NUM (“Nuova Unità Maggiore”; test di sistema e qualifica del modulo di gestione dei messaggi Link 11 (linguaggio Valid in ambiente Linux).
    • 2001, Trasferimento Processi srl –  Consulente QA per la certificazione ISO 9001.

Istruzione
    • Diploma di Maturità Scientifica (luglio 1992)
    • Studi universitari con frequenza in Scienze Politiche

Formazione professionale
    • Corso di Business English (2011) votazione 81/100, livello intermediate 
    • Corso di aggiornamento in Programmazione C/C++ (2010) 
    • Corso Java Standard Edition (2008) certificazione Sun moduli SL-110 e SL-275
    • Corso di Programmazione in C/C++ (2000)
    • Corso su Vba/MS Access (2000)

Competenze
    • Sistemi operativi
    • Unix Sun Solaris
    • GNU/Linux
    • Windows 2000, XP, Vista, 7, 8, 10

    • Linguaggi di programmazione, di test, di progettazione
    • C, Ada
    • Java SE, Javascript, Visual Basic 6.0, VBA
    • Adatest, Valid
    • UML, SysMl
    • SQL standard

    • DBMS
    • MS Access, MySql

    • Protocolli di comunicazione/ codifica software
    • STANAG 5511, 5516, 5522, 5616
    • RTCA-DO-178B

    • Software per controllo di configurazione o di controllo di versioni
    • MS Visual Source Safe
    • IBM Rational Clear Case
    • CVS
    • IBM Team Concert Eclipse

    • Tools
    • Understand Analyst, QAC++, LDRA Testbed, Source Code Analysis & Metrics
    • VectorSoftware VectorCast 5.0l, VectorSoftware VectorCast 3.0, VectorCOVER (utente)    utente
    • Telelogic Doors

Lingue
    • Inglese, livello intermediate
    • Rumeno, pochi rudimenti
Servizio Militare
    • Assolto in Aereonautica Militare con il grado di Primo Aviere c/o base di Pratica di Mare 1994/1995