Reliability certification method for real-time multitasking software

• 一种实时多任务软件可靠性验证方法