Embedded System Design: Topics, Techniques and Trends

Requirements and Concepts for Transaction Level Assertion Refinement.- Run-Time Efficient Feasibility Analysis of Uni-Processor Systems with Static Priorities.- Automotive System Optimization Using Sensitivity Analysis.- Towards Dynamic Load Balancing for Distributed Embedded Automotive Systems.- Automatic Data Path Generation from C code for Custom Processors.- An Interactive Design Environment for C-based High-Level Synthesis.- Embedded Vertex Shader in FPGA.- An Interactive Model Re-Coder for Efficient SoC Specification.- Smart Speed Technology.- Reducing the Code Size of Retimed Software Loops under Timing and Resource Constraints.- Data Reuse Driven Memory and Network-On-Chip Co-Synthesis.- Hardware Implementation of the Time-Triggered Ethernet Controller.- Generic Architecture Designed for Biomedical Embedded Systems.- Reconfigurable Hardware for Optimizing Workflows in Networked Nodes.-Configurable Medium Access Control for Wireless Sensor Networks.- Modeling of Software-Hardware Complexes.- Modeling of Software-Hardware Complexes.- Enhancing a Real-Time Distributed Computing Component Model through Cross-Fertilization.- Medical Embedded Systems.