Automating Crash-Consistency Testing for Persistent Memory (ACT-PM)

Type: National Project Project

Duration: from 2020 Oct 01 to 2021 Sep 30

Financed by: FCT

Prime Contractor: R - INESC-ID Lisboa (Other) - Lisboa, Portugal

The goal of this project is to automate the testing of crash-consistency for both PM as memory and PM as disk applications. This will be achieved by advances in, and a combination of, the following techniques: i) application observability techniques to infer accesses to memory, ii) fault injection techniques that emulate crash scenarios and iii) models that guide the fault injection to crash-sensitive application states. When successful, this exploratory project will advance the state of the art in the above areas and contribute to the development of PM applications and libraries with better crash consistency guarantees.


  • R - INESC-ID Lisboa (Other) - Lisboa, Portugal
  • R - INESC-TEC (Other)

Principal Investigators