Dependability Benchmarking

Dependability benchmarking of computer systems aims to provide generic, reproducible methods for characterising the behaviour of a computing system in the presence of faults. A dependability benchmark must define: i) the target system and the benchmarking context, ii)...

Fault Mitigation

Fault prevention and fault tolerance aim to provide the ability to deliver a service that can be trusted, while fault removal and fault forecasting aim to reach confidence in that ability by justifying that the functional, dependability and security specifications are...

Fault Injection

Fault injection is a testing technique that deliberately introduces faults into a system, and subsequently examines it, to understand how computing systems behave when stressed in unusual ways. The STF group designs and develops fault injection methodologies targeting...
DINAMOS

DINAMOS

Autonomous cars are already a technical reality that has not been tested in depth. The increasing need for reducing time-to-market and costs in the automotive sector, coupled with the human inability to produce complex error-free solutions, is a major impairment to...