Embedded Systems – Modeling, Technology, and Applications

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hommel, Günter (Επιμελητής έκδοσης), Huanye, Sheng (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2006.
• Θέματα: Engineering.; Computer software > Reusability.; Special purpose computers.; Computer system failures.; Application software.; Electrical engineering.; Electrical Engineering.; Performance and Reliability.; Special Purpose and Application-Based Systems.; System Performance and Evaluation.; Computer Applications.

The International Workshop on “Embedded Systems - Modeling, Techn- ogy, 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 - searchers from bot...

Πίνακας περιεχομένων:

• 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.