Research of Health-monitor in High-security Real-time Operating System

• 实时操作系统中健康监控技术研究