Virtual validation technology of maintenance task based on task procedure matching
Method of calculating stack space of μC/OS-Ⅱ task based on tree structure and its application