Project: HyProS-D