Skip to main content

2006 | Buch

Embedded Systems – Modeling, Technology, and Applications

herausgegeben von: Günter Hommel, Sheng Huanye

Verlag: Springer Netherlands

insite
SUCHEN

Über dieses Buch

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.

Inhaltsverzeichnis

Frontmatter
A Conceptual Model for Conformance, Compliance and Consistency
Sebastian Bab, Bernd Mahr
Simulation and Animation of Visual Models of Embedded Systems
Petri Nets Hartmut Ehrig, Claudia Ermel, Gabriele Taentzer
Efficient Construction and Verification of Embedded Software
Sabine Glesner
Embedded Systems Design Using Optimistic Distributed Simulation of Colored Petri Nets
Michael Knoke, Dawid Rasinski, Günter Hommel
Extended Reward Measures in the Simulation of Embedded Systems With Rare Events
Armin Zimmermann
High Performance Low Cost Multicore NoC Architectures for Embedded Systems
Dietmar Tutsch, Günter Hommel
An Analyzable On-Chip Network Architecture for Embedded Systems
Daniel Lüdtke, Dietmar Tutsch, Günter Hommel
Simulation-Based Testing of Embedded Software in Space Applications
Sergio Montenegro, Stefan Jähnichen, Olaf Maibaum
Evolving Specifications for Embedded Systems in the Automotive Domain
André Metzner, Peter Pepper
Embedded Network Processor Based Parallel Intrusion Detection
Hu Yueming
Embedded System Architecture of the Second Generation Autonomous Unmanned Aerial Vehicle MARVIN MARK II
Volker Remuβ, Marek Musial, Carsten Deeg, Günter Hommel
Middleware for Distributed Embedded Real-Time Systems
Marek Musial, Volker Remuβ, Günter Hommel
Development of an Embedded Intelligent Flight Control System for the Autonomously Flying Unmanned Helicopter Sky-Explorer
Wang Geng, Sheng Huanye, Lu Tiansheng
Model Predictive Control with Application to a Small-Scale Unmanned Helicopter
Du Jianfu, Lu Tiansheng, Zhang Yaou, Wang Geng, Zhao Zhigang
The Recurrent Neural Network Model and Control of an Unmanned Helicopter
Zhang Yaou, Lu Tiansheng, Du Jianfu, Zhao Zhigang, Wang Geng
GA-Based Evolutionary Identification of Model Structure for Small-scale Robot Helicopter System
Zhao Zhigang, Lu Tiansheng
Framework for Development and Test of Embedded Flight Control Software for Autonomous Small Size Helicopters
Markus Bernard, Konstantin Kondak, Günter Hommel
Embedded System Design for a Hand Exoskeleton
Andreas Wege, Günter Hommel
Embedded Control System for a Powered Leg Exoskeleton
Christian Fleischer, Günter Hommel
Blind Source Separation of Temporal Correlated Signals and its FPGA Implementation
Xia Bin, Zhang Liqing
Backmatter
Metadaten
Titel
Embedded Systems – Modeling, Technology, and Applications
herausgegeben von
Günter Hommel
Sheng Huanye
Copyright-Jahr
2006
Verlag
Springer Netherlands
Electronic ISBN
978-1-4020-4933-0
Print ISBN
978-1-4020-4932-3
DOI
https://doi.org/10.1007/1-4020-4933-1

Neuer Inhalt