DOP Center Student-Extensible and Scalable Time Triggered ：DOP中心学生可扩展和可伸缩的时间触发.pptVIP

Extensible and Scalable Time Triggered Scheduling for Automotive Applications Wei Zheng Advisor: Professor Alberto Sangiovanni-Vincentelli Agenda Motivation Problem Statement Previous Work Investigative Approach Metric Definition Mathematical Formulation Multi-Objective Cost Function Case Study System Description Cost Function Evaluation Metrics Evaluation Conclusion Future Work Project Motivation Hard Real-time Embedded Systems are ubiquitously used today in safety critical commercial applications Verification of complex systems is time and resource intensive For fast time-to-market ? Extensible and Scalable systems Design Flow System Architecture Agenda Project Motivation Problem Statement Previous Work Investigative Approach Metric Definition Mathematical Formulation Multi-Objective Cost Function Case Study System Description Cost Function Evaluation Metrics Evaluation Conclusion Future Work Problem Statement Identify a set of metrics to capture extensibility and scalability Apply the set of metrics in a design Evaluate the effectiveness of the set of metrics Specifically, we want to: Study a hard real time embedded systems in the automotive domain Focus on the scheduling aspect of system design Characterize extensibility and scalability in scheduling Apply the set of metrics in a scheduling algorithm Evaluate the effectiveness of the approach with industrial case study Agenda Project Motivation Problem Statement Previous Work Investigative Approach Metric Definition Mathematical Formulation Multi-Objective Cost Function Case Study System Description Cost Function Evaluation Metrics Evaluation Conclusion Future Work Previous Work Static cyclic scheduling has been extensively researched Classical scheduling theory use metrics such as Minimizing sum of completion time Minimizing schedule length Minimizing resource For real time systems, deadline is added as a constraint Emphasis shifted to finding feasible solutions while Minimizing end-t