Sie sind hier
E-Book

Entwurf und Synthese von Eingebetteten Systemen

Ein Lehrbuch

AutorMartin Bogdan, Walter Lange
VerlagDe Gruyter Oldenbourg
Erscheinungsjahr2013
Seitenanzahl378 Seiten
ISBN9783486721096
FormatPDF
KopierschutzWasserzeichen/DRM
GerätePC/MAC/eReader/Tablet
Preis39,80 EUR
Dieses Buch bietet eine Einführung in die wichtigsten Themen rund um Eingebettete Systeme wie zum Beispiel Technologien, Kommunikation, Mikroprozessoren, Systembeschreibungssprachen, Sensornetzwerke und High-Level-Synthese. Einen breiten Raum nimmt dabei auch das Gebiet der Entwicklungsmethodik ein. Dieser Teil ist besonders für Studenten und Informatiker gedacht, die als Entwickler tätig werden wollen oder es bereits sind.

Kaufen Sie hier:

Horizontale Tabs

Blick ins Buch
Inhaltsverzeichnis
1 Einführung15
1.1 Begriffsbestimmung und Beispiele15
1.2 Systemkategorien17
1.3 Typischer Aufbau19
1.4 Zusammenfassung21
2 Bauformen und Implementierungsarten23
2.1 Bauformen23
2.2 Implementierungsarten25
2.3 übersicht über Technologien für Eingebettete Systeme26
2.3.1 Anwendungsspezifische Hardware26
2.3.2 Feldprogrammierbare Bausteine (FPGAs)29
2.4 Evolution der Siliziumtechnologie34
2.5 Zusammenfassung35
3 Mikroprozessor-Grundlagen37
3.1 Evolution der Mikroprozessoren37
3.2 Mikroprozessoren in Eingebetteten Systemen38
3.3 Mikroprozessor-Grundlagen40
3.3.1 Mikroprozessor-Architekturen40
3.3.2 Eingabe und Ausgabe durch Befehle, Register und Interrupts43
3.3.3 Speicher-Systeme45
3.3.4 Hauptspeicher51
3.3.5 Festwertspeicher (ROM)54
3.3.6 Befehls-Verarbeitungsmethoden54
3.3.7 Performanz und Energieverbrauch60
3.3.8 Ein-Ausgabe-Geräte und Schnittstellen64
3.4 Mikrokontroller und Mikroprozessoren65
3.4.1 Niedrigpreis-Mikrokontroller66
3.4.2 Mikroprozessoren höherer Leistung67
3.4.3 Mikroprozessor-Familien67
3.5 Mehrprozessorsysteme75
3.5.1 Beispiel für ein Mehrprozessor-System: Der Cell-Prozessor77
3.6 Prozesse und Betriebssysteme78
3.6.1 Prozesse78
3.6.2 Wozu Betriebssysteme?80
3.6.3 Aufgaben und Schichtenmodell eines Betriebssystems82
3.6.4 Echtzeitbetriebssysteme84
3.6.5 Zeitablaufplanung in Echtzeitbetriebssystemen84
3.6.6 Prioritätsumkehr und Prioritätsvererbung91
3.7 Zusammenfassung93
4 Kommunikation, Busse, Netzwerke und verteilte Systeme95
4.1 Das ISO-OSI-Referenzmodell95
4.2 Modellierung der Kommunikation99
4.2.1 Kommunikationsprimitive99
4.2.2 Der parallele Bus102
4.3 Verteilte Systeme111
4.4 Netzwerke113
4.4.1 Kommunikationsmodi114
4.4.2 Netzwerk-Topologien114
4.5 Busähnliche Netzwerke oder serielle Busse117
4.5.1 Der I2C-Bus119
4.5.2 Der CAN-Bus120
4.5.3 FlexRay, LIN und MOST123
4.5.4 Profibus (Process Field Bus)124
4.5.5 Weitere Verbindungsnetzwerke für verteilte Systeme126
4.6 Zusammenfassung128
5 Entwicklungsmethodik129
5.1 Die Produktivitätslücke129
5.2 Anforderungen131
5.2.1 Nichtfunktionale Anforderungen131
5.2.2 Lastenheft135
5.3 Der Beginn einer Entwicklung137
5.3.1 Der Architekturbegriff138
5.3.2 Pflichtenheft139
5.3.3 Spezifikation140
5.4 Entwurfsmethoden von Software-Systemen142
5.4.1 Das Wasserfallmodell142
5.4.2 Das Spiralmodell144
5.5 Hardware-Entwicklungsmethodik: Die Abstraktionsebenen145
5.6 Entwicklungsmethoden von Eingebetteten Systemen149
5.6.1 Erfassen und Simulieren150
5.6.2 Beschreiben und Synthetisieren151
5.6.3 Spezifizieren, Explorieren und Verfeinern152
5.6.4 Evolution der Chip-Entwicklung: Vom ASIC zum SoC154
5.6.5 Plattformbasierter Entwurf für Ein-Chip-Systeme157
5.6.6 Beispiele von Mehrprozessor-Entwicklungsplattformen159
5.7 Modellieren von Systemen164
5.7.1 Was sind Modelle?164
5.7.2 Modelle auf System- und algorithmischer Ebene: Berechnungsmodelle167
5.7.3 Unified Modeling Language (UML)180
5.7.4 Transaction Level-Modellierung (TLM)182
5.7.5 Modellieren auf RT-Ebene188
5.7.6 Modelle auf Logik-Ebene193
5.8 Modellbasierte Entwicklungsmethode193
5.8.1 Synthese195
5.8.2 System-Synthese196
5.8.3 Software-Synthese von Eingebetteten Systemen206
5.8.4 Das ESE-Werkzeug von Gajski et al223
5.9 Software-Entwicklung für Eingebettete Systeme224
5.9.1 Programmentwicklung225
5.9.2 Entwickeln von Klassendiagrammen mit CRC-Karten225
5.9.3 Entwurfsmuster228
5.9.4 Programm-Modelle228
5.9.5 Compiler für Eingebettete Systeme231
5.9.6 Programm-Optimierungen231
5.10 Verifikation, Simulation und Validierung237
5.10.1 Simulation238
5.10.2 Formale Verifikation245
5.10.3 Werkzeuge für Modellierung und Simulation248
5.11 Test250
5.11.1 Begriffsbestimmungen, Black-Box- und White-Box-Test251
5.11.2 Ein klassisches Fehlermodell252
5.11.3 Testmuster252
5.11.4 JTAG Boundary-Scan254
5.12 Zusammenfassung255
6 Beschreibungssprachen für den Systementwurf257
6.1 VHDL – Eine Hardware-Beschreibungssprache258
6.1.1 Grundlegender Aufbau259
6.1.2 Das Sprachkonzept263
6.1.3 Die Schaltungsbeschreibung264
6.1.4 Signale und Datentypen269
6.1.5 Operationen274
6.1.6 Parallele und sequenzielle Anweisungen277
6.1.7 Zusammenfassung290
6.2 Die System-Beschreibungssprache SystemC291
6.2.1 Grundlagen von SystemC293
6.2.2 Beispiel eines SystemC-Moduls296
6.2.3 Simulationssemantik305
6.2.4 Transaction-Modellierung mit SystemC307
6.2.5 RTL-Modellierung mit SystemC308
6.2.6 Zusammenfassung309
7 Sensornetzwerke311
7.1 Drahtlose Sensornetzwerke311
7.1.1 Einsatz von Sensornetzwerken, Topologie312
7.2 Kommunikation im Sensornetzwerk314
7.2.1 Der Protokoll-Stapel (Protocol Stack) von drahtlosen Sensornetzwerken316
7.2.2 Anwendungsschicht317
7.2.3 Transportschicht318
7.2.4 Netzwerkschicht318
7.2.5 Datensicherungsschicht (Data Link)319
7.2.6 Medium Access Control (MAC)320
7.2.7 Physikalische Schicht von drahtlosen Sensornetzwerken326
7.3 Der Sensorknoten327
7.3.1 Beispiele von Sensorknoten329
7.4 Kommunikationsstandards für MANETs331
7.5 Zusammenfassung333
8 High-Level-Synthese335
8.1 Einführung: Begriffsbestimmungen und Bewertung336
8.1.1 Begrisffsbestimmungen336
8.1.2 Eingabe und Ausgabe eines High-Level-Synthese-Werkzeugs337
8.1.3 Bewertung von elektronischen Schaltkreisen340
8.2 Die wesentlichen Schritte der High-Level-Synthese342
8.2.1 Allokierung343
8.2.2 Die Komponentenbibliothek344
8.3 Zeitablaufplanung (Scheduling)345
8.3.1 Einführung in die Zeitablaufplanung: Der Sequenzgraf345
8.3.2 Zeitablaufplanung ohne Ressource-Schranken348
8.3.3 Zeitablaufplanung unter Ressource- und Zeitschranken352
8.3.4 Einige besondere Verfahren der Zeitablaufplanung365
8.3.5 Zusammenfassung des Abschnitts Zeitablaufplanung369
8.4 Ressourcen-Bindung369
8.4.1 Kompatibilitäts- und Konfliktgraf370
8.4.2 Bindung von Speicher-Ressourcen (Registern)372
8.4.3 Die Grafen-Partitionierungs-Methode375
8.4.4 Zuweisung von Verbindungselementen und Erstellung der Netzliste377
8.5 Steuerwerksynthese384
8.5.1 Das mikrocodebasierte Steuerwerk385
8.5.2 Das hartverdrahtete Steuerwerk386
8.6 Zusammenfassung388
Literaturverzeichnis389
Index397

Weitere E-Books zum Thema: Bautechnik - Ingenieurbau

Schimmelpilze in Wohngebäuden

E-Book Schimmelpilze in Wohngebäuden
Ursachen, Vermeidung und Bekämpfung Format: PDF

Mit der Verringerung des Lüftungsaustausches in den Wohnungen, der Entstehung von Wärmebrücken nach der Sanierung u.a. werden die schon immer vorhandenen Schimmelpilze durch lokale…

Schimmelpilze in Wohngebäuden

E-Book Schimmelpilze in Wohngebäuden
Ursachen, Vermeidung und Bekämpfung Format: PDF

Mit der Verringerung des Lüftungsaustausches in den Wohnungen, der Entstehung von Wärmebrücken nach der Sanierung u.a. werden die schon immer vorhandenen Schimmelpilze durch lokale…

Elektronik 9

E-Book Elektronik 9
Leistungselektronik Format: PDF

Praxisnah werden die Eigenschaften und Besonderheiten von Bauteilen der Leistungselektronik und ihre Schaltungen dokumentiert, das notwendige Maß an Mathematik dazu verständlich erlä…

Elektronik 9

E-Book Elektronik 9
Leistungselektronik Format: PDF

Praxisnah werden die Eigenschaften und Besonderheiten von Bauteilen der Leistungselektronik und ihre Schaltungen dokumentiert, das notwendige Maß an Mathematik dazu verständlich erlä…

Elektronik 9

E-Book Elektronik 9
Leistungselektronik Format: PDF

Praxisnah werden die Eigenschaften und Besonderheiten von Bauteilen der Leistungselektronik und ihre Schaltungen dokumentiert, das notwendige Maß an Mathematik dazu verständlich erlä…

Bauchemie

E-Book Bauchemie
Format: PDF

Mehr denn je ist der Entscheidungsträger in Wirtschaft und Behörde, ob als Ingenieur, Architekt oder Praktiker gefordert, breitgefächerte technische und ökologische Fragen zu…

Bauchemie

E-Book Bauchemie
Format: PDF

Mehr denn je ist der Entscheidungsträger in Wirtschaft und Behörde, ob als Ingenieur, Architekt oder Praktiker gefordert, breitgefächerte technische und ökologische Fragen zu…

Weitere Zeitschriften

Archiv und Wirtschaft

Archiv und Wirtschaft

"Archiv und Wirtschaft" ist die viermal jährlich erscheinende Verbandszeitschrift der Vereinigung der Wirtschaftsarchivarinnen und Wirtschaftsarchivare e. V. (VdW), in der seit 1967 rund 2.500 ...

Augenblick mal

Augenblick mal

Die Zeitschrift mit den guten Nachrichten "Augenblick mal" ist eine Zeitschrift, die in aktuellen Berichten, Interviews und Reportagen die biblische Botschaft und den christlichen Glauben ...

Courier

Courier

The Bayer CropScience Magazine for Modern AgriculturePflanzenschutzmagazin für den Landwirt, landwirtschaftlichen Berater, Händler und generell am Thema Interessierten, mit umfassender ...

küche + raum

küche + raum

Internationale Fachzeitschrift für Küchenforschung und Küchenplanung. Mit Fachinformationen für Küchenfachhändler, -spezialisten und -planer in Küchenstudios, Möbelfachgeschäften und den ...

die horen

die horen

Zeitschrift für Literatur, Kunst und Kritik."...weil sie mit großer Aufmerksamkeit die internationale Literatur beobachtet und vorstellt; weil sie in der deutschen Literatur nicht nur das Neueste ...

building & automation

building & automation

Das Fachmagazin building & automation bietet dem Elektrohandwerker und Elektroplaner eine umfassende Übersicht über alle Produktneuheiten aus der Gebäudeautomation, der Installationstechnik, dem ...

F- 40

F- 40

Die Flugzeuge der Bundeswehr, Die F-40 Reihe behandelt das eingesetzte Fluggerät der Bundeswehr seit dem Aufbau von Luftwaffe, Heer und Marine. Jede Ausgabe befasst sich mit der genaue Entwicklungs- ...