Requirements specifications checking of embedded real-time software

After introducing the overview of our requirements description model HRFSM, the paper presents a dynamic software execution model (DERTS) of embedded real-time software, which can integrate control flow, data flow and time. Based on DERTS, a checking method is also presented. It consists of three kinds of checking and can check the consistency and completeness of the requirement specifications of embedded real-time software. Besides providing information helpful to improve the efficiency of analyzing and checking specifications, the checking method is flexible, and easy to understand and to use for the analyst.