嵌入式实时软件

作品数:143被引量:171H指数:9
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:舒风笛毋国庆张广泉林苗戎玫更多>>
相关机构:武汉大学电子科技大学苏州大学暨南大学更多>>
相关期刊:更多>>
相关基金:国家自然科学基金重庆市自然科学基金国家高技术研究发展计划江苏省高校自然科学研究项目更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 基金=王宽诚敎育基金x
条 记 录,以下是1-1
视图:
排序:
一种面向嵌入式实时软件的需求建模语言
《计算机科学》2005年第2期114-120,共7页舒风笛 毋国庆 
Supported by the National Natural Science Foundation of China under Grant No.69873035.60273026(国家自然科学基金);the K.C.Wong Education Foundation;Hong Kong(王宽诚教育基金)
针对嵌入式实时系统复杂动态交互行为和严格实时的领域特征,提出了一种软件需求规约语言RTRSM。该语言以扩充的层次并发有穷状态机HCA为核心,以支持合成的模板为基本组成单元。利用转换有效期和事件预定机制来描述时间限制,既具有较强...
关键词:嵌入式实时软件 需求建模 操作语义 交互行为 嵌入式实时系统 软件需求 形式语义 语言 严格 支持 
检索报告 对象比较 聚类工具 使用帮助 返回顶部