scientific article; zbMATH DE number 1949600

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
• scientific article; zbMATH DE number 1487612
• 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
• scientific article; zbMATH DE number 1487612 (Why is no real title available?)
• 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:

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