The HEPD particle detector of the CSES satellite mission for investigating seismo-associated perturbations of the Van Allen belts