Springer - Embedded Systems. Modeling Technology and Applications.pdf

(11018 KB) Pobierz
EMBEDDED SYSTEMS -- MODELING, TECHNOLOGY,
AND APPLICATIONS
Embedded Systems -- Modeling,
Technology, and Applications
Proceedings of the 7th International Workshop held at
Technische Universität Berlin, June 26/27, 2006
Edited by
GÜNTER HOMMEL
Technische Universität Berlin
Berlin, Germany
and
SHENG HUANYE
Shanghai Jiao Tong University
Shanghai, China
A C.I.P. Catalogue record for this book is available from the Library of Congress.
ISBN-10
ISBN-13
ISBN-10
ISBN-13
1-4020-4932-3 (HB)
978-1-4020-4932-3 (HB)
1-4020-4933-1 (e-book)
978-1-4020-4933-0 (e-book)
Published by Springer,
P.O. Box 17, 3300 AA Dordrecht, The Netherlands.
www.springer.com
Printed on acid-free paper
All Rights Reserved
© 2006 Springer
No part of this work may be reproduced, stored in a retrieval system, or transmitted
in any form or by any means, electronic, mechanical, photocopying, microfilming, recording
or otherwise, without written permission from the Publisher, with the exception
of any material supplied specifically for the purpose of being entered
and executed on a computer system, for exclusive use by the purchaser of the work.
Printed in the Netherlands.
Contents
Committee
Preface
A Conceptual Model for Conformance, Compliance
and Consistency
Sebastian Bab and Bernd Mahr
Technische Universität Berlin, Germany
Simulation and Animation of Visual Models
of Embedded Systems
A Graph-Transformation-Based Approach Applied to Petri Nets
Hartmut Ehrig, Claudia Ermel, and Gabriele Taentzer
Technische Universität Berlin, Germany
Efficient Construction and Verification of Embedded Software
Sabine Glesner
Technische Universität Berlin, Germany
Embedded Systems Design Using Optimistic
Distributed Simulation of Colored Petri Nets
Michael Knoke, Dawid Rasinski, and Günter Hommel
Technische Universität Berlin, Germany
Extended Reward Measures in the Simulation
of Embedded Systems With Rare Events
Armin Zimmermann
Technische Universität Berlin, Germany
High Performance Low Cost Multicore NoC Architectures
for Embedded Systems
Dietmar Tutsch and Günter Hommel
Technische Universität Berlin, Germany
ix
xi
1
11
21
33
43
53
vi
Contents
An Analyzable On-Chip Network Architecture
for Embedded Systems
Daniel Lüdtke, Dietmar Tutsch, and Günter Hommel
Technische Universität Berlin, Germany
Simulation-Based Testing of Embedded Software
in Space Applications
Sergio Montenegro, Stefan Jähnichen, and Olaf Maibaum
Technische Universität Berlin / Fraunhofer FIRST, Germany
Deutsches Zentrum für Luft- und Raumfahrt e.V., Germany
Evolving Specifications for Embedded Systems
in the Automotive Domain
André Metzner and Peter Pepper
Technische Universität Berlin, Germany
Embedded Network Processor Based Parallel
Intrusion Detection
Hu Yueming
Shanghai Jiao Tong University, China
63
73
83
93
Embedded System Architecture of the Second Generation
Autonomous Unmanned Aerial Vehicle MARVIN MARK II
Volker Remuß, Marek Musial, Carsten Deeg, and Günter Hommel
Technische Universität Berlin, Germany
101
Middleware for Distributed Embedded Real-Time Systems
Marek Musial, Volker Remuß, and Günter Hommel
Technische Universität Berlin, Germany
111
Development of an Embedded Intelligent Flight Control System
for the Autonomously Flying Unmanned Helicopter
Sky-Explorer
Wang Geng, Sheng Huanye, Lu Tiansheng
Shanghai Jiao Tong University, China
121
Model Predictive Control with Application
to a Small-Scale Unmanned Helicopter
Du Jianfu, Lu Tiansheng, Zhang Yaou, Zhao Zhigang,
Wang Geng Shanghai Jiao Tong University, China
131

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin