Embedded Systems: Design, Analysis and Verification [recurso electrónico] 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings

This book constitutes the refereed proceedings of the 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, held in Paderborn, Germany, in June 2013. The 22 full revised papers presented together with 8 short papers were carefully reviewed and selected from 42 submissions. The papers have been organized in the following topical sections: design methodologies; non-functional aspects of embedded systems; verification; performance analysis; real-time systems; embedded system applications; and real-time aspects in distributed systems. The book also includes a special chapter dedicated to the BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems. Front Matter....Pages - TECSCE: HW/SW Codesign Framework for Data Parallelism Based on Software Component....Pages 1-13 Programming Robots with Events....Pages 14-25 Joint Algorithm Developing and System-Level Design: Case Study on Video Encoding....Pages 26-38 Automatic Execution of Test Cases on UML Models of Embedded Systems....Pages 39-48 Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software....Pages 49-60 Power Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines....Pages 61-72 Low-Power Processors Require Effective Memory Partitioning....Pages 73-81 Enhancement of System-Lifetime by Alternating Module Activation....Pages 82-91 Model Checking Memory-Related Properties of Hardware/Software Co-designs....Pages 92-103 Reducing Re-verification Effort by Requirement-Based Change Management....Pages 104-115 Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories....Pages 116-127 Automated Functional Verification of Application Specific Instruction-set Processors....Pages 128-138 Compressing Microcontroller Execution Traces to Assist System Analysis....Pages 139-150 Hardware and Software Implementations of Prim’s Algorithm for Efficient Minimum Spanning Tree Computation....Pages 151-158 A Passive Monitoring Tool for Evaluation of Routing in Wireless HART Networks....Pages 159-170 Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration....Pages 171-180 Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction....Pages 181-192 Towards Virtualization Concepts for Novel Automotive HMI Systems....Pages 193-204 Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs....Pages 205-217 Formal Verification of Concurrent Embedded Software....Pages 218-227 On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem....Pages 228-237 Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks....Pages 238-249 Adaptive Total Bandwidth Server: Using Predictive Execution Time....Pages 250-261 Real-Time Service-Oriented Architectures: A Data-Centric Implementation for Distributed and Heterogeneous Robotic System....Pages 262-271 Contract-Based Compositional Scheduling Analysis for Evolving Systems....Pages 272-282 Extending an IEEE 42010-Compliant Viewpoint-Based Engineering-Framework for Embedded Systems to Support Variant Management....Pages 283-292 Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems....Pages 293-305 A Structural Parametric Binaural 3D Sound Implementation Using Open Hardware....Pages 306-317 Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems....Pages 318-330 I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications....Pages 331-342 Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System....Pages 343-352 Back Matter....Pages -