Requirements

Ability to simulate a computer system, with all its functionalities, its processing elements, memory modules and interconnection structures.
Fault-injection under realistic fault-scenarios.
Error detection mechanisms.
Message logging methods.
Checkpointing and recovery techniques.
Message validation and commit techniques.
Stable storage and duplex memory capabilities.
Measurement and presentation capabilities.