A General Framework for Parameterized Schedulability Bound Analysis of Real-Time Systems

DOI10.1109/TC.2010.31MaRDI QIDQ5280748zbMATH OpenOpenAlexFDO

Authors Jianjia Wu, Jyh-Charn Liu, Wei Zhao

Publication date 27 July 2017

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.2010.31

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2147037
• Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP
• Parametric timing analysis for real-time systems

This page was built for publication: A General Framework for Parameterized Schedulability Bound Analysis of Real-Time Systems

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