面向软件系统的指令时序建模与分析方法
徐敏
谭文安
1.南京航空航天大学计算机科学与技术学院,南京,2100162.南京航空航天大学计算机科学与技术学院,南京,210016
摘要：软件指令时序调度是实时软件系统运行的基本问题,如何识别出实时系统中的关键任务,并对其进行及时调度和处理则是解决这一基本问题的关键.应用企业过程建模原理,构造了实时系统的软件过程时序模型,并基于SADT模型,提出了一个基于CPU时间和带宽分配的指令活动模型TB-SADT.引入合成数的概念以求解不确定性软件过程关键路径.针对软件过程模型的控制结构,考虑CPU时间和通信时间的分配,探讨模型中各活动之间时序调度问题.
关键词：指令时序调度过程模型关键路径
分类号：TP301(计算技术、计算机技术)
资助基金：国家自然科学基金(60874120)航空科学基金(20081952014)
论文发表日期：2010-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 61-64 )
英文信息