2006

Embedded Systems – Modeling, Technology, and Applications

Editors:

ISBN: 978-1-4020-4932-3 (Print) 978-1-4020-4933-0 (Online)

Table of contents (20 chapters)

  1. No Access

    Book Chapter

    Pages 1-10

    A Conceptual Model for Conformance, Compliance and Consistency

  2. No Access

    Book Chapter

    Pages 11-20

    Simulation and Animation of Visual Models of Embedded Systems

  3. No Access

    Book Chapter

    Pages 21-32

    Efficient Construction and Verification of Embedded Software

  4. No Access

    Book Chapter

    Pages 33-42

    Embedded Systems Design Using Optimistic Distributed Simulation of Colored Petri Nets

  5. No Access

    Book Chapter

    Pages 43-52

    Extended Reward Measures in the Simulation of Embedded Systems With Rare Events

  6. No Access

    Book Chapter

    Pages 53-62

    High Performance Low Cost Multicore NoC Architectures for Embedded Systems

  7. No Access

    Book Chapter

    Pages 63-72

    An Analyzable On-Chip Network Architecture for Embedded Systems

  8. No Access

    Book Chapter

    Pages 73-82

    Simulation-Based Testing of Embedded Software in Space Applications

  9. No Access

    Book Chapter

    Pages 83-92

    Evolving Specifications for Embedded Systems in the Automotive Domain

  10. No Access

    Book Chapter

    Pages 93-99

    Embedded Network Processor Based Parallel Intrusion Detection

  11. No Access

    Book Chapter

    Pages 101-110

    Embedded System Architecture of the Second Generation Autonomous Unmanned Aerial Vehicle MARVIN MARK II

  12. No Access

    Book Chapter

    Pages 111-120

    Middleware for Distributed Embedded Real-Time Systems

  13. No Access

    Book Chapter

    Pages 121-130

    Development of an Embedded Intelligent Flight Control System for the Autonomously Flying Unmanned Helicopter Sky-Explorer

  14. No Access

    Book Chapter

    Pages 131-139

    Model Predictive Control with Application to a Small-Scale Unmanned Helicopter

  15. No Access

    Book Chapter

    Pages 141-148

    The Recurrent Neural Network Model and Control of an Unmanned Helicopter

  16. No Access

    Book Chapter

    Pages 149-158

    GA-Based Evolutionary Identification of Model Structure for Small-scale Robot Helicopter System

  17. No Access

    Book Chapter

    Pages 159-168

    Framework for Development and Test of Embedded Flight Control Software for Autonomous Small Size Helicopters

  18. No Access

    Book Chapter

    Pages 169-176

    Embedded System Design for a Hand Exoskeleton

  19. No Access

    Book Chapter

    Pages 177-185

    Embedded Control System for a Powered Leg Exoskeleton

  20. No Access

    Book Chapter

    Pages 187-195

    Blind Source Separation of Temporal Correlated Signals and its FPGA Implementation