Embedded System Design.pdf

(6566 KB) Pobierz
Embedded Systems
Series Editors
Nikil D. Dutt, Department of Computer Science, Donald Bren School
of Information and Computer Sciences, University of California, Irvine,
Zot Code 3435, Irvine, CA 92697-3435, USA
Peter Marwedel, Informatik 12, TU Dortmund, Otto-Hahn-Str. 16,
44227 Dortmund, Germany
Grant Martin, Tensilica Inc., 3255-6 Scott Blvd., Santa Clara, CA 95054, USA
For other titles published in this series, go to
www.springer.com/series/8563
Peter Marwedel
Embedded
System Design
Embedded Systems Foundations
of Cyber-Physical Systems
2nd Edition
Dr. Peter Marwedel
TU Dortmund
Informatik 12
Otto-Hahn-Str. 16
44221 Dortmund
Germany
peter.marwedel@tu-dortmund.de
ISBN 978-94-007-0256-1
e-ISBN 978-94-007-0257-8
DOI 10.1007/978-94-007-0257-8
Springer Dordrecht Heidelberg London New York
© Springer Science+Business Media B.V. 2011
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.
Cover design:
VTEX, Vilnius
Printed on acid-free paper
Springer is part of Springer Science+Business Media (www.springer.com)
Contents
Preface
Acknowledgments
1.
INTRODUCTION
1.1 Application areas and examples . . . .
1.2 Common characteristics . . . . . . . .
1.3 Challenges in Embedded System Design
1.4 Design Flows . . . . . . . . . . . . . .
1.5 Structure of this book . . . . . . . . . .
1.6 Assignments . . . . . . . . . . . . . .
. . .
. . .
. .
. . .
. . .
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
xi
xxi
1
1
4
10
12
17
18
21
21
28
35
35
36
39
40
42
52
54
61
61
62
64
66
67
v
2.
SPECIFICATIONS AND MODELING
2.1 Requirements . . . . . . . . . . . . . . . . . .
2.2 Models of computation . . . . . . . . . . . . .
2.3 Early design phases . . . . . . . . . . . . . . .
2.3.1 Use cases . . . . . . . . . . . . . . . .
2.3.2 (Message) Sequence Charts . . . . . .
2.4 Communicating finite state machines (CFSMs)
2.4.1 Timed automata . . . . . . . . . . . .
2.4.2 StateCharts . . . . . . . . . . . . . . .
2.4.3 Synchronous languages . . . . . . . .
2.4.4 SDL: A case of message passing . . .
2.5 Data flow . . . . . . . . . . . . . . . . . . . .
2.5.1 Scope . . . . . . . . . . . . . . . . . .
2.5.2 Kahn process networks . . . . . . . .
2.5.3 Synchronous data flow . . . . . . . . .
2.5.4 Simulink . . . . . . . . . . . . . . . .
2.6 Petri nets . . . . . . . . . . . . . . . . . . . .

Plik z chomika:

Inne pliki z tego folderu:

Inne foldery tego chomika:

Zgłoś jeśli naruszono regulamin