New implementation of Shat-S and SysM-S