Skip to main content
SpringerLink
Log in

Requirements specifications checking of embedded real-time software

  • Correspondence
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Heitmeyer C L, Jeffords R D, Labaw B G. Automated consistency checking of requirements specifications.ACM Trans. on Software Eng. and Methodology, 1996, 5(3): 231–261.

    Article  Google Scholar 

  2. Atlee J M, Gannon J. State-based model checking of event-driven system requirements.IEEE Trans. Software Eng., 1993, 19(1): 25–39.

    Article  Google Scholar 

  3. Wu Guoqing, Liu Xiang, Ying Shi. Automated analysis of the SCR-style requirements specifications.J. of Computer Science and Technology, 1999, 14(4): 401–407.

    Article  Google Scholar 

  4. Mats P E Heimdahl, Nancy G Levenson. Completeness and consistency in hierarchical state-based requirements.IEEE Trans. Software Eng., 1996, 22(6): 363–377.

    Article  Google Scholar 

  5. Matthew S Jaffe, Nancy G Levenson, Mats P E Heimdahl, Bonnie E Melhart. Software requirements analysis for real-time process-control systems.IEEE Trans. Software Eng., 1991, 17(3): 241–258.

    Article  Google Scholar 

  6. Harel D. Statecharts: A visual formalism for complex systems.Science of Computer Programming, 1987, 28: 231–274.

    Article  MathSciNet  Google Scholar 

  7. Zave P. An insider’s evaluation of PAISLey.IEEE Trans. Software Eng., 1991, 17(3): 212–225.

    Article  Google Scholar 

  8. Nancy G Leveson, Mats P E Heimdahl, H Hildreth, J D Reese. Requirements specification for process control systems.IEEE Trans. Software Eng., 1994, 20(9): 689–707.

    Article  Google Scholar 

  9. Auernheimer B, Kemmerer R A. RT-ASLAN: A specification language for real-time systems.IEEE Trans. Software Eng., 1986, 12(9): 879–889.

    Google Scholar 

  10. Alberto Coen Porisini, Carlo Ghezzi, Richard A Kemmerer. Specification of realtime system using ASTRAL.IEEE Trans. Software Eng., 1997, 23(9): 572–598.

    Article  Google Scholar 

  11. Gray Booch, James Rumbaugh, Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1999.

  12. Angelo Gargantini, Constance Heitmeyer. Using model checking to generate tests from requirements specifications.Software Eng. Notes, 1999, 24(6): 147–162.

    Article  Google Scholar 

  13. Jeffrey M Thompson, Mats P E Heimdahl, Steven P Miller. Specification-based prototyping for embedded systems.Software Eng. Notes, 1999, 24(6): 163–179.

    Article  Google Scholar 

  14. William Chan, Richard J Andson, Paul Beame, David Notkin. Improving efficiency of symbolic model checking for state-based system requirements.Software Eng. Notes, 1998, 23(2): 102–111.

    Article  Google Scholar 

  15. Kim Y G, Hong H S, Bae D H, Cha S D. Test cases generation from UML state diagrams.IEE Proceedings Software, 1999, 146(4): 187–192.

    Article  Google Scholar 

  16. Stocks P, Carrington D. A framework for specification-based testing.IEEE Trans. Software Eng., 1996, 22(11): 777–793.

    Article  Google Scholar 

  17. Wu Guoqing, Xiao Haifeng, Zheng Pen, Ying Shi. Specifying requirements of real-time system with rules and templates.Wuhan University J. of Natural Sciences, 2000.

  18. Bruno Dutertre, Victoria Stavridou. Formal requirements analysis of an avionics control system.IEEE Trans. Software Eng., 1997, 23(5): 267–277.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

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

    Guoqing Wu, Fengdi Shu, Min Wang & Weiqing Chen

Authors
  1. Guoqing Wu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Fengdi Shu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Min Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Weiqing Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Guoqing Wu.

Additional information

This work is supported by the National Natural Science Foundation of China, grant No.69873035.

WU Guoqing is a professor of computer science in the Department of Computer Science, Wuhan University. His research interests include requirements engineering, software engineering and knowledge engineering.

SHU Fengdi received her B.S. degree in computer software and M.S. degree in computer application from Wuhan University in 1997 and 2000, respectively. She is currently pursuing a Ph.D. degree in computer software and theory. Her research interests are requirements engineering, formal theories and methods.

WANG Min is currently pursuing her M.S. degree in computer software. Her research interest is software engineering.

CHEN Weiqing is currently pursuing his M.S. degree in computer software. His research interests include requirements engineering and software development.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wu, G., Shu, F., Wang, M. et al. Requirements specifications checking of embedded real-time software. J. Comput. Sci. & Technol. 17, 56–63 (2002). https://doi.org/10.1007/BF02949825

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02949825

Keywords

Search

Navigation