We use cookies to improve your experience with our site.

Indexed in:

SCIE, EI, Scopus, INSPEC, DBLP, CSCD, etc.

Submission System
(Author / Reviewer / Editor)
Advanced Search
Volume 17 Issue 1
January  2002
Turn off MathJax
Article Contents
Abstract
Related Articles
WU Guoqing, SHU Fengdi, WANG Min, CHEN Weiqing. Requirements Specifications Checking of Embedded Real-Time Software[J]. Journal of Computer Science and Technology, 2002, 17(1).
Citation: WU Guoqing, SHU Fengdi, WANG Min, CHEN Weiqing. Requirements Specifications Checking of Embedded Real-Time Software[J]. Journal of Computer Science and Technology, 2002, 17(1).
shu

Requirements Specifications Checking of Embedded Real-Time Software

More Information
  • Published Date: January 14, 2002
    Abstract
  • 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.
    • FullText(HTML)
    • References (0)
    • Relative Articles

  • Related Articles

    [1]Yue-Wen Wu, Yuan-Jia Xu, Heng Wu, Lin-Gang Su, Wen-Bo Zhang, Hua Zhong. Apollo: Rapidly Picking the Optimal Cloud Configurations for Big Data Analytics Using a Data-Driven Approach[J]. Journal of Computer Science and Technology, 2021, 36(5): 1184-1199. DOI: 10.1007/s11390-021-0232-4
    [2]Maisam Mansub Bassiri, Hadi Shahriar Shahhoseini. Configuration Reusing in On-Line Task Scheduling for Reconfigurable Computing Systems[J]. Journal of Computer Science and Technology, 2011, 26(3): 463-473. DOI: 10.1007/s11390-011-1147-2
    [3]Sebastian Wallner. Micro-Task Processing in Heterogeneous Reconfigurable Systems[J]. Journal of Computer Science and Technology, 2005, 20(5): 624-634.
    [4]HAN YanBo, ZHAO ZhuoFeng, LI Gang, XING DongShan, LV QingZhong, WANG JianWu. CAFISE: An Approach to Enabling Adaptive Configuration of Service Grid Applications[J]. Journal of Computer Science and Technology, 2003, 18(4).
    [5]MEI Hong, ZHANG Lu, YANG Fuqing. A Component-Based Software Configuration Management Model and Its Supporting System[J]. Journal of Computer Science and Technology, 2002, 17(4).
    [6]WAN Huagen, JIN Xiaogang, BAO Hujun. Direct 3D Painting with a Metaball-Based Paint brush[J]. Journal of Computer Science and Technology, 2000, 15(1): 100-104.
    [7]Li Wei, Zhang Bo, Hilmar Jaschek. Real-Time Collision-Free Path Planning for Robots in Configuration Space[J]. Journal of Computer Science and Technology, 1994, 9(1): 37-52.
    [8]Li Yongcheng, Zhang Bo. A Topological Implementation for Motion Planning of a Robotic Arm[J]. Journal of Computer Science and Technology, 1993, 8(1): 1-10.
    [9]Wang Ke. Polynomial Tests of Normal Forms and Some Related Results[J]. Journal of Computer Science and Technology, 1992, 7(1): 75-82.
    [10]Wang Dingxing, Zheng Weimin, Du Xiaoli, Guo Yike. On the Execution Mechanisms of Parallel Graph Reduction[J]. Journal of Computer Science and Technology, 1990, 5(4): 333-346.
    • Supplements (0)

Catalog

    Get Citation
    PDF
    XML
    Article views (10) PDF downloads (1436) Cited by()
    Related

    Copyright ©2025 JCST, All Rights Reserved     京ICP备05002829号-1

    Institute of Computing Technology, Chinese Academy of Sciences
    P.O. Box 2704, Beijing 100190, P.R. China

    Tel.: 86-10-62610746 E-mail: jcst@ict.ac.cn

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return