| Description |
1 online resource |
| Series |
IFIP advances in information and communication technology, 1868-4238 ; 403 |
|
IFIP advances in information and communication technology ; 403.
|
| Contents |
Design Methodologies. TECSCE: HW/SW Codesign Framework for Data Parallelism Based on Software Component / Takuya Azumi [and others] -- Programming Robots with Events / Truong-Giang Le [and others] -- Joint Algorithm Developing and System-Level Design: Case Study on Video Encoding / Jiaxing Zhang, Gunar Schirner -- Automatic Execution of Test Cases on UML Models of Embedded Systems / Marco A. Wehrmeister, Gian R. Berkenbrock |
|
Non-functional Aspects of Embedded Systems. Compiler Optimizations Do Impact the Reliability of Control-Flow Radiation Hardened Embedded Software / Rafael B. Parizi, Ronaldo R. Ferreira, Luigi Carro, Álvaro F. Moreira -- Power Reduction in Embedded Systems Using a Design Methodology Based on Synchronous Finite State Machines / Douglas P.B. Renaux, Fabiana Pöttker -- Low-Power Processors Require Effective Memory Partitioning / Leonardo Steinfeld, Marcus Ritt, Fernando Silveira, Luigi Carro -- Enhancement of System-Lifetime by Alternating Module Activation / Frank Sill Torres |
|
Verification. Model Checking Memory-Related Properties of Hardware/Software Co-designs / Marcel Pockrandt, Paula Herber, Verena Klös, Sabine Glesner -- Reducing Re-verification Effort by Requirement-Based Change Management / Markus Oertel, Achim Rettberg -- Formal Deadlock Analysis of SpecC Models Using Satisfiability Modulo Theories / Che-Wei Chang, Rainer Dömer -- Automated Functional Verification of Application Specific Instruction-set Processors / Marcela Šimková, Zdeněk Přikryl, Zdeněk Kotásek, Tomáš Hruška |
|
Performance Analysis. Compressing Microcontroller Execution Traces to Assist System Analysis / Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie du Bousquet -- Hardware and Software Implementations of Prim's Algorithm for Efficient Minimum Spanning Tree Computation / Artur Mariano, Dongwook Lee, Andreas Gerstlauer, Derek Chiou -- A Passive Monitoring Tool for Evaluation of Routing in WirelessHART Networks / Gustavo Kunzel, Jean Michel Winter, Ivan Muller, Carlos Eduardo Pereira -- Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration / Yuki Ando [and others] |
|
ARAMIS Special Session. Compositional Timing Analysis of Real-Time Systems Based on Resource Segregation Abstraction / Philipp Reinkemeier, Ingo Stierand -- Towards Virtualization Concepts for Novel Automotive HMI Systems / Simon Gansel [and others] -- Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs / Maher Fakih, Kim Grüttner, Martin Fränzle, Achim Rettberg -- Formal Verification of Concurrent Embedded Software / Dirk Nowotka, Johannes Traub -- On the Homogeneous Multiprocessor Virtual Machine Partitioning Problem / Stefan Groesbrink |
|
Real-Time Systems. Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks / Kay Klobedanz, Jan Jatzkowski, Achim Rettberg, Wolfgang Mueller -- Adaptive Total Bandwidth Server: Using Predictive Execution Time / Kiyofumi Tanaka -- Real-Time Service-Oriented Architectures: A Data-Centric Implementation for Distributed and Heterogeneous Robotic System / Pekka Alho, Jouni Mattila -- Contract-Based Compositional Scheduling Analysis for Evolving Systems / Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand |
|
Embedded System Applications. Extending an IEEE 42010-Compliant Viewpoint-Based Engineering-Framework for Embedded Systems to Support Variant Management / André Heuer, Tobias Kaufmann, Thorsten Weyer -- Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems / Katharina Gilles, Stefan Groesbrink, Daniel Baldin, Timo Kerstan -- A Structural Parametric Binaural 3D Sound Implementation Using Open Hardware / Bruno Dal Bó Silva, Marcelo Götz |
|
Real-Time Aspects in Distributed Systems. Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems / Zhenkai Zhang, Xenofon Koutsoukos -- I/O Sharing in a Multi-core Kernel for Mixed-Criticality Applications / Gang Li, Søren Top -- Evaluating the Impact of Integrating a Security Module on the Real-Time Properties of a System / Sunil Malipatlolla, Ingo Stierand |
| Summary |
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 |
| Analysis |
Computer science |
|
Software engineering |
|
Computer system performance |
|
Computer aided design |
|
Special Purpose and Application-Based Systems |
|
System Performance and Evaluation |
|
computerwetenschappen |
|
computer sciences |
|
computertechnieken |
|
computer techniques |
|
computer software |
|
systeemanalyse |
|
systems analysis |
|
systemen |
|
systems |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Notes |
International conference proceedings |
|
Includes author index |
| Subject |
Embedded computer systems -- Design and construction -- Congresses
|
|
Embedded computer systems -- Programming -- Congresses
|
|
Software
|
|
software.
|
|
Embedded computer systems -- Design and construction
|
|
Embedded computer systems -- Programming
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Schirner, Gunar
|
| ISBN |
9783642388538 |
|
3642388531 |
|
