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

• Reliability certification method for real-time multitasking software