Firm Real-Time System Scheduling Based on a Novel QoS Constraint
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Schedulability analysis of applications with stochastic task execution times
ACM Transactions on Embedded Computing Systems (TECS)
An Exact Stochastic Analysis of Priority-Driven Periodic Real-Time Systems and Its Approximations
IEEE Transactions on Computers
Firm Real-Time System Scheduling Based on a Novel QoS Constraint
IEEE Transactions on Computers
Probabilistic timing analysis: An approach using copulas
Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
IEEE Transactions on Computers
On new scheduling policy for the improvement of firm RTDBSs performances
Data & Knowledge Engineering
Overrun handling approaches for overload-prone soft real-time systems
Advances in Engineering Software
ACM SIGBED Review - Special issue: The work-in-progress (WIP) session of the RTSS 2005
Energy-Efficient Wireless Packet Scheduling with Quality of Service Control
IEEE Transactions on Mobile Computing
ACM Transactions on Embedded Computing Systems (TECS)
An analysis method for variable execution time tasks based on histograms
Real-Time Systems
Tardiness bounds under global EDF scheduling on a multiprocessor
Real-Time Systems
Cache modeling in probabilistic execution time analysis
Proceedings of the 45th annual Design Automation Conference
Probabilistic modeling of data cache behavior
EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Soft real-time task response time prediction in dynamic embedded systems
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
RMOT: recursion in model order for task execution time estimation in a software pipeline
Proceedings of the Conference on Design, Automation and Test in Europe
DAGS: distribution agnostic sequential Monte Carlo scheme for task execution time estimation
Proceedings of the Conference on Design, Automation and Test in Europe
Toward probabilistic real-time calculus
ACM SIGBED Review
Failure-dependent execution time analysis
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Proceedings of the International Conference on Computer-Aided Design
Embedded Systems Design
Embedded Systems Design
Efficient and robust probabilistic guarantees for real-time tasks
Journal of Systems and Software
On the nature and impact of self-similarity in real-time systems
Real-Time Systems
MMB'12/DFT'12 Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Re-sampling for statistical timing analysis of real-time systems
Proceedings of the 20th International Conference on Real-Time and Network Systems
ACM SIGBED Review - Special Issue on the 24th Euromicro Conference on Real-Time Systems
PROARTIS: Probabilistically Analyzable Real-Time Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Probabilistic Embedded Computing
Stochastic response-time guarantee for non-preemptive, fixed-priority scheduling under errors
Proceedings of the 50th Annual Design Automation Conference
Challenges and new trends in probabilistic timing analysis
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.01 |
This paper describes a stochastic analysis method for general periodic real-time systems. The proposed method accurately computes the response time distribution of each task in the system, thus making it possible to determine the deadline miss probability of individual tasks, even for systems with maximum utilization factor greater than one. The method uniformly covers both fixed-priority scheduling (such as Rate Monotonic) as well as dynamic-priorityscheduling (such as Earliest Deadline First) and can handle arbitrary relative deadlines and execution time distributions. The accuracy of the method is proven by comparing the results from the analysis with those obtained from simulations, as well as other methodologies in the literature.