马铮
- 作品数：3 被引量：2H指数：1
- 供职机构：湖北汽车工业学院电气与信息工程学院更多>>
- 发文基金：湖北省自然科学基金湖北省高等学校优秀中青年科技创新团队计划项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于AADL的汽车车身控制模块可调度性分析
- 2016年
- 针对汽车车身控制模块可调度性难以预测分析的问题,利用AADL建立相应模型,通过OSATE工具对比分析不同的派遣协议、执行时间、线程周期对任务及系统可调度性的影响,借助Cheddar工具给出任务在仿真时间内的详细调度甘特图。结果表明:此方法能准确、快速、直观地进行可调度性判定,方便设计者在设计初期对系统进行优化分析。
- 马铮周海鹰黄连丽陶冰冰
- 关键词：AADL可调度性CHEDDAR
- 一种结合AADL和TPN的系统能耗建模方法被引量：1
- 2017年
- 结构分析设计语言(AADL)可以描述嵌入式系统的实时性、可靠性等关键性能特性,是嵌入式领域的体系结构建模、分析和验证的重要手段。针对嵌入式系统能耗无法预知的问题,提出了一种基于AADL和TPN(时间Petri网)的系统能耗建模与分析方法。该方法利用AADL基本语言建立了系统级架构模型,通过系统能耗相关性能分析,利用AADL属性集定义了能耗相关属性。由于AADL只是一种半形式化的语言,对系统的执行不够精确,而Petri网能较好地描述和模拟离散事件系统的动态行为及过程,为此,定义了AADL到TPN的模型转换规则,实现了AADL到时间Petri网的模型变换。通过对TPN模型进行严格的数学推导分析,得到系统整体能耗。为验证所提出的建模与分析方法,以某传感器节点为实例建立了系统能耗模型。实例验证表明,所提出的嵌入式系统能耗建模与分析方法可行有效。
- 马铮黄连丽陶冰冰周海鹰
- 关键词：时间PETRI网能耗分析
- 基于FPGA的I^2C总线应用研究被引量：1
- 2015年
- I2C总线作为高性能的串行传输总线,已在微电子领域得到了广泛的应用。本课题中,在EP2C5Q208C8N平台上采用硬件描述语言VHDL,通过Moore型有限状态机编程设计了模数转换器件PCF8591T的I2C总线控制器。实验结果表明:所设计的I2C总线控制器遵循I2C总线接口协议,数据传输稳定可靠。
- 魏海波马铮刘杰
- 关键词：I2C总线有限状态机硬件描述语言接口协议
