Embedded Systems -- Modeling, Technology, and Applications: Proceedings of the 7th International Wor

Committee; Preface; A Conceptual Model for Conformance, Compliance and Consistency, by Sebastian Bab and Bernd Mahr; Simulation and Animation of Visual Models of Embedded Systems: A Graph-Transformation-Based Approach Applied to Petri Nets, by Hartmut Ehrig, Claudia Ermel, and Gabriele Taentzer; Efficient Construction and Verification of Embedded Software, by Sabine Glesner; Embedded Systems Design Using Optimistic Distributed Simulation of Colored Petri Nets, by Michael Knoke, Dawid Rasinski, and Günter Hommel; Extended Reward Measures in the Simulation of Embedded Systems With Rare Events, by Armin Zimmermann; High Performance Low Cost Multicore NoC Architectures for Embedded Systems, by Dietmar Tutsch and Günter Hommel; An Analyzable On-Chip Network Architecture for Embedded Systems, by Daniel Lüdtke, Dietmar Tutsch, and Günter Hommel; Simulation-Based Testing of Embedded Software in Space Applications, by Sergio Montenegro, Stefan Jähnichen, and Olaf Maibaum; Evolving Specifications for Embedded Systems in the Automotive Domain, by André Metzner and Peter Pepper; Embedded Network Processor Based Parallel Intrusion Detection, by Hu Yueming; Embedded System Architecture of the Second Generation Autonomous Unmanned Aerial Vehicle MARVIN MARK II, by Volker Remuß, Marek Musial, Carsten Deeg, and Günter Hommel; Middleware for Distributed Embedded Real-Time Systems, by Marek Musial, Volker Remuß, and Günter Hommel; Development of an Embedded Intelligent Flight Control System for the Autonomously Flying Unmanned Helicopter Sky-Explorer, by Wang Geng, Sheng Huanye, Lu Tiansheng; Model Predictive Control with Application to a Small-Scale Unmanned Helicopter, by Du Jianfu, Lu Tiansheng, Zhang Yaou, Zhao Zhigang, Wang Geng; The Recurrent Neural Network Model and Control of an Unmanned Helicopter, by Zhang Yaou, Lu Tiansheng, Du Jianfu, Zhao Zhigang, Wang Geng; GA-Based Evolutionary Identification of Model Structure for Small-scale Robot Helicopter System, byZhao Zhigang, Lu Tiansheng; Framework for Development and Test of Embedded Flight Control Software for Autonomous Small Size Helicopters, by Markus Bernard, Konstantin Kondak, and Günter Hommel; Embedded System Design for a Hand Exoskeleton, by Andreas Wege and Günter Hommel; Embedded Control System for a Powered Leg Exoskeleton, by Christian Fleischer and Günter Hommel; Blind Source Separation of Temporal Correlated Signals and its FPGA Implementation Xia Bin, Zhang Liqing.