The dynamic checking of complex real time system
Yu Chao, Huang Ben-wen, Guoqing Wu · Wuhan University Journal of Natural Sciences · 2006
The paper presents an dynamic execution model of complex real-time software based on requirement description model RTRSM, and then propose a checking method based on configuration covering and its corresponding algorithm. This checking method can check the execution situations between parallel elements in a dynamic execution step of real-time software systems. It also can check all the states and transitions which assure the completeness of checking. In the end, related theorem is proofed.