Requirements specifications checking of embedded real-time software

被引：4
|
作者：
Wu, GQ [1 ]
Shu, FD [1 ]
Wang, M [1 ]
Chen, WQ [1 ]
机构：
[1] Wuhan Univ, Dept Comp Sci, State Key Lab Comp Software Engn, Wuhan 430072, Peoples R China
来源：
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2002年 / 17卷 / 01期
关键词：
embedded real-time software; software requirement; requirements specification; dynamic execution model; configuration;
D O I：
10.1007/BF02949825
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：56 / 63
页数：8
相关论文
共 50 条
  • [1] Requirements specifications checking of embedded real-time software
    Guoqing Wu
    Fengdi Shu
    Min Wang
    Weiqing Chen
    [J]. Journal of Computer Science and Technology, 2002, 17 : 56 - 63
  • [2] Type checking for software system specifications in real-time process algebra
    Liu, CW
    Tan, XM
    [J]. DCABES 2004, PROCEEDINGS, VOLS, 1 AND 2, 2004, : 1077 - 1083
  • [3] Model checking UML specifications of real time software
    Del Bianco, V
    Lavazza, L
    Mauri, M
    [J]. EIGHTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2002, : 203 - 212
  • [4] A Requirements Engineering Environment for Embedded Real-Time Software—SREE
    LI Yonghua~ 1
    2. Department of Computer
    [J]. Wuhan University Journal of Natural Sciences, 2006, (03) : 533 - 538
  • [5] A REUSE BASE FOR REAL-TIME SOFTWARE SPECIFICATIONS
    IHME, T
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1989, 27 (1-5): : 639 - 646
  • [6] Process model for efficient implementations of graphical specifications in the field of embedded real-time software
    Orehek, M
    Harms, P
    [J]. PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2004, : 499 - 504
  • [7] Safety aspects of generic real-time embedded software model checking in the fuzing domain
    Larisch, M.
    Siebold, U.
    Haering, I.
    [J]. ADVANCES IN SAFETY, RELIABILITY AND RISK MANAGEMENT, 2012, : 2678 - 2684
  • [8] A Course in Real-Time Embedded Software
    Archibald, J.
    Fife, W.
    [J]. COMPUTER SCIENCE EDUCATION, 2007, 17 (02) : 97 - 106
  • [9] A Method to Generate Embedded Real-Time System Test Suites Based on Software Architecture Specifications
    Ye, Junmin
    Dong, Wei
    Qi, Zhichang
    [J]. PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE FOR YOUNG COMPUTER SCIENTISTS, VOLS 1-5, 2008, : 2325 - 2329
  • [10] Model Checking of Real-Time Properties for Embedded Assembly Program Using Real-Time Temporal Logic RTCTL and Its Application to Real Microcontroller Software
    Wu, Yajun
    Yamane, Satoshi
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2020, E103D (04): : 800 - 812
12345