The state transition diagram was used as the system protocol to describe the correctness of the system behavior. Then the model-based virtual test of spacecraft was realized, and the virtual test ...

Energy aware task scheduling algorithm allocates tasks on different elements under process and schedules the execution. Dynamic task mapping is applied to improve the performance of NoC and also to ...