XYZ系统对实时控制系统中进程调度和中断机制的描述.pdfVIP

  • 2
  • 0
  • 约1.17万字
  • 约 5页
  • 2018-01-02 发布于广东
  • 举报

XYZ系统对实时控制系统中进程调度和中断机制的描述.pdf

1999年 10月 计算机工程与科学 第21卷 第 AI期 Oct.1999 COMPUTERENGINEERING SCIENCE Val.21 No.A I XYZ系统对实时控制系统中进程调度 和中断机制的描述 ‘ DescriptionoftheSpecifyScheduleandInterrupt MechanismsofaRealtimeSystemUsingXYZ 宋 悦 郝克刚 SongYueandHaoKegang 西〔北大学计算机科学系) (DepartmentofComputerScience,NorthwestUniversity) 摘 要 XYZ系统是一套荃于线性时序语义的软件t程CASE环吮,XYZ忽 作为其核心既可以 用于抽象描述也可以用千程序性的细节描达。水文将XYZ应用于专用技制系统,描述了优先枪占式系 统的事件机制,为形式

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档