BDD init
SCAT2 pdf