Ebook: Embedded Systems: Design, Analysis and Verification: 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.

---

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 BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.

---

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 BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.
Content:
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 WirelessHART 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 -

---

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 BMBF funded ARAMIS project on Automotive, Railway and Avionics Multicore Systems.
Content:
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 WirelessHART 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 -
....