NUCLEO DI COMPETENZE
• Software Engineering, Software Assurance Engineering
• Risk Management, Safety Engineering and Assurance, System Safety, Reliability & Maintainability Engineering & Assurance, Advanced Mission Analysis
• Decision Making and Risk Management Fundamental Research, Simulation Systems, Intelligent/Adaptive Systems
CAPACITA' APPLICATIVE
Capacità nel definire i requisiti di sistema, allocarli ai vari sottosistemi (hardware, software, operatori) garantendo il rispetto dei livelli adeguati di safety e dependability armonizzandoli con gli aspetti di security, modellando il sistema e simulandolo facendo la valutazione dei rischi per la configurazione del sistema identificata.
La peculiarità risiede nell’approccio olistico che permette di guardare al sistema di sistemi come un tutto uno: gestendone i suoi dati ed i relativi protocolli di comunicazione, così come le sue proprietà di safety e dependability rispetto a tutte le sue componenti hardware/software secondo i necessari livelli di affidabilità, disponibilità e manutenibilità, misurando e migliorando questi ai fini del raggiungimento degli obiettivi di missione e/o della certificazione da parte delle Autorità (ENAC, EASA).
ESPERIENZE MATURATE
• Verifica e Validazione Indipendente (automatizzata) del Software per applicazioni safety critical Definizione ed applicazione di metriche quantitative, definizione ed implementazione dei test case.
• Definizione del traffico dati secondo lo specifico protocollo e progettazione/implementazione del data handling.
• Armonizzazione degli aspetti di Safety e Security (Integrity Assurance) per l’intero sistema.
• Supporto al processo di Certificazione dei Sistemi verso le Autorità competenti (ENAC, EASAhttp://www.cira.it/html/italiano).
• Assessment dei Rischi (ambientali, antropici, operazionali) qualitativo e quantitativo, Analisi Funzionale, FMECA, Fault Tree Analysis, Worst Case Analysis.
• Modellazione, simulazione e verifica del sistema attraverso Automi finiti, reti di Petri, logica formale
Progetti di riferimento
• VEGA SYSTEM (ESA) RAMS ANALYSIS
• Progetto ISV&V per Ministero sviluppo economico
• Certificazione del software safety critical (DO178B)
• EMPA definizione dei requisiti di sistema, tradeoff architetturale, progettazione del traffico di dati terra-bordo
• KA2HT_CERT supporto alla certificazione dell’elicottero e del motore.
TORNA AL MENU'
|