国家高技术研究发展计划(2005AA1Z2120)
- 作品数：5 被引量：35H指数：4
- 相关作者：桑楠郭文生刘奎安凡志刚高卓更多>>
- 相关机构：电子科技大学中国电子科技集团第十研究所更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- EFSM模型的实时测试序列生成方法
- 嵌入式实时软件测试的一个重要研究内容是如何有效验证生成的测试用例是否满足系统的实时性要求。本文在传统EFSM模型的基础上加入时间约束条件,结合基于EFSM模型UIO测试序列生成方法,提出了一种实时性测试序列的生成方法。该...
- 李秀华桑楠雷航吴晓华
- 关键词：扩展有限状态机DIJKSTRA算法AOE网
- 文献传递
- 一种基于蜂窝网格的传感器节点部署算法被引量：16
- 2008年
- 传感器节点的部署是无线传感器网络研究的一个重要分支。证明了传感器节点覆盖圆盘与其邻居节点覆盖圆盘的交点构成正六边形蜂窝时,有效覆盖面积最大;提出了一种基于蜂窝网格的传感器节点部署算法,通过仿真与已有的基于方形网格的部署算法进行比较,结果证明:本算法能更有效地控制成本。
- 凡志刚郭文生桑楠
- 关键词：无线传感器网络网格
- 嵌入式软件可靠性测试系统及其通信研究
- 传统的嵌入式软件测试系统,不论是单机结构还是分布式结构,在长时间运行的嵌入式软件可靠性测试时,在数据传输方面存在实时性差,网络延迟不确定的缺点。本文采用交换式以太网技术,提出一种星型拓扑嵌入式软件测试系统原型。通过对IE...
- 赵朝俊雷航唐雪飞吴晓华
- 关键词：嵌入式星型拓扑交换式以太网EDF
- 文献传递
- 智能家电嵌入式软件的源码构件设计方法被引量：7
- 2007年
- 通过对家电控制器常用MCU体系结构、程序设计语言、家电功能及外设驱动源码研究,提出了一种形式化的嵌入式软件的源码构件和程序代码的设计方法。介绍了源码构件层次体系和逻辑模式;定义了源码构件运算符;给出了构件及应用代码的形式化生成;并以重用因子K为标准,辅助衡量源码构件的代码片段划分和设计的合理性。该方法具有很好的实用性、可扩展性和通用性。
- 邓勇桑楠罗克露高卓
- 关键词：智能家电源码构件
- 源码构件开发平台的设计
- 2009年
- TinyOS是针对无线传感器网络(WSN)节点而设计的源码构件操作系统,采用构件化描述语言nesC进行开发。目前,由于缺乏系统配套的构件管理工具和开发平台,开发TinyOS上的系统和应用构件存在一定困难。通过对TinyOS的源码构件模型及其构件描述语言nesC的分析研究,设计了一种TinyOS源码构件开发平台,其具有清晰简明源码构件开发流程和方便管理源码构件及其接口等功能。根据设计分析和实际使用,此开发平台具有良好的扩展性,能有效地简化开发流程,提高开发效率。
- 刘奎安李涛袁苑
- 关键词：软件开发技术源码构件无线传感器网络
- 基于时间Petri网产生测试序列的方法
- 有限状态机（FSM）模型不利于描述并行活动的同步性。而扩展有限状态机（EFSM） 因增加了操作和迁移的前置条件,导致存在不可达状态。因此,提出用时间Petri网（Time Petri Net）模型描述实时系统并产生测试序...
- 唐乐雷航吴晓华
- 关键词：FSMEFSM时间PETRI网实时系统
- 文献传递
- TinyOS任务调度机制与实时调度构件设计被引量：6
- 2007年
- TinyOS是一个开源的构件化操作系统,它采用构件化描述语言nesC进行开发,主要针对资源非常有限的无线传感器网络节点而设计。分析了TinyOS-2.x的任务调度机制,针对其在实时应用领域的调度缺陷,设计并实现了一种软实时任务调度构件。根据构件在TOSSIM仿真器中的验证分析,能有效增强TinyOS的实时性能。
- 刘奎安郭文生桑楠
- 关键词：无线传感器TINYOSTOSSIM
- TinyOS集成开发环境的设计与实现被引量：7
- 2008年
- TinyOS是针对资源非常有限的无线传感器网络节点而设计的构件化操作系统,采用构件化描述语言nesC进行开发。由于采用基于构件的软件工程(CBSE)技术,TinyOS可以看成是一个构件库,简化了无线传感器节点上的应用程序设计,但目前缺乏系统配套的构件管理工具和高效集成开发环境(IDE)。分析了构件化描述语言nesC和TinyOS的开发过程,设计并实现了一种构件化集成开发环境及其构件管理器。根据分析和实际使用,该开发环境能有效地简化开发流程并提高开发效率。
- 郭文生刘奎安桑楠
- 关键词：无线传感器网络TINYOS集成开发环境NESC
