欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
提出了一种基于资源的时间Petri网模型，以便建模分布式实时嵌入式系统中的静态调度，分析系统性能。该模型将处理器资源和通信资源，以及相应的优先级附着到变迁上，从而建模以下的分布式实时嵌入式系统：在单处理器上采用基于固定优先级的抢先式调度，处理器之间的通信采用基于固定优先级的不可抢先式调度。最后分析了该模型的语义、性质以及状态类图的构造方法。
英文摘要：
A time Petri net model based on resources is presented so as to model static schedule of distributed real-time embedded systems, and analyze system performances, The model attaches processor and communication resources, and respective priorities to transition, and well model following distributed embedded systems： using preemptive schedule based on fixed priority on single processor, using non-preemptive schedule for communication among processors. At last, the model＇s semantic and property is analyzed, and state class graph is constructed.
同期刊论文项目
同项目期刊论文
期刊信息
位置：