The 28 revised papers were selected from 46 submissions. The papers are organized in topical sections on modelling; transaction level modelling; scheduling and real-time systems; simulation, verification and test; platforms and processors; automotive systems; and wireless sensor networks. The volume also includes three case studies and two tutorials.