论文部分内容阅读
为验证嵌入式实时系统开发过程中任务集的可调度性,设计并实现一种嵌入式系统调度分析工具。提出通用任务模型,建立任务与事件到达自动机和任务状态自动机的状态关系映射,利用基于模型检测的时间自动机可达性方法判定系统的可调度性。仿真实例结果表明,该工具的分析准确性较高。
基于时间自动机的嵌入式系统调度分析工具
【摘 要】
：
为验证嵌入式实时系统开发过程中任务集的可调度性,设计并实现一种嵌入式系统调度分析工具。提出通用任务模型,建立任务与事件到达自动机和任务状态自动机的状态关系映射,利
【机 构】
：
西南交通大学信息科学与技术学院,电子科技大学计算机科学与工程学院
【出 处】
：
计算机工程
【发表日期】
：
2012年3期
【基金项目】
：
国家自然科学基金资助项目(90718019);国家“863”计划基金资助项目(2007AA010304)
其他文献
目的 分析不同用药方案用于急性脑出血后脑水肿治疗的效果。方法 作为研究对象的是急性脑出血后脑水肿患者(n=112),共设置两个组别,其中用药为呋塞米和甘露醇的56例患者所在
目的：探讨护患沟通模板在护士临床工作中的应用效果。方法：通过责任制病房陪护、案例讨论，结合患者病情和心理特点制订个性化沟通策略；干预后采用自制调查问卷调查患者满意度。结
目的探讨连续性肾脏替代治疗（CRRT）在救治顽固性心力衰竭患者中的应用及对患者预后的影响。方法 30例顽固性心力衰竭患者经常规药物治疗效果不佳后接受CRRT治疗,观察治疗前后患
通过介绍美国排名第一的医学中心梅奥诊所创新中心的先进理念和研究项目,分析我国研究型医院科研创新中心现状和不足。指出我国医学创新中心需融入先进的非医学学科理念、加
为建立一种快速、无损、简便鉴别卷烟真伪的方法,采用衰减全反射红外光谱法(ATR-FTIR),分别采集多个品牌真品、假冒卷烟样品烟用材料相关部位的衰减全反射红外光谱,研究探索
冷战结束后,北约发起或参与了在波黑、科索沃、阿富汗、伊拉克和利比亚的数次重大军事行动。这些重大军事行动具有如下三个基本特点:一是在冷战后北约进攻性新战略的指导下进
目的探讨Toll样受体-9(TLR-9)及其致病性配体(即细菌DNA)在脓毒症小鼠心肌炎症反应中心功能不全的作用。方法使用人工合成的细菌DNA(Cp G-ODN),分别作用于TLR-9组及TLR-9缺陷
目的研究HIE的产科相关危险因素及相应预防措施。方法选取南阳医学高等专科学校2015-07-2016-09收治的HIE患儿66例为研究对象,统计分析产妇的胎盘异常情况、新生儿脐带情况(
在分析池塘养殖污染成因和特点的基础上提出了应从池塘底质改良与养殖尾水复合生态湿地治理相结合的工艺路线,从根本上解决养殖尾水治理难题,并提出具体工程技术措施,为实现
2016年11月3日下午，由南京大学历史学院主办，南京大学文化与自然遗产研究所、《大众考古》编辑部协办的第七期“南京大学考古名家讲坛”有幸邀请到中国社会科学院考古研究所扬