Resiltech offre consulenza e supporto tecnico all'avanguardia per l'analisi, la progettazione, la verifica e validazione di sistemi critici, coprendo in particolare i seguenti aspetti:

• Modellazione, specifica e verifica di sistemi critici per la sicurezza
• Validazione di sistemi critici per la sicurezza.
• Analisi delle specifiche ed Hazard Analysis di sistemi critici per la sicurezza
• Analisi del mean time between hazardous events (MTBHE)
• Analisi del mean time to failure (MMTF) e mean time to repair (MTTR)
• Fault tree Analysis (FTA)
• Analisi quantitativa attraverso modelizzazione e simulazione
• Failure mode and Effect analysis (FMEA)
• Pianificazione e conduzione di Safety Cases
• Pianificazioni di attività di Verifica e Validazione (V&V Plan)
• Pianificazioni di attività per la sicurezza (Safety Plan)
• Verifica di qualità del SW
• Safety Analisi di microarchitetture HW: Systems on Chip e MCUs

Nel campo della ricerca e sviluppo, le competenze acquisite sono in particolare nel settore della teoria e pratica di sistemi affidabili.

Le due macroaree principali di competenza sono:

1. Architetture e Meccanismi per Sistemi Affidabili;
2. Processi di Verifica & Validazione, in particolare nel campo della Valutazioni Quantitative di QoS (Quality of Service) e Dependability.

I principali temi di ricerca sviluppati negli ultimi anni sono stati i seguenti:

• Meccanismi per sistemi tolleranti ai guasti
• Sviluppo di architetture generiche per sistemi real-time tolleranti ai guasti
• Valutazioni sperimentali di Qualità di Servizio (Quality of Service, QoS) di sistemi

ResilTech propone infine programmi di training personalizzati, sia a industrie che a istituti pubblici.
Proponiamo corsi di alti qualità nelle aree:

• Sistemi e Architetture Safety Critical
• Processi di V&V (Verifica e Validazione)
• Sistemi Affidabili: Fondamenti
• Valutazioni Quantitative di Sistemi Informatici
• Corsi di formazione specifici su standard nazionali e internazionali sulla safety (E.g.: ISO26262)

.