INTRODUCTION: Embedded System Design, Platform-Based Design, Impact on the Electronic System design chain; FUNCTIONAL SPECIFICATION: Introduction to models of computation, FSM-CFSM, KPN, DF, Petri Nets, Hybrid Systems, Unified framework (tagged system model and Agent Algebras); PLATFORMS: Examples of platforms (multimedia, automotive), Definition of libraries, (composition of library elements and platform instances), Performance abstraction, Processor modeling; MAPPING: Definition of the common semantic domain, Formalization of the synthesis problem, Scheduling and real time operating systems, Software synthesis, Hardware synthesis, Communication synthesis; VALIDATION AND VERIFICATION: Simulation, Static timing analysis, Model checking, Verification of hybrid systems; LABS: Labs are based on PtolemyII and Metropolis (both tools are from the University of California at Berkeley).
