Requirements Specifications Checking of Embedded Real-Time Software

After introducing the overview of ourrequirements description model HRFSM, the paper presents a dynamicsoftware execution model (DERTS) of embedded real-time software, whichcan integrate control flow, data flow and time. Based on DERTS, achecking method is also presented. It consists of three kinds ofchecking and can check the consistency and completeness of the requirementspecifications of embedded real-time software. Besides providinginformation helpful to improve the efficiency of analyzing and checkingspecifications, the checking method is flexible, and easy to understandand to use for the analyst.