Embedded Systems -- Modeling, Technology, and Applications: Proceedings of the 7th International Workshop held at Technische Universität Berlin, June  by Günter HommelEmbedded Systems -- Modeling, Technology, and Applications: Proceedings of the 7th International Workshop held at Technische Universität Berlin, June  by Günter Hommel

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

EditorGünter Hommel, Sheng Huanye

Paperback | November 10, 2010

Pricing and Purchase Info

$215.11 online 
$232.95 list price save 7%
Earn 1076 plum® points
Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

This book synthesizes the results of the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin, bringing together researchers from both universities in order to present research results to an international community. Aspects covered here include, among others, Models and specification; Simulation of different properties; Middleware for distributed real-time systems; Signal Analysis; Control methods; Applications in airborne and medical systems.
Title:Embedded Systems -- Modeling, Technology, and Applications: Proceedings of the 7th International…Format:PaperbackDimensions:207 pages, 9.45 × 6.3 × 0 inPublished:November 10, 2010Publisher:Springer NetherlandsLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9048172306

ISBN - 13:9789048172306

Look for similar items by category:

Reviews

Table of Contents

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, by Zhao 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.