Embedded System Resource Scheduling Design and Checking Method and Tool