Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
IEEE Transactions on Computers
A Dynamic Priority Assignment Technique for Streams with (m, k)-Firm Deadlines
IEEE Transactions on Computers
Analyzing Stochastic Fixed-Priority Real-Time Systems
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Probabilistic performance guarantee for real-time tasks with varying computation times
RTAS '95 Proceedings of the Real-Time Technology and Applications Symposium
Real-time queueing network theory
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Stochastic Analysis of Periodic Real-Time Systems
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
Static Determination of Probabilistic Execution Times
ECRTS '04 Proceedings of the 16th Euromicro Conference on Real-Time Systems
A General Framework for Analysing System Properties in Platform-Based Embedded System Designs
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
Pessimism in the Stochastic Analysis of Real-Time Systems: Concept and Applications
RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
An Exact Stochastic Analysis of Priority-Driven Periodic Real-Time Systems and Its Approximations
IEEE Transactions on Computers
Real-Time Applications with Stochastic Task Execution Times: Analysis and Optimisation
Real-Time Applications with Stochastic Task Execution Times: Analysis and Optimisation
Probabilistic timing analysis: An approach using copulas
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
The worst-case execution-time problem—overview of methods and survey of tools
ACM Transactions on Embedded Computing Systems (TECS)
Aperiodic traffic in response time analyses with adjustable safety
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Network calculus: a theory of deterministic queuing systems for the internet
Network calculus: a theory of deterministic queuing systems for the internet
Stochastic network calculus models under max-plus algebra
GLOBECOM'09 Proceedings of the 28th IEEE conference on Global telecommunications
Efficient Stochastic Analysis of Real-Time Systems via Random Sampling
ECRTS '10 Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems
On buffering with stochastic guarantees in resource-constrained media players
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Formal analysis of sporadic overload in real-time systems
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Toward polychronous analysis and validation for timed software architectures in AADL
Proceedings of the Conference on Design, Automation and Test in Europe
Polychronous modeling, analysis, verification and simulation for timed software architectures
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |
Modeling and analysis of timing information are essential to the design of real-time systems. In this domain, research related to probabilistic analysis is motivated by the desire to refine results obtained using worst-case analysis for systems in which the worst-case scenario is not the only relevant one, such as soft real-time systems. This paper presents an overview of the existing solutions for probabilistic timing analysis, focusing on challenges they have to face. We discuss in particular two new trends toward Probabilistic Real-Time Calculus and Typical-Case Analysis which rise to some of these challenges.