Verification of schedulability for real-time programs

DOI10.1007/BF01211630zbMath0838.68078DBLPjournals/fac/LiuJJ95WikidataQ58895006 ScholiaQ58895006MaRDI QIDQ1904642

Mathai Joseph, Tomasz Janowski, Zhi-Ming Liu

Publication date: 27 May 1996

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

program specificationfeasibilityschedulabilityreal-time program

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Reasoning about programs by exploiting the environment ⋮ Verification, refinement and scheduling of real-time programs

Cites Work

• The existence of refinement mappings
• A theorem on atomicity in distributed algorithms
• A calculus of durations

This page was built for publication: Verification of schedulability for real-time programs