Chess Review November 21, 2005 Berkeley, CA Edited and presented by Industrial Collaboration: Automotive Electronics Alberto Sangiovanni-Vincentelli UC.

Slides:



Advertisements
Similar presentations
An Automated Design Synthesis System Involving Hardware-In-the- Loop Simulation Steve Hann Wensi Jin Mechanical Simulation Corporation Opal-RT Technologies.
Advertisements

Network II.5 simulator ..
Lean Powertrain Development Sam Akehurst, University of Bath, Powertrain & Vehicle Research Centre Funded Under EPSRC Project Codes EP/C540883/1 & EP/C540891/1EP/C540883/1EP/C540891/1.
Future Careers in Embedded Systems, Mechatronics, and Control Mark W. Spong Coordinated Science Laboratory University of Illinois Urbana, IL
A Hierarchical Co-ordination Language for Interacting Real-time Tasks Arkadeb Ghosal, UC Berkeley Thomas A. Henzinger, EPFL Daniel Iercan, "Politehnica"
1 Embedded System Design for Automotive Applications امين تلگيني استاد محترم : دکتر خدیوی آذر 88.
DPS6 Powershift Transmission
Performance Analysis of FlexRay-based ECU Networks Andrei Hagiescu, Unmesh D. Bordoloi, Samarjit Chakraborty Department of Computer Science, National.
MotoHawk Training Model-Based Design of Embedded Systems.
Chess Review October 4, 2006 Alexandria, VA Edited and presented by New Vistas on Automotive Embedded Systems Alberto Sangiovanni-Vincentelli UC Berkeley.
Event Driven Real-Time Programming CHESS Review University of California, Berkeley, USA May 10, 2004 Arkadeb Ghosal Joint work with Marco A. Sanvido, Christoph.
Introduction Designing cost-sensitive real-time control systems for safety-critical applications requires a careful analysis of the cost/fault-coverage.
Chapter 13 Embedded Systems Patricia Roy Manatee Community College, Venice, FL ©2008, Prentice Hall Operating Systems: Internals and Design Principles,
Integrated Design and Analysis Tools for Software-Based Control Systems Shankar Sastry (PI) Tom Henzinger Edward Lee University of California, Berkeley.
February 21, 2008 Center for Hybrid and Embedded Software Systems Organization Board of Directors Edward A. Lee, UC Berkeley.
Vertically Integrated Analysis and Transformation for Embedded Software John Regehr University of Utah.
Overview An automatic transmission model is developed using Finite State Machine (FSM) modeling techniques. The choice of FSM as a modeling framework reflects.
Chess Review May 11, 2005 Berkeley, CA Extensible and Scalable Time Triggered Scheduling for Automotive Applications Wei Zheng Advisor: Professor Alberto.
Abstract The development and implementation of model-driven architectures for integrated real-time, embedded, hybrid control software is described using.
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.
Review of “Embedded Software” by E.A. Lee Katherine Barrow Vladimir Jakobac.
Define Embedded Systems Small (?) Application Specific Computer Systems.
01OC2000 Slide 1 © 2000 General Motors Corporation James B. Kolhoff Real Time Scheduling Issues in Powertrain Controls James B. Kolhoff.
Reliability-Aware Frame Packing for the Static Segment of FlexRay Bogdan Tanasa, Unmesh Bordoloi, Petru Eles, Zebo Peng Linkoping University, Sweden 1.
Chapter 13 Embedded Systems
Scheduling with Optimized Communication for Time-Triggered Embedded Systems Slide 1 Scheduling with Optimized Communication for Time-Triggered Embedded.
Models of Computation for Embedded System Design Alvise Bonivento.
1 of 14 1 Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems Paul Pop Computer and Information Science Dept. Linköpings.
1 of 14 1/15 Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications Paul Pop, Petru Eles, Zebo Peng, Viaceslav Izosimov Embedded.
Modeling State-Dependent Objects Using Colored Petri Nets
November 21, 2005 Center for Hybrid and Embedded Software Systems Engine Hybrid Model A mean value model of the engine.
MoBIES Working group meeting, September 2001, Dearborn Ptolemy II The automotive challenge problems version 4.1 Johan Eker Edward Lee with thanks.
November 18, 2004 Embedded System Design Flow Arkadeb Ghosal Alessandro Pinto Daniele Gasperini Alberto Sangiovanni-Vincentelli
Retard influence on torque production. c T is a constant which is roughly the same for engines with the same compression ratio. Fuel Dynamics Fueling delays.
MOBIES Project Progress Report Engine Throttle Controller Design Using Multiple Models of Computation Edward Lee Haiyang Zheng with thanks to Ptolemy Group.
Problem Background Motivation Design a task and bus scheduling tool that works with the automotive design process and captures the constraints that the.
DATE Optimizations of an Application- Level Protocol for Enhanced Dependability in FlexRay Wenchao Li 1, Marco Di Natale 2, Wei Zheng 1, Paolo Giusto.
Automotive Software Integration
Basic Concepts The Unified Modeling Language (UML) SYSC System Analysis and Design.
1 Vehicle Stability Function ● Directional Control ● Roll-over Control A functional overview with regard to commercial vehicles AMEVSC-03-04e August 2010.
Page 1 May 2010 © Siemens AG 2010 Industry / Drive Technologies Innovative Hybrid Drive Systems for Commercial Vehicles Industry – Drive Technologies Innovative.
RTS Meeting 8th July 2009 Introduction Middleware AUTOSAR Conclusion.
RTS Meeting January 2008 In-Vehicle Domains Powertrain: –Control of engine and transmission –Several complex control, high computing complexity –Multitasking.
Lei Kang, Bozhao Qi, Dan Janecek and Suman Banerjee
Optimal Power Control, Rate Adaptation and Scheduling for UWB-Based Wireless Networked Control Systems Sinem Coleri Ergen (joint with Yalcin Sadi) Wireless.
Plant Modeling for Powertrain Control Design Modelica Automotive Workshop Dearborn, MI November 19, 2002 Dr. Larry Michaels GM Powertrain Controls Engineering.
1 of 14 1/15 Synthesis-driven Derivation of Process Graphs from Functional Blocks for Time-Triggered Embedded Systems Master thesis Student: Ghennadii.
Powertrain Matching John Bucknell DaimlerChrysler Powertrain Systems Engineering September 30, 2006.
Fast Simulation Techniques for Design Space Exploration Daniel Knorreck, Ludovic Apvrille, Renaud Pacalet
An Integrated Design Environment to Evaluate Power/Performance Tradeoffs for Sensor Network Applications Amol Bakshi, Jingzhao Ou, and Viktor K. Prasanna.
> Power Supervison Desired Output level Source Diesel Valve Sink Diesel Valve > Valve Regulator Sink T = 40 ms Air Valve CBSE Course The SaveComp Component.
Design of Technical Condition Monitoring System of Vehicle Based on CAN Bus Authors : Ruili Zeng, Yunkui Xiao Department of Automobile Engineering Academy.
Abstract A Structured Approach for Modular Design: A Plug and Play Middleware for Sensory Modules, Actuation Platforms, Task Descriptions and Implementations.
Computer Simulation of Networks ECE/CSC 777: Telecommunications Network Design Fall, 2013, Rudra Dutta.
CONFIDENTIAL © 2007 Maplesoft, a division of Waterloo Maple Inc. Confidential MapleSim Pilot Test Program.
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)
1 May-2014 Automotive Protocols & Standards. 2 CAN (Controller Area Network)  Overview Controller Area Network is a fast serial bus designed to provide.
An Introduction to CAN CAN Basics 2 Renesas Interactive
Hardware/Software Co-Design of Complex Embedded System NIKOLAOS S. VOROS, LUIS SANCHES, ALEJANDRO ALONSO, ALEXIOS N. BIRBAS, MICHAEL BIRBAS, AHMED JERRAYA.
KPIT Cummins Confidential - Version 1.0 On- board Diagnostics OBD – II Experience 1.
February 11, 2016 Center for Hybrid and Embedded Software Systems Organization Faculty Edward A. Lee, EECS Alberto Sangiovanni-Vincentelli,
February 14, 2013 Center for Hybrid and Embedded Software Systems Organization Faculty Edward A. Lee, EECS Alberto Sangiovanni-Vincentelli,
Marilyn Wolf1 With contributions from:
AREAS OF APPLICATION Mechatronics is the synergistic combination of mechanical and electrical engineering, computer science, and information technology,
ITEA3 Project: ACOSAR Advanced Co-Simulation Open System Architecture
Period Optimization for Hard Real-time Distributed Automotive Systems
Gabor Madl Ph.D. Candidate, UC Irvine Advisor: Nikil Dutt
Northbound API Dan Shmidt | January 2017
An overview of the CHESS Center
An overview of the CHESS Center
Presentation transcript:

Chess Review November 21, 2005 Berkeley, CA Edited and presented by Industrial Collaboration: Automotive Electronics Alberto Sangiovanni-Vincentelli UC Berkeley

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV2 Automotive Collaborations General Motors (ASV) –Architecture Exploration Using Metropolis –FlexRay Scheduling –Cost Metrics Toyota (K. Hedrick, E. Lee) –Cold Start Engine Controller Pirelli (ASV) –Smart Tire Daimler-Chrysler (all) –Embedded Software design

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV3 ABS: Antilock Brake System ACC: Adaptive Cruise Control BCM: Body Control Module DoD: Displacement On Demand ECS: Electronics, Controls, and Software EGR: Exhaust Gas Recirculation. GDI: Gas Direct Injection OBD: Onboard Diagnostics TCC: Torque Converter Clutch PT: Powertrain Value from Electronics & Software - More functions & features - Less hardware - Faster Forefront of Innovation Vehicle Integration System Connection Subsystem Controls & Features Potential inflection point. Now! Hybrid PT Electric Ignition ACC Rear Vision Passive Entry Side Airbags Fuel Cell Wheel Motor … … OnStar OBD II HI Spd Data Rear aud/vid CDs BCM ABS ABS TCC EGR Electric Fan Head Airbags... Electric Brake DoD GDI … … … … … … … … … … … … 1970s1980s1990s2000s2010s2020s Electronics, Controls & Software is shifting the basis of competition in vehicles $1182 (+196%) $1182 (+196%) 50 ECUs (+150%) 100M Lines of Code (+9900%) $ ECUs 1M Lines Software $ Other $ Electronics $ Software $ Other $ Mechanical $ Electronics $ AVG. Source: Matt Tsien, GM

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV4 Specification Analysis Development Process Buses Matlab CPUs Buses Operating Systems Behavior Components Virtual Architectural Components C-Code IPs ASCET ECU-1 ECU-2 ECU-3 Bus f1f2 f3 System BehaviorSystem Architecture Mapping Performance Analysis Refinement Evaluation of Architectural and Partitioning Alternatives Implementation Metro: Separation of Concerns

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV5 Architecture Model: Abstraction Levels

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV6 Matching Models of Computation The functional and architectural models should be described using the same model of computation Architecture Characteristics: –Network of processes connected by point- to-point FIFOs –Non-blocking reads and writes –Messages may be lost or duplicated within FIFO Functional Model –Functional blocks operate concurrently Single rate No synchronization across processes –Non-blocking read, non-blocking write communication semantics Mapping: intersection of behaviors –Before mapping, nondeterministic loss and/or duplication of messages in functional model –After mapping, functional loss/duplication follows architecture f1f1 f2f2 Nondeterministic Medium Process Functional Model

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV7 Results With 2 send buffers: 1.No priority inversion 2.Average message latency = 4.165ms With 1 send buffer: 1.Priority inversion: Message 7 < Message 1~6 2. Average message latency = 4.936ms Functional Model –14 functional processes –48 signals CAN controller configurations: –Number of send buffers Metric –Message End-to-end Latency

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV8 Automotive Collaborations General Motors (ASV) –Architecture Exploration Using Metropolis –FlexRay Scheduling –Cost Metrics Toyota (K. Hedrick, E. Lee) –Cold Start Engine Controller Pirelli (ASV) –Smart Tire Daimler-Chrysler (all) –Embedded Software design

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV9 Project Background and Motivation GM has decided to choose FlexRay as the future communication system Importance of deciding the Communication Cycle Length, Slot Size and Slot Order in the FlexRay based system design. There is currently no technique to determine these parameters for FlexRay. Scheduling is currently done manually in GM, which is time consuming and error prone. Need an incremental scheduling tool for FlexRay system which supports any form of automated bus/task schedule

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV10 FlexRay Timing Hierarchy Application Cycle N App Cycle N-1App Cycle N+1 Communication Cycle X Comm Cyc X-1Comm Cyc X+1 STATIC SEG DYNAMIC SEG SYMBOL WIN NIT... 1 STATIC SLOT ACTION POINT OFFSET FRAME ID CHANNEL IDLE SLOT Y SLOT Y-1SLOT Y+1 Header Segment Payload Segment Trailer Segment FlexRay Frame 5+(0 … 254) + 3 bytes Source: FlexRay Specification 2.1

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV11 FlexRay Message Passing Mechanism T1T3T4 s1 T2 s2 FlexRay Controller OSEK Kernel Middleware Application Software Host ECU 1 T1T4 FlexRay Controller OSEK Kernel Middleware Application Software Host ECU 2 T3 T5 s1 s2 s1s2

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV12 Comparison for scheduling In Traditional Schedule: Incremental changes impossible without full rescheduling In Optimized Schedule: A lot more porosity to accommodate new tasks and messages

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV13 Scheduling Tool Framework AETM-DB (XML) convert FlexRay communication System design tool -Graphical Design Front End Internal Data Structure Scheduling Engine AETM-DB1 (XML) Back-annotate Gant Graph Scheduling Result Display

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV14 Automotive Collaborations General Motors (ASV) –Architecture Exploration Using Metropolis –FlexRay Scheduling –Cost Metrics Toyota (K. Hedrick, E. Lee) –Cold Start Engine Controller Pirelli (ASV) –Smart Tire Daimler-Chrysler (all) –Embedded Software design

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV15 Toyota: Coldstart Engine Controller Design (C. Zavala and K. Hedrick) Objectives: –Minimize the HC emissions of cold-start –Reduce design-to- implementation controller cycle time. Challenges –Sensors not active, poor combustion, keep development cost low. Strategies –Design of AFR and HC observers, use of design of automated tools, use of modern controller design techniques Experimental facilities

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV16 Transmission Control Goal: Improve drivability and fuel efficiency by automotive control. Approach: Utilize dynamical model-based analysis and controller design. Control Strategy: Multi-tiered approach to achieve shock-free gear shifting by smooth gear shifting control with engine/AT collaboration balancing between fuel economy & performance by optimal shift pattern scheduling Prospected control structure for intelligent shifting Smooth Gear Shifting Control Gas Pedal Brake Pedal Vehicle Speed Optimal Shift Pattern Scheduling Human Driver Model & Driving Conditions Identification Optimal Engine Torque Profile Optimal AT Friction Elements Torque Profiles Determine Driver’s Intentions & Driving Condition in RealTime

Chess Review, Nov. 21, 2005"Automotive Electronics", ASV17 Hybrid Systems Modeling Objectives Hybrid System Analysis: study of a general semantics for simulator engines to execute hybrid system models. Study of representations of discontinuities and interactions between continuous-time dynamics and simultaneous discrete events The code generation project aims to produce application code automatically from graphical models in Ptolemy II If an outgoing guard is true upon entering a state, because of the triggering semantics of transitions, the time spent in that state is identically zero. This state is called a¡°transient state¡±.