Embedded Systems -- Modeling, Technology, and Applications

1. Front Matter

   Pages i-ix

   PDF

2. A Conceptual Model for Conformance, Compliance and Consistency

   • Sebastian Bab, Bernd Mahr

   Pages 1-10

3. Simulation and Animation of Visual Models of Embedded Systems

   • Petri Nets Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer

   Pages 11-20

4. Efficient Construction and Verification of Embedded Software

   • Sabine Glesner

   Pages 21-32

5. Embedded Systems Design Using Optimistic Distributed Simulation of Colored Petri Nets

   • Michael Knoke, Dawid Rasinski, Günter Hommel

   Pages 33-42

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

   • Armin Zimmermann

   Pages 43-52

7. High Performance Low Cost Multicore NoC Architectures for Embedded Systems

   • Dietmar Tutsch, Günter Hommel

   Pages 53-62

8. An Analyzable On-Chip Network Architecture for Embedded Systems

   • Daniel Lüdtke, Dietmar Tutsch, Günter Hommel

   Pages 63-72

9. Simulation-Based Testing of Embedded Software in Space Applications

   • Sergio Montenegro, Stefan Jähnichen, Olaf Maibaum

   Pages 73-82

10. Evolving Specifications for Embedded Systems in the Automotive Domain

    • André Metzner, Peter Pepper

    Pages 83-92

11. Embedded Network Processor Based Parallel Intrusion Detection

    • Hu Yueming

    Pages 93-99

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

    • Volker Remuβ, Marek Musial, Carsten Deeg, Günter Hommel

    Pages 101-110

13. Middleware for Distributed Embedded Real-Time Systems

    • Marek Musial, Volker Remuβ, Günter Hommel

    Pages 111-120

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

    • Wang Geng, Sheng Huanye, Lu Tiansheng

    Pages 121-130

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

    • Du Jianfu, Lu Tiansheng, Zhang Yaou, Wang Geng, Zhao Zhigang

    Pages 131-139

16. The Recurrent Neural Network Model and Control of an Unmanned Helicopter

    • Zhang Yaou, Lu Tiansheng, Du Jianfu, Zhao Zhigang, Wang Geng

    Pages 141-148

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

    • Zhao Zhigang, Lu Tiansheng

    Pages 149-158

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

    • Markus Bernard, Konstantin Kondak, Günter Hommel

    Pages 159-168

19. Embedded System Design for a Hand Exoskeleton

    • Andreas Wege, Günter Hommel

    Pages 169-176

20. Embedded Control System for a Powered Leg Exoskeleton

    • Christian Fleischer, Günter Hommel

    Pages 177-185

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 both universities in order to present research results to an international community. The series of workshops started in 1990 with the International Workshop on Artificial Intelligence and was continued with the International Wo- shop on “Advanced Software Technology” in 1994. Both workshops have been hosted by Shanghai Jiao Tong University. In 1998 the third workshop took place in Berlin. This International Workshop on “Communication Based Systems” was essentially based on results from the Graduiertenk- leg on Communication Based Systems that was funded by the German Research Society (DFG) from 1991 to 2000. The fourth International Workshop on “Robotics and its Applications” was held in Shanghai in 2000. The fifth International Workshop on “The Internet Challenge: Tech- logy and Applications” was hosted by TU Berlin in 2002. The sixth Int- national Workshop on “Human Interaction with Machines” was hosted by Shanghai Jiao Tong University. The subject of this year’s workshop has been chosen because the field of Embedded Systems has not only gained major interest in the research community but has also significant economic impact in different appli- tion fields. Mechanic, hydraulic, and electronic control systems are being replaced by microcomputer based embedded systems.

• Embedded System
• FPGA
• Field Programmable Gate Array
• Multicore
• Signal
• Software
• embedded systems
• model
• modeling
• network on chip (NoC)
• robot
• simulation
• tools

• Real-Time Systems and Robotics, Technische Universität Berlin, Germany

  Günter Hommel

• Intelligent Computer-Human Interface, Shanghai Jiao Tong University, China

  Sheng Huanye

Policies and ethics