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 条
  • [41] Energy management for real-time embedded systems with reliability requirements
    Zhu, Dakai
    Aydin, Hakan
    [J]. IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, ICCAD, 2006, : 696 - +
  • [42] Optimizing Stack Memory Requirements for Real-time Embedded Applications
    Zeng, Haibo
    Di Natale, Marco
    Zhu, Qi
    [J]. 2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
  • [43] REAL-TIME PROGRAMMING SPECIFICATIONS
    HEAD, RV
    [J]. COMMUNICATIONS OF THE ACM, 1963, 6 (07) : 376 - 383
  • [44] Refactoring Real-time Specifications
    Smith, Graeme
    McComb, Tim
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 214 (0C) : 359 - 380
  • [45] Decomposing real-time specifications
    Olderog, ER
    Dierks, H
    [J]. COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 465 - 489
  • [46] Supporting the analyst when reasoning on requirements specifications for real-time and distributed systems
    Zeippen, JM
    Dubois, E
    Du Bois, P
    [J]. FIRST INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC '98), 1998, : 215 - 219
  • [47] Cross-testing research of embedded real-time software
    He Fugui
    Hou Yibin
    [J]. ISTM/2007: 7TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-7, CONFERENCE PROCEEDINGS, 2007, : 49 - 52
  • [48] Reliable and Efficient Concurrent Synchronization for Embedded Real-Time Software
    Dechev, Damian
    Stroustrup, Bjarne
    [J]. SMC-IT 2009: THIRD IEEE INTERNATIONAL CONFERENCE ON SPACE MISSION CHALLENGES FOR INFORMATION TECHNOLOGY, PROCEEDINGS, 2009, : 323 - 330
  • [49] Software architecture synthesis for retargetable real-time embedded systems
    Chou, P
    Borriello, G
    [J]. PROCEEDINGS OF THE FIFTH INTERNATIONAL WORKSHOP ON HARDWARE/SOFTWARE CODESIGN (CODES/CASHE '97), 1997, : 101 - 105
  • [50] Real-Time Embedded Software Design for Mobile and Ubiquitous Systems
    Hsiung, Pao-Ann
    Lin, Shang-Wei
    Lin, Chao-Sheng
    [J]. JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2010, 59 (01): : 13 - 32
12345