Keywords: Software Engineering, RAMS & Risk Analysis, Risk Management, Software Assurance Engineering, Advanced Mission Analysis, Mathematical Modelling & Analysis.
DESCRIZIONE GENERALE
Il Laboratorio ISV&V& applica tecniche ingegneristiche per migliorare la Dependability (Affidabilità, Manutenibilità, Disponibilità) e la Safety di sistemi complessi (sistemi di sistemi, infrastrutture critiche) definendo approcci in coerenza con gli standard del dominio di applicazione (ICAO, FAA, EASA, SAE, ECSS, RTCA ). L’offerta comprende tre capacità: ISV&V, RAMS ed Integrazione Logica, finalizzate ad aumentare la safety ed in generale il success rate della missione, riducendo i problemi dovuti al software, hardware e/o all’interfaccia software/hardware.
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 che hanno necessità di definire i livelli adeguati di affidabilità, disponibilità e manutenibilità per i loro prodotti, misurarli e migliorarli ai fini del raggiungimento degli obiettivi di missione e/o della certificazione da parte delle Autorità (ENAC, EASA).
TEMATICHE PRINCIPALI
ISV&V
Software Criticality Assessment, Verifica e Validazione Indipendente del software, Certificazione del software Safety Critical, approcci formali alla modellazione del sistema.
RAMS
Reliability, Availability, Maintainability and Safety Supporto al tradeoff architetturale del sistema, Analisi funzionale del sistema, FMECA, Fault tree, Event tree, RBD, Worst Case analysis, Risk Assessment and Management, Supporto alla certificazione dei sistemi e sottosistemi (according to N. 1702/2003 Part 21 Certification of aircraft Certification of aircraft and related products, parts and appliances, Certification Specifications for Small Rotorcraft CS-27,DO178B…).
INTEGRAZIONE LOGICA
Definizione ed allocazione dei requisiti di sistema, progettazione della telemetria e del traffico dati, progettazione e manutenzione del System Interface Control Document, Modellazione e simulazione del comportamento del sistema.
CAPACITÀ & COMPETENZE PRIMARIE
• Software Reliability Engineering - STQB – Software testing qualifications board certification
• System Safety Engineering, corso sulla certificazione aeronautica Normativa EASA regolamenti 2042/2003 e 1702/2003 UNI EN ISO 9000:2000 e UNI EN AS 9100:2005;
• Standard: ECSS Standard (E-40, Q-30b, Q-40b), CMM, ISO, DO178B, DO278, ICAO Doc 9859, MIL-HDBK-472,MIL-HDBK-470, SAE ARP 4761, SAE ARP 629;
• Linguaggi formali per la definizione dei sistemi e per la verifica di software ad alta integrità, “Automi Ibridi”, Model checking, Reti di Petri, tecniche PVS per analizzare protocolli ed algoritmi real time.
STRUMENTI
SW Proprietari
Strumento automatico di ISV&V per il software criticality assessment e la validazione di affidabilità.
SW Commerciali o non proprietari
Rational Suite , Relex, Matlab, Artisan.
SERVIZI EROGABILI
• Verifica e Validazione Indipendente (automatizzata) del Software per applicazioni safety critical, Metrics definition and measurement, Test case definition and implementation.
• Definizione del traffico dati secondo lo specifico protocollo.
• 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, EASA).
• Assessment dei Rischi (ambientali, antropici, operazionali) qualitativo e quantitativo.
• Analisi Funzionale, FMECA, Fault tree Analysis, Worst Case Analysis.
ALCUNE APPLICAZIONI
• Progettazione ed implementazione dei test di verifica e validazione
• Risk Assessment per ottenere il permit to fly (Hazard identification, FMECA, FAULT tree analysis)
• Analisi dei Rischi delle operazioni ground
• Support alla certificazione dei sistemi e sottosistemi (according to N. 1702/2003 Part 21 Certification of aircraft Certification of aircraft and related products, parts and appliances, Certification Specifications for Small Rotorcraft CS-27,DO178B…)
• Definizione dei requisiti di sistema per i sistemi di surveillance e le infrastrutture critiche
• System Architectural Tradeoff analysis for System of systems
PROGETTI IN CORSO
• VEGA System Worst case analysis, VEGA Launcher Ground Operation Risk Analysis
• Support to system and subsystem certification (according to N. 1702/2003 Part 21 Certification of aircraft and related products, parts and appliances, Certification Specifications for Small Rotorcraft CS-27,DO178B…)
• Verification and validation test design and implementation for a software application for numerical/experimental data storage and comparison (MIUR, ACADEMIA) (CAST, ASI)
• Italian Unmanned Space Vehicle Risk Assessment to obtain permit to fly (Hazard identification, FMECA, FAULT tree analysis)
• System Requirement Definition for a High Altitude Performance Demonstrator
• System Architectural Tradeoff analysis for EMPA LTA platform (Environmental Monitoring Performed by Advanced Sensors And LTA Platforms Supporting Urban And Suburban Early Warning Actions)
CUSTOMER & PARTNERS
ELV, ESA, PMI, Ministeri
ONERA, NLR,Thales, ELSAG, SSI, Università
Contatto
Angela Vozella
Tel. +39 0823 623723
email: a.vozella@cira.it
TORNA AL MENU'
|