Verification, refinement and scheduling of real-time programs

DOI10.1016/S0304-3975(00)00091-8zbMath0954.68099OpenAlexW2074112925MaRDI QIDQ1589590

Mathai Joseph, Zhi-Ming Liu

Publication date: 12 December 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0304-3975(00)00091-8

zbMATH Keywords

refinementfeasibilityspecificationschedulabilityreal-time program

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Schedulability analysis of fixed-priority systems using timed automata

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Specification and compositional verification of real-time systems
• The existence of refinement mappings
• A calculus of refinements for program derivations
• A calculus of durations
• Temporal proof methodologies for timed transition systems
• Verification of schedulability for real-time programs
• Formal verification of parallel programs
• Reasoning about programs by exploiting the environment
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

This page was built for publication: Verification, refinement and scheduling of real-time programs