a method np_build_hyperplane_powerset for analyzing wcet in np-fp scheduling is added