Problem Background Motivation Design a task and bus scheduling tool that works with the automotive design process and captures the constraints that the.

Slides:



Advertisements
Similar presentations
Simulation of Feedback Scheduling Dan Henriksson, Anton Cervin and Karl-Erik Årzén Department of Automatic Control.
Advertisements

ECE 667 Synthesis and Verification of Digital Circuits
ECE-777 System Level Design and Automation Hardware/Software Co-design
1 EE5900 Advanced Embedded System For Smart Infrastructure RMS and EDF Scheduling.
CS4432: Database Systems II
Courseware Integer Linear Programming approach to Scheduling Sune Fallgaard Nielsen Informatics and Mathematical Modelling Technical University of Denmark.
A Hierarchical Co-ordination Language for Interacting Real-time Tasks Arkadeb Ghosal, UC Berkeley Thomas A. Henzinger, EPFL Daniel Iercan, "Politehnica"
CPE555A: Real-Time Embedded Systems
Courseware Scheduling of Distributed Real-Time Systems Jan Madsen Informatics and Mathematical Modelling Technical University of Denmark Richard Petersens.
CprE 458/558: Real-Time Systems (G. Manimaran)1 CprE 458/558: Real-Time Systems Resource Reclaiming (Contd.)
Undoing the Task: Moving Timing Analysis back to Functional Models Marco Di Natale, Haibo Zeng Scuola Superiore S. Anna – Pisa, Italy McGill University.
1 IIES 2008 Thomas Heinz (Saarland University, CR/AEA3) | 22/03/2008 | © Robert Bosch GmbH All rights reserved, also regarding any disposal, exploitation,
CSE 522 Real-Time Scheduling (4)
1 of 14 1 /23 Flexibility Driven Scheduling and Mapping for Distributed Real-Time Systems Paul Pop, Petru Eles, Zebo Peng Department of Computer and Information.
1 Swiss Federal Institute of Technology Computer Engineering and Networks Laboratory Embedded Systems Exercise 2: Scheduling Real-Time Aperiodic Tasks.
Tasks Periodic The period is the amount of time between each iteration of a regularly repeated task Time driven The task is automatically activated by.
1 of 14 1 Analysis of Mixed Time-/Event-Triggered Distributed Embedded Systems Paul Pop, Traian Pop, Petru Eles, Zebo Peng Embedded Systems Laboratory.
Automatic Verification of Component-Based Real-Time CORBA Applications Gabor Madl Sherif Abdelwahed
1 of 16 April 25, 2006 Minimizing System Modification in an Incremental Design Approach Paul Pop, Petru Eles, Traian Pop, Zebo Peng Department of Computer.
Abhijit Davare 1, Qi Zhu 1, Marco Di Natale 2, Claudio Pinello 3, Sri Kanajan 2, Alberto Sangiovanni-Vincentelli 1 1 University of California, Berkeley.
Chess Review May 11, 2005 Berkeley, CA Extensible and Scalable Time Triggered Scheduling for Automotive Applications Wei Zheng Advisor: Professor Alberto.
Timed Simulation with Multiple Resource Schedulability Analysis Yang Zhao and Slobodan Matic University of California, BerkeleyDec 10, 2004.
1 of 10 April 25, 2001 Minimizing System Modification in an Incremental Design Approach Paul Pop, Petru Eles, Traian Pop, Zebo Peng Department of Computer.
1 of 14 1/15 Schedulability Analysis and Optimization for the Synthesis of Multi-Cluster Distributed Embedded Systems Paul Pop, Petru Eles, Zebo Peng Embedded.
Reliability-Aware Frame Packing for the Static Segment of FlexRay Bogdan Tanasa, Unmesh Bordoloi, Petru Eles, Zebo Peng Linkoping University, Sweden 1.
1 Oct 2, 2003 Design Optimization of Mixed Time/Event-Triggered Distributed Embedded Systems Traian Pop, Petru Eles, Zebo Peng Embedded Systems Laboratory.
Penn ESE535 Spring DeHon 1 ESE535: Electronic Design Automation Day 5: February 2, 2009 Architecture Synthesis (Provisioning, Allocation)
Courseware Basics of Real-Time Scheduling Jan Madsen Informatics and Mathematical Modelling Technical University of Denmark Richard Petersens Plads, Building.
Holistic Scheduling and Analysis of Mixed Time/Event-Triggered Distributed Embedded System Traian Pop, Petru Eles, Zebo Peng EE249 Discussion Paper Review.
November 18, 2004 Embedded System Design Flow Arkadeb Ghosal Alessandro Pinto Daniele Gasperini Alberto Sangiovanni-Vincentelli
On the Task Assignment Problem : Two New Efficient Heuristic Algorithms.
1 of 14 1 / 18 An Approach to Incremental Design of Distributed Embedded Systems Paul Pop, Petru Eles, Traian Pop, Zebo Peng Department of Computer and.
Penn ESE535 Spring DeHon 1 ESE535: Electronic Design Automation Day 5: February 2, 2009 Architecture Synthesis (Provisioning, Allocation)
A Tool for Describing and Evaluating Hierarchical Real-Time Bus Scheduling Policies Author: Trevor Meyerowitz, Claudio Pinello, Alberto DAC2003, June 24,2003.
DATE Optimizations of an Application- Level Protocol for Enhanced Dependability in FlexRay Wenchao Li 1, Marco Di Natale 2, Wei Zheng 1, Paolo Giusto.
Module 2 Clock-Driven Scheduling
1 Quincy: Fair Scheduling for Distributed Computing Clusters Michael Isard, Vijayan Prabhakaran, Jon Currey, Udi Wieder, Kunal Talwar, and Andrew Goldberg.
Software Pipelining for Stream Programs on Resource Constrained Multi-core Architectures IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEM 2012 Authors:
An efficient active replication scheme that tolerate failures in distributed embedded real-time systems Alain Girault, Hamoudi Kalla and Yves Sorel Pop.
Hardware/Software Co-design Design of Hardware/Software Systems A Class Presentation for VLSI Course by : Akbar Sharifi Based on the work presented in.
Relaxing the Synchronous Approach for Mixed-Criticality Systems
Resource Mapping and Scheduling for Heterogeneous Network Processor Systems Liang Yang, Tushar Gohad, Pavel Ghosh, Devesh Sinha, Arunabha Sen and Andrea.
6. Application mapping 6.1 Problem definition
6. A PPLICATION MAPPING 6.3 HW/SW partitioning 6.4 Mapping to heterogeneous multi-processors 1 6. Application mapping (part 2)
Real-Time Support for Mobile Robotics K. Ramamritham (+ Li Huan, Prashant Shenoy, Rod Grupen)
High-Level Synthesis-II Virendra Singh Indian Institute of Science Bangalore IEP on Digital System IIT Kanpur.
1 Iterative Integer Programming Formulation for Robust Resource Allocation in Dynamic Real-Time Systems Sethavidh Gertphol and Viktor K. Prasanna University.
Cheddar – Real Time Simulator Scheduling with task dependencies.
CSCI1600: Embedded and Real Time Software Lecture 23: Real Time Scheduling I Steven Reiss, Fall 2015.
Lecture 2, CS52701 The Real Time Computing Environment I CS 5270 Lecture 2.
Introduction to Real-Time Systems
1 of 14 1/15 Schedulability-Driven Frame Packing for Multi-Cluster Distributed Embedded Systems Paul Pop, Petru Eles, Zebo Peng Embedded Systems Lab (ESLAB)
Workload Clustering for Increasing Energy Savings on Embedded MPSoCs S. H. K. Narayanan, O. Ozturk, M. Kandemir, M. Karakoy.
Jamie Unger-Fink John David Eriksen.  Allocation and Scheduling Problem  Better MPSoC optimization tool needed  IP and CP alone not good enough  Communication.
Progress Report 07/30. Virtual Core Scheduling Problem For every time period, the hypervisor scheduler is given a set of virtual cores with their operating.
Optimizing Distributed Actor Systems for Dynamic Interactive Services
ECE 720T5 Fall 2012 Cyber-Physical Systems
Response time analysis in real-time distributed automotive systems
EEE 6494 Embedded Systems Design
Babak Sorkhpour, Prof. Roman Obermaisser, Ayman Murshed
Period Optimization for Hard Real-time Distributed Automotive Systems
CprE 458/558: Real-Time Systems
Liang Chen Advisor: Gagan Agrawal Computer Science & Engineering
Chapter 6: CPU Scheduling
4-6 Formulizing Relations and Functions
Gabor Madl Ph.D. Candidate, UC Irvine Advisor: Nikil Dutt
LPSAT: A Unified Approach to RTL Satisfiability
Network Optimization Research Laboratory
Scheduling Basic Concepts Ref: Hard Real-Time Computing Systems Giorgio Buttazzo Ref: Real-Time Systems & Software Alan Shaw Processes - Tasks.
Operating System , Fall 2000 EA101 W 9:00-10:00 F 9:00-11:00
Presentation transcript:

Problem Background Motivation Design a task and bus scheduling tool that works with the automotive design process and captures the constraints that the automotive domain has. This project will explore metrics which can characterize the scalability and reusability of the distributed embedded system, and through solving a mixed integer quadratic programming to schedule functionality on a given architecture so that certain design constraints are satisfied. Problem Description Reusability and Scalability Problem Formulation Notation, Parameters and Variables Objective Function Constraints Initial Results November 18, 2004 Simple Case Study Wei Zheng Mentor : Claudio Pinello Sri Kanajan Advisor : Alberto Sangiovanni-Vincentelli Reusability and Scalability Time Triggered Scheduling of WCTT Left Slack Right Slack Starting time Finishing time Message: 5-tuple parameter variable Vector Message: 5-tuple parameter variable Vector WCET Release Time Period Idle time Starting time Finishing time Task: 6-tuple parameter variable Vector Task: 6-tuple parameter variable Vector Tasks data Dependency Hard Deadline must be satisfied Deadline is equal to Period Legacy tasks can be taken into account Multi-Rate System Allow preemption for Tasks Bus is modeled as a non- preemptive node Sw-Hw mapping is given Assumptions D 12_2D 34 D 12_1 T2_1 T2_2 T4 T1_2T3T1_1 Time Bus ECU2 ECU1 T5_1 T5_2 Idle [ ECU1, T5_2] Idle Time Data Slacks Slack[ D12_2, T2_2] Reusability Tolerate changes of Tasks’ WCET Tolerate changes of Data’ WCTT Maintains Bus Schedule Maintains non-involved ECU schedules Maintains involved ECU schedules without re-configuration Message left & Right slack Max Sum of all slacks Min Variance of all slacks Motivation Scalability Accommodate NEW tasks on legacy system Provide blocks of computation time for future computation intensive tasks Provide porosity in schedules to allow for future tasks with tight deadlines idle time distribution on ECU Evenly distribute idle time Implementation Approach The set of Tasks The set of ECU Task pair with data dependency running on the same ECU Task pair with data dependency running on different ECU Non-reachable task pair running on the same ECU The set of task pair running on the same ECU The set of task allocation for ECU otherwise if task i is not preempted by task j otherwise Data from i to task j precedes data from task k to l otherwise Idle time for task i Idle time for ECU k before the super period Reusability Scalability Jointly Reusability & Scalability T1 T4T3 functionality ECU2 ECU1 FlexRay architecture Mapping T5T5 T6T6 T2 Task graph expansion (in a SUPERperiod) T1 T3 T2 T1 T2 T4 T5T5 T5T5 T6 D 34 D 12_2 T2_2 T1_2 T4 T3 T2_1 T1_1 T5_1 D 12_1 Time Bus ECU2 ECU1 Scalable Schedule: Add New Task T5_2 T2_2 D 12_2 T1_2 T5_2 T4 T3 D 12_1 T2_1 T1_1 Time Bus ECU2 ECU1 T5_1 D 34 Minimize End to End Latency T2_2 D 12_2 T5_2 D 34 T4 T3 D 12_1 T2_1 T1_1 Time Bus ECU2 ECU1 T5_1 T1_2 Checking Schedulability D 34 D 12_2 T2_2 T1_2 T4 T3 T2_1 T1_1 Time Bus ECU2 ECU1 T5_1T5_2 D 12_1 Scalable Schedule D 34 T5_2 D 12_2 T2_2 T1_2 T4 T5_1 T3 T2_1 T1_1 Time Bus ECU2 ECU1 D 12_1 Reusable Schedule--- WCET Changes WCET Increase D 34 T5_2 D 12_2 T2_2 T1_2 T4 T5_1 T3 T2_1 T1_1 Time Bus ECU2 ECU1 D 12_1 Reusable Schedule D 34D 12_2 T2_2 T4 T1_2 T2_1 D 12_1 T3T1_1 Time Bus ECU2 ECU1 T5_1 T5_2 Jointly Considering Reusable and Scalable Describe the Metric Formula cost fn in AMPL Get Scheduling Result Evaluate Result w.r.t. Metrics Case study Automatic AMPL data file generation AMPL model with cost function and constraints AMPL solver Automatic Gant graph generation T2_2 D 12_2 T1_2 T5_2 T4 T3 D 12_1 T2_1 T1_1 Time Bus ECU2 ECU1 T5_1 D 34. Self-developed project infrastructure. Off-the-shelf project infrastructure Tool Infrastructure Release and Deadline Constraints Execution Time/Transmission Constraints Precedence Constraints Mutual Exclusion Constraints Idle Time Constraints