ResilTech can offer leading-edge consultancy and technical support for the analysis, design, verification and validation of critical systems, covering all the involved aspects:

• Modelling, specification, validation and verification of safety critical systems
• Analysis of the Specifications and Hazard Analysis of safety critical systems
• Analysis of Mean Time Between Hazardous Events (MTBHE)
• Analysis of mean time to failure (MMTF) and mean time to repair (MTTR)
• Fault tree Analysis (FTA)
• Quantitative analysis through Modelling and Simulation
• Failure Mode and Effect Analysis (FMEA)
• Planning and management of Safety Cases
• Verification and Validation activities planning (V&V Plan)
• Planning of activities for the safety (Safety Plan)
• Software Quality verification
• Software/tool development
• Safety Analysis of HW microarchitectures: Systems on Chip and MCUs

ResilTech has a leading-edge expertise in both basic and applied ICT research and technological development, in particular in the field of the theory and practice of resilient systems.
The expertise is mainly in two macro areas:

1. Architectures and Methodologies for Resilient Systems
2. V&V Processes, focusing in particular on Dependability and Quality of Service (QoS) Quantitative Evaluation

ResilTech is offering on demand Professional High Quality Training Courses on several topics related to Resilient Computing and Functional Safety including:

• Safety Critical Systems and Architectures
• V&V Processes
• Fundaments of Dependability of Computing Systems
• Quantitative Evaluation of Resilient Computing Systems
• National and International safety standard specific courses (E.g.: ISO26262)