Suzhen Lin, A. Sai Sudhir, G. Manimaran Real-time Computing & Networking Laboratory Department of Electrical and Computer Engineering Iowa State University, USA http://www.ee.iastate.edu/~gmani ConFiRM-DRTS: A C ertification F ramework for Dynami c R esource M anagement in D istributed R eal-T ime S ystems
23
Embed
Suzhen Lin, A. Sai Sudhir, G. Manimaran Real-time Computing & Networking Laboratory Department of Electrical and Computer Engineering Iowa State University,
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Suzhen Lin, A. Sai Sudhir, G. Manimaran
Real-time Computing & Networking LaboratoryDepartment of Electrical and Computer
EngineeringIowa State University, USA
http://www.ee.iastate.edu/~gmani
ConFiRM-DRTS: A Certification Framework for
Dynamic Resource Management in Distributed Real-Time Systems
2
Outline
Problem statement Model and certification requirements The proposed certification framework Case study of feedback-based
scheduling verification Conclusions
3
Real-time Systems
Logical correctness & timeliness
Real-time tasks have deadlines
Real-time tasks:periodic and aperiodic
4
System Model
Heterogeneous computing nodes Arbitrary network topology Periodic and aperiodic workloads
Local scheduler Global scheduler (load balancer) Packet scheduler