1. Summary of the Course What, Why, When

2. 2 The Y-chart view of the Course System Behavior System Architecture Behavior on Architecture Mapping Refine Implementation of System

3. 3 System Behavior u Models of Computation as paradigm for system level behavior capture s FSM s Synchronous Languages s Data-flow s Petri-net s Discrete Event s Tagged Signal Model s Metropolis Meta-Model s Trace Algebras System Behavior

4. 4 Architecture u Xilinx Vertex II Pro u Micro-processor based architectures u Architectural Services System Architecture

5. 5 Mapping u Scheduling Algorithms and RTOSes u Software Estimation Mapping

6. 6 Behavior-Architecture u Simulation u Performance analysis Behavior on Architecture

7. 7 Design Methods u Platform-Based design and Successive Refinement principle u Communication-based design thru successive refinement as paradigm for re-use and correct by construction method s From Scenarios to protocols s Interface synthesis s Network on chip protocols (Latency Insensitivity) s Topology Synthesis Refine R I FA M R I FA M

8. 8 Design Implementation u Software and Hardware synthesis in the Polis framework Implementation of System

9. 9 Distributed Systems u Fault Tolerant Design u Complete Auto Design Flow

10. 10 Metropolis Giotto Simulink VCC Mescal Ptolemy The Y-chart view of the Course System Behavior System Architecture Behavior on Architecture Mapping Refine Implementation of System