主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
毋国庆,朱立松,王敏,蔡持峰,陈伟清.嵌入式实时系统的软件需求检测.软件学报,2002,13(5):994-1002
嵌入式实时系统的软件需求检测
Software Requirements Checking of Embedded Real-Time Systems
投稿时间:2000-05-23  修订日期:2001-03-01
DOI:
中文关键词:  嵌入式实时系统  软件需求  需求规格说明  动态执行模型  构图
英文关键词:embedded real-time system  software requirement  requirement specification  dynamic execution model  configuration
基金项目:国家自然科学基金资助项目(69873035);国家教育部博士点基金资助项目
作者单位
毋国庆 武汉大学,软件工程国家重点实验室,湖北,武汉,430072,武汉大学,计算机科学系,湖北,武汉,430072 
朱立松 武汉大学,软件工程国家重点实验室,湖北,武汉,430072,武汉大学,计算机科学系,湖北,武汉,430072 
王敏 武汉大学,软件工程国家重点实验室,湖北,武汉,430072,武汉大学,计算机科学系,湖北,武汉,430072 
蔡持峰 武汉大学,软件工程国家重点实验室,湖北,武汉,430072,武汉大学,计算机科学系,湖北,武汉,430072 
陈伟清 武汉大学,软件工程国家重点实验室,湖北,武汉,430072,武汉大学,计算机科学系,湖北,武汉,430072 
摘要点击次数: 2773
全文下载次数: 3106
中文摘要:
      以需求描述模型HRFSM(hierarchical finite state machines based on rules)为基础,提出了一个嵌入式实时系统软件的动态执行模型(dynamic execution model,简称DEM)和基于该模型的检测方法.由于DEM能将控制流、数据流和时间有效地集成为一体,故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性.该检测方法由3种侧重点不同的检测形式组成,并能在检测过程中提供一些重要的检测信息.分析员可以利用基于该检测方法的工具灵活地对嵌入式实时系统的软件需求进行检测,以提高分析和检测软件需求的效率.
英文摘要:
      On the basis of requirements description model HRFSM (hierarchical finite state machines based on rules), a DEM(dynamic execution model) of embedded real-time systems software and a checking method based on DEM are presented in this paper. Because DEM can integrate with control flow, data flow and time, the checking method can check consistency and completeness of software requirements for embedded real-time systems software. The checking method consists of three forms that checking purposes are different and can provide some important checking information in the checking procking procedure.Analysts can check check software requirements of embedded real-time systems soffectively by using checking tools based on the proposed method so that efficiency of analyzing and checking software requirements can be improved.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利