An abstract model for scheduling real-time programs

MaRDI QIDQ4412495zbMATH OpenFDO

Authors Alvaro E. Arenas

Publication date 15 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2495/24950204.htm

zbMATH Keywords

Program VerificationReal-time ProgrammingScheduling

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Verification of schedulability for real-time programs
• The study of design optimization about single-processor scheduling algorithms in real-time system
• Analysis of scheduling behaviour using generic timed automata
• A coordination model for real-time programming
• Verification, refinement and scheduling of real-time programs

Cited in

(9)

• Investigating the usability of real-time scheduling theory with the Cheddar project
• Verification of schedulability for real-time programs
• Timing analysis of parallel software using abstract execution
• Towards Modelling Obligations in Event-B
• A coordination model for real-time programming
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Abstract response-time analysis: a formal foundation for the busy-window principle
• Spotlight abstraction in model checking real-time task schedulability
• Periodic real-time scheduling: From deadline-based model to latency-based model

This page was built for publication: An abstract model for scheduling real-time programs

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