Embedded Systems – Modeling, Technology, and Applications /
edited by Günter Hommel, Sheng Huanye.
- xii, 195 páginas recurso en línea.
Springer eBooks
A Conceptual Model for Conformance, Compliance and Consistency -- Simulation and Animation of Visual Models of Embedded Systems -- Efficient Construction and Verification of Embedded Software -- Embedded Systems Design Using Optimistic Distributed Simulation of Colored Petri Nets -- Extended Reward Measures in the Simulation of Embedded Systems With Rare Events -- High Performance Low Cost Multicore NoC Architectures for Embedded Systems -- An Analyzable On-Chip Network Architecture for Embedded Systems -- Simulation-Based Testing of Embedded Software in Space Applications -- Evolving Specifications for Embedded Systems in the Automotive Domain -- Embedded Network Processor Based Parallel Intrusion Detection -- Embedded System Architecture of the Second Generation Autonomous Unmanned Aerial Vehicle MARVIN MARK II -- Middleware for Distributed Embedded Real-Time Systems -- Development of an Embedded Intelligent Flight Control System for the Autonomously Flying Unmanned Helicopter Sky-Explorer -- Model Predictive Control with Application to a Small-Scale Unmanned Helicopter -- The Recurrent Neural Network Model and Control of an Unmanned Helicopter -- GA-Based Evolutionary Identification of Model Structure for Small-scale Robot Helicopter System -- Framework for Development and Test of Embedded Flight Control Software for Autonomous Small Size Helicopters -- Embedded System Design for a Hand Exoskeleton -- Embedded Control System for a Powered Leg Exoskeleton -- Blind Source Separation of Temporal Correlated Signals and its FPGA Implementation.
The International Workshop on "Embedded Systems -- Modeling, Technology, and Applications" is the seventh in a successful series of workshops that were established by Shanghai Jiao Tong University and Technische Universität Berlin. The goal of those workshops is to bring together researchers from both universities in order to present research results to an international community. Successfully realizing Embedded Systems requires methods and tools from different disciplines. Formal specification techniques not only for the embedded system itself but also for the device and environment that is controlled by the embedded system are used for functional and non-functional properties (e.g. performance, real-time behavior). Formal models allow analyzing and optimizing those properties. Different methods and tools are used to design the required behavior of the system and finally to implement and test the system. Aspects covered in this workshop are, 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.