scientific article; zbMATH DE number 1497768

MaRDI QIDQ4499182zbMATH OpenFDO

Authors Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky

Publication date 6 March 2001

zbMATH Keywords

reliable real-time systems

Mathematics Subject Classification ID

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

Recommendations

• Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP
• Parametric timing analysis for real-time systems
• Toward parametric timed interfaces for real-time components
• Parametric dispatching of hard real-time tasks
• Analysis of scheduling behaviour using generic timed automata

Cited in

(2)

• Parametric dispatching of hard real-time tasks
• Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP

This page was built for publication:

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