Requirements specifications checking of embedded real-time software

  • Authors:

  • Wu Guoqing;Shu Fengdi;Wang Min;Chen Weiqing

  • Affiliations:

  • State Key Lab of Computer Software Engineering, Department of Computer Science Wuhan University, Wuhan 430072, P.R. China;State Key Lab of Computer Software Engineering, Department of Computer Science Wuhan University, Wuhan 430072, P.R. China;State Key Lab of Computer Software Engineering, Department of Computer Science Wuhan University, Wuhan 430072, P.R. China;State Key Lab of Computer Software Engineering, Department of Computer Science Wuhan University, Wuhan 430072, P.R. China

  • Venue:
  • Journal of Computer Science and Technology
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.