This preview shows page 1-2-3-4-5-6-7-49-50-51-52-53-54-55-98-99-100-101-102-103-104 out of 104 pages.
EE249 Embedded System Design: Models, Validation and Synthesis Alberto Sangiovanni VincentelliSlide Number 2eMerging Societal-Scale SystemsEmbedded SystemsObservationsCourse overviewBehavior Vs. ArchitectureBehavior Vs. CommunicationAdministrationGradingScheduleLinksOutline of the courseOutline for the IntroductionElectronics and the CarAutomotive Industry Three Levels of PlayersChallenge: Electronics, Controls and Software Shifting the Basis of Competition in VehiclesGM SAC Vehicular Electronics, Controls and Software StudySlide Number 19Slide Number 20Slide Number 21Slide Number 22Slide Number 23Consumer segments Common technology elementsCommon Situation in IndustryOutline for the IntroductionConcurrency and HeterogeneityChallenge: The Physical InternetExponentials Bound to ContinueSlide Number 30Slide Number 31Slide Number 32Challenge: PowerSlide Number 34Smart DustWireless Sensor NetworksCreating a Whole New World of ApplicationsEnergy Management and Conservation Slide Number 39Tire to Vehicle Industrial PlantsTemperature TrackingWeyerhaeuser 20 Million Seed ManagementTree Growth Rate Variability Preventative Maintenance Program on Oil TankersPersonal ThemesSilicon-Processed Micro-needlesApplicationsWhat is Disaster Response?DiscussionSlide Number 51Secure Network Embedded SystEms (SENSE)Outline for the IntroductionOpportunity: Electronic Systems Design Chain Disaggregation: Complex Design Chain ManagementSupply Chain: Design Roles-> Methodology->ToolsAutomotive Supply Chain: Car ManufacturersAutomotive Supply Chain: Tier 1 Subsystem ProvidersAutomotive Supply Chain: Subsystem ProvidersAutomotive Supply Chain: Platform & IP ProvidersOutline for the IntroductionHow Safe is Our Real-Time Software?Computing for Embedded SystemsSlide Number 64Slide Number 65Complexity, Quality, & Time To Market today Software Bugs Cost $59.5 Billion a YearEmbedded Software Architecture TodayWe Live in an Imperfect World! How is Embedded Software Different from Ordinary Software?Devil’s AdvocateExample: RegistersThe Standard TrickThe Standard TrickExamples of the Standard TrickWhat’s Wrong with This?Revisiting the AssumptionsAnother Traditional Systems Science - Computation, Languages, and SemanticsProcesses and Process CalculiInteracting Processes – Concurrency as AfterthoughtInteracting Processes – Not CompositionalCompositionalityWhat About Real Time?First Challenge on the Cyber Side: Real-Time and Power-aware SoftwareSecond Challenge on the Cyber Side: ConcurrencyCommon FeaturesThe Intellectual AgendaChess: Center for Hybrid and Embedded Software SystemsSlide Number 89Slide Number 90Slide Number 91Slide Number 92Slide Number 93Slide Number 94Slide Number 95Slide Number 96Slide Number 97Slide Number 98The CHESS ChallengeSlide Number 100Slide Number 101The Embedded Software SCIENCE DilemmaSoftware Architecture TodaySoftware Architecture Tomorrow?EECS249Fall08EE249 Embedded System Design: Models, Validation and SynthesisAlberto Sangiovanni Vincentelli1EE249Fall082Carly Fiorina, CEO, Hewlett Packard Corporation“I believe we are now entering the Renaissance phase of the Information Age, where creativity and ideas are the new currency, and invention is a primary virtue, where technology truly has the power to transform lives, not just businesses, where technology can help us solve fundamental problems.”EE249Fall083“Client”“Server”eMerging Societal-Scale SystemsNew System ArchitecturesNew Enabled ApplicationsDiverse, Connected, Physical,Virtual, FluidEmbedded SystemsClustersMassive ClusterGigabit EthernetMEMSBioMonitoringScalable, Reliable,Secure ServicesInformationAppliancesEE249Fall084Embedded Systems• Computational–but not first-and-foremost a computer• Integral with physical processes–sensors, actuators• Reactive–at the speed of the environment• Heterogeneous–hardware/software, mixed architectures• Networked–shared, adaptiveSource: Edward A. LeeEE249Fall085Observations• We are on the middle of a revolution in the way electronics products are designed• System design is the key (also for IC design!)– Start with the highest possible level of abstraction (e.g. control algorithms)– Establish properties at the right level– Use formal models– Leverage multiple “scientific” disciplinesEE249Fall086Course overviewManaging ComplexityOrthogonalizing ConcernsBehavior Vs. ArchitectureComputation Vs. CommunicationEE249Fall087Behavior Vs. ArchitectureSystemBehaviorSystemArchitectureMappingFlow To ImplementationRefinement1342Models of ComputationComm. and comp. resourcesAssign functionality to arch elementsHW/SW partitioning,SchedulingSynthesis: HW and SWQuantity estimationPolis (1990-1996)VCC (1996-2003)Metropolis (2003-present)EE249Fall08ETROPOLIS8Behavior Vs. Communication• Clear separation between functionality and interaction model• Maximize reuse in different environments, change only interaction modelEE249Fall089Administration• Office hours: Alberto : Tu-Th 12:30pm-2pm or (better) by appointment (2-4882)• Teaching Assistant: – Kelvin Lwin, [email protected]• Grading will be assigned on:– Homework (~30%) – Project (~50%)– Reading assignments (~10%)– Labs (10%)• Bi-weekly homework. – HW #n is due the same day HW #n+1 is handed outEE249Fall0811Schedule• Labs (Th. 4-6):– Presentation of tools followed by hands-on tutorial and assignments (to turn in after 2 weeks, we might have to skip some labs….)• Discussion Session (Tu. 5-6)– Each student (possibly in groups of 2 people) will have to make one or more oral presentations during the class• Last two weeks of class dedicated only to projects (usually due the 1st or 2nd week of Dec.)• Auditors are OK but please register as P-NP (resources are assigned according to students…)HW #1handoutHW #1dueHW #3handoutLab #1Lab #1due1 weekLab #2Lab #2dueLab #3 Lab #4HW #2dueSchedule is tightDon’t fall behind!!!EE249Fall0812Links• Class website– http://inst.eecs.berkeley.edu/~ee249EE249Fall0813Outline of the coursePart 1: Introduction Design complexity, Example of embedded systems, traditional design flow, Platform-Based Design Part 2: Functional modeling, analysis and simulation Introduction to models of computation. Finite State Machines and Co-Design Finite State Machines, Kahn Process Networks, Data Flow, Petri Nets, Hybrid Systems. Unified frameworks: the Tagged Signal Model, Agent Algebra Part 3: Architecture and performance
View Full Document
Unlocking...