Causality problem in real-time calculus

DOI10.1007/s10703-016-0250-yzbMath1392.68112OpenAlexW2328009781MaRDI QIDQ346787

Matthieu Moy, Karine Altisen

Publication date: 30 November 2016

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-016-0250-y

zbMATH Keywords

causalityarrival curveforbidden regionsmodular-performance analysisreal-time calculus

Mathematics Subject Classification ID

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

Uses Software

• LUSTRE
• COINC
• ac2lus
• CATS

Cites Work

• An algorithmic toolbox for network calculus
• An experience in proving regular networks of processes by modular model checking
• Symbolic model checking for real-time systems
• Dynamic partitioning in linear relation analysis: application to the verification of reactive systems
• Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
• Network calculus. A theory of deterministic queueing systems for the Internet
• Unnamed Item
• Unnamed Item

This page was built for publication: Causality problem in real-time calculus