首页> 中文期刊> 《计算机工程与科学》 >基于时间自动机的CAN网络可调度性分析

基于时间自动机的CAN网络可调度性分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

CAN网络已在汽车、航空、过程控制等实时网络化控制系统中获得了广泛应用.它能够传输周期性和非周期性两种实时报文,所有报文必须是可调度的,即在截止期前完成传输.本文提出了一种基于时间自动机的CAN网络非周期性实时报文的严格可调度性方法.

著录项

来源
《计算机工程与科学》 |2006年第9期|25-27|共3页
作者
陈冰; 周祖德; 陈幼平; 谢经明; 艾武;
展开▼
作者单位

华中科技大学国家数控工程研究中心;

湖北;

武汉;

430074;

华中科技大学国家数控工程研究中心;

湖北;

武汉;

430074;

华中科技大学国家数控工程研究中心;

湖北;

武汉;

430074;

华中科技大学国家数控工程研究中心;

湖北;

武汉;

430074;

华中科技大学国家数控工程研究中心;

湖北;

武汉;

430074;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动控制、自动控制系统;
关键词
可调度性分析; 时间自动机; 控制器局域网络; 时序逻辑; 模型检查;

相似文献

中文文献
外文文献
专利

1. 基于时间自动机的嵌入式系统 AADL 模型可调度性验证 [J] . 李静 ,沈宁敏 ,白海洋 . 东南大学学报（自然科学版） . 2015,第006期
2. 基于时间自动机的嵌入式软件模型可调度性验证 [J] . 白海洋 ,李静 ,赵娜 . 计算机工程与科学 . 2013,第003期
3. MPSoC可调度性分析的价格时间自动机模型 [J] . 汪群博 ,赵政文 ,张涛 . 西北工业大学学报 . 2017,第002期
4. 基于图结构的DAG任务可调度性分析 [J] . 高玮军 ,王通 . 计算机应用与软件 . 2019,第012期
5. 基于模型检测的多处理器实时系统可调度性自动化分析 [J] . 杜伊 . 现代计算机（专业版） . 2017,第002期
6. 基于时间自动机的嵌入式软件模型可调度性验证 [C] . Bai Haiyang ,白海洋 ,Li Jing . 第十一届全国软件与应用学术会议（NASAC2012） . 2012
7. 基于图的实时任务模型的可调度性分析与性能优化技术研究 [A] . 彭超 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号