电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
针对一类中断驱动的航天控制系统，给出了有界模型检验的算法，这类系统由中断处理程序和操作系统调度的任务组成．当中断发生时，对应的中断处理程序响应中断事件，并可以修改控制变量值，以便在系统任务中完成后续工作．操作系统周期性地调度任务序列处理日常事务以及中断事件的后续工作．使用了带中断标记的时间自动机对中断事件和任务调度事件进行建模，并使用中断向量表和中断处理程序的伪代码模型共同描述中断的处理过程．控制变量将中断处理过程和系统任务相关联，中断处理程序可以设定某个控制变量，而系统任务则通过检查该控制变量来确定是否需要进行后续处理．对于这样的形式化模型，给出了检验关键时序性质的有界模型检验算法．该算法使用深度优先的方式遍历所有长度小于等于K的可行路径，并使用SMT 23实现了对时间约束和规约的处理．
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 智能防盗防火及照明控制系统
- 电力拖动自动控制系统之运动控制系统电子版 0次下载
- 基于ZigBee和物联网的智能草莓大棚控制系统 37次下载
- 基于DSP的摊铺机行驶控制系统 9次下载
- 振动控制系统中DSP后向通道的设计方案 14次下载
- 基于DSP的中压软启动控制系统设计方案 5次下载
- 可应用于牵引的开关磁阻驱动电机控制系统 18次下载
- 基于DSP的煤矿电机控制系统 7次下载
- 基于DSP的LED照明驱动控制系统设计方案 17次下载
- 基于DSP的飞行仿真转台控制系统设计与实现 10次下载
- 基于FPGA的电机智能驱动控制系统设计资料下载
- DDC控制系统和PLC控制系统对比和应用 12次下载
- 单片机的中断系统的概念控制系统和处理过程及编程及应用资料概述 6次下载
- 电驱动钻机控制系统探讨 76次下载
- 基于FX1NPLC的钢球外观检验控制系统
- 现场总线控制系统与集散控制系统的对比 769次阅读
- 前馈控制系统与反馈控制系统的区别 1553次阅读
- 伺服驱动器和伺服控制系统的区别 471次阅读
- 开环控制系统与闭环控制系统的区别 5610次阅读
- PLC控制系统与继电器控制系统的比较 1121次阅读
- plc控制系统与传统继电器控制区别 plc控制系统的优点 2433次阅读
- DCS控制系统是什么？DCS控制系统的特点 3538次阅读
- 运动控制系统的核心应用 1629次阅读
- 机器人控制系统分类_机器人控制系统有哪些 2.6w次阅读
- 微机控制系统的分类 4609次阅读
- PID是控制系统吗？控制系统由什么组成？ 1w次阅读
- 智能控制系统的应用 6715次阅读
- dsc车身动态控制系统简介 3633次阅读
- 基于Zynq的PMSM驱动控制系统设计 3418次阅读
- 单片机控制系统中不可缺少的“中断”基础知识 1794次阅读
上传资料赚积分下载排行
本周
- 1TC358743XBG评估板参考手册
- 1.36 MB | 330次下载 | 免费
- 2开关电源基础知识
- 5.73 MB | 11次下载 | 免费
- 3100W短波放大电路图
- 0.05 MB | 4次下载 | 3 积分
- 4嵌入式linux-聊天程序设计
- 0.60 MB | 3次下载 | 免费
- 5DIY动手组装LED电子显示屏
- 0.98 MB | 3次下载 | 免费
- 6基于FPGA的C8051F单片机开发板设计
- 0.70 MB | 2次下载 | 免费
- 751单片机PM2.5检测系统程序
- 0.83 MB | 2次下载 | 免费
- 8基于51单片机的RGB调色灯程序仿真
- 0.86 MB | 2次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 2555集成电路应用800例(新编版)
- 0.00 MB | 33566次下载 | 免费
- 3接口电路图大全
- 未知 | 30323次下载 | 免费
- 4开关电源设计实例指南
- 未知 | 21549次下载 | 免费
- 5电气工程师手册免费下载(新编第二版pdf电子书)
- 0.00 MB | 15349次下载 | 免费
- 6数字电路基础pdf(下载)
- 未知 | 13750次下载 | 免费
- 7电子制作实例集锦 下载
- 未知 | 8113次下载 | 免费
- 8《LED驱动电路设计》 温德尔著
- 0.00 MB | 6656次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935054次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537797次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420027次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234315次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191186次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183279次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138040次下载 | 免费
工商网监
评论