Modeling of real-time scheduling for distributed embedded systems

MaRDI QIDQ3647540zbMATH OpenFDO

Authors Hai-Tao Zhang, Lian-Kui Qiu, Yun-Feng Ai

Publication date 22 November 2009

zbMATH Keywords

embedded systemmodelingPetri netsscheduling

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Recommendations

• S-nets: A Petri net based model for performance evaluation of real-time scheduling algorithms
• Scheduling and control of real-time systems based on a token player approach
• scientific article; zbMATH DE number 3896317
• scientific article; zbMATH DE number 749806
• Off-line computation of real-time schedules using Petri nets

Cited in

(4)

• Formal synthesis of real-time embedded software by time-memory scheduling of colored time Petri nets
• scientific article; zbMATH DE number 995889 (Why is no real title available?)
• scientific article; zbMATH DE number 716745 (Why is no real title available?)
• scientific article; zbMATH DE number 1756009 (Why is no real title available?)

This page was built for publication: Modeling of real-time scheduling for distributed embedded systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3647540)