论文部分内容阅读
近年来,模型检测技术获得快速的发展,已有学者将模型检测技术用于多处理器实时系统可调度性分析。但如果对每个实际系统都手工建立模型进行可调度性验证,过程繁琐且模型不可重复利用。针对此,开发一个工具用于自动完成可调度性检测,并可视化显示结果。
基于模型检测的多处理器实时系统可调度性自动化分析
【摘 要】
：
近年来,模型检测技术获得快速的发展,已有学者将模型检测技术用于多处理器实时系统可调度性分析。但如果对每个实际系统都手工建立模型进行可调度性验证,过程繁琐且模型不可
【机 构】
：
四川大学计算机学院
【出 处】
：
现代计算机(专业版)
【发表日期】
：
2017年1期
其他文献
6月是高温型食用菌品种的出菇季节，如草菇、猪肚菇、高温平菇等，又是菌种生产的旺季，涉菌生产进入高潮。但是，自去冬以来的气候十分反常，套用民间一句话就是“该冷不冷，该热不热”，
本刊讯热稳定剂是塑料助剂的重要组成部分,也是聚氯乙烯(PVC)加工中不可缺少的助剂类别.PVC是主要的通用塑料之一,有许多优点,但其热稳定性差,因此在PVC加工中添加热稳定剂便
期刊
随着信息物理系统和普适计算的发展,现有内存无法满足智能终端等嵌入式系统对性能、能耗和设备面积的高要求。工业界和学术界正提出使用新型非易失性存储器（NVM）和DRAM混合内存
本刊讯目前阶段,世界上生产的燃料乙醇大部分是以甘蔗、玉米和薯干等为原料.巴西主要以甘蔗为原料,每年生产约40亿加仑燃料乙醇.美国主要以玉米为原料,生产能力为19亿加仑/年
期刊