468
Sachverzeichnis
SNR, 156
SoC, 163
soft core, 183
SpecC, 25, 105
specific heat, 297
specificity, 283
Spectre, 214
Speicher, 184
-hierarchie, 185
flüchtiger ~, 181
Flash ~, 240
hierarchie, 394
persistenter ~, 181, 184
Speicherschutz, 434
Spezifikationssprachen, 31
Spezifizität, 283
Spinnennetzdiagramm, 264
SPM, 394–396, 398, 399
Sporadic Task Server, 346
Sprache, 31
aktorbasierte ~, 83
synchrone ∼, 66
Störung, 306
stack resource policy (SRP), 238
state diagram, 34
StateCharts, 55, 136
StateMate, 61
Stellen/Transitions-Netze, 87
STEP 7, 67, 127
Steuerspeicher mit zwei Ebenen, 165
Stoß
teilelastischer ~, 12, 50
Stoßzahl, 12, 51
Streaming SIMD Extensions (SSE), 170
stuck-at-error, 415
sukzessive Approximation, 153
Symbole
für Gatter, 63
für Speicher, 163
SymTA/S, 278
Synchronisation, 32
Synchronous Data Flow (SDF), 131
Synthese, 27
System
dediziertes ~, 19
hybrides ∼, 12
reaktives ~, 135
System on a Chip (SoC), 16, 163
SystemC, 107, 127, 374
SystemCodesigner, 373
Systemebene, 127
Systemsoftware, 221
SystemVerilog, 121
TAI, 227, 257
Task, 36, 323
aperiodische ~, 324
periodische ~, 324, 326, 338, 339, 343, 346
sporadische ~, 324, 346
task set, 324
Task-Descriptor List (TDL), 327
Task-Graph, 39
Aufteilen von Knoten, 389
Task-Menge, 324
TDMA, 194, 369
Temperaturmanagement, 409
Tensor Processing Unit (TPU), 180
Terminierung, 36
Test, 413
notwendiger ~, 330
Testbarkeit, 419
Testmuster, 414
Testmustererzeugung, 415
pseudo-zufällige ~, 423
thermal capacitance, 297
thermal capacity, 297
thermal conductance, 296
Thermal Design Power (TDP), 297
Thermische Modelle, 294
thermischer Widerstand, 296
Thread, 36, 38, 222, 223
THUMB, 164
Tiefpassfilter, 150, 203
Time Division Multiple Access (TDMA), 193
Time-Triggered Protocol (TTP), 195
Timer, 33, 60, 72
timing analysis, 268
TPG, 415
Transaction-Level Modeling (TLM), xi, 103
Transaktionsebene
Modellierung auf ~, 128
Translation Look-Aside Buffer (TLB), 434
Triplet-Notation, 330
True Positive (TP), 281
ubiquitous computing, 1
UML, 74, 132
UML-Profil, 134
Unified Modeling Language (UML), 46, 94,
133
Universal Plug-and-Play (UPnP), 256
Universal Serial Bus (USB), 193
Unterbrechung, 225
UPPAAL, 55, 318
use case, 46
UTC, 227, 257
utilization, 354, 357
Sachverzeichnis
SNR, 156
SoC, 163
soft core, 183
SpecC, 25, 105
specific heat, 297
specificity, 283
Spectre, 214
Speicher, 184
-hierarchie, 185
flüchtiger ~, 181
Flash ~, 240
hierarchie, 394
persistenter ~, 181, 184
Speicherschutz, 434
Spezifikationssprachen, 31
Spezifizität, 283
Spinnennetzdiagramm, 264
SPM, 394–396, 398, 399
Sporadic Task Server, 346
Sprache, 31
aktorbasierte ~, 83
synchrone ∼, 66
Störung, 306
stack resource policy (SRP), 238
state diagram, 34
StateCharts, 55, 136
StateMate, 61
Stellen/Transitions-Netze, 87
STEP 7, 67, 127
Steuerspeicher mit zwei Ebenen, 165
Stoß
teilelastischer ~, 12, 50
Stoßzahl, 12, 51
Streaming SIMD Extensions (SSE), 170
stuck-at-error, 415
sukzessive Approximation, 153
Symbole
für Gatter, 63
für Speicher, 163
SymTA/S, 278
Synchronisation, 32
Synchronous Data Flow (SDF), 131
Synthese, 27
System
dediziertes ~, 19
hybrides ∼, 12
reaktives ~, 135
System on a Chip (SoC), 16, 163
SystemC, 107, 127, 374
SystemCodesigner, 373
Systemebene, 127
Systemsoftware, 221
SystemVerilog, 121
TAI, 227, 257
Task, 36, 323
aperiodische ~, 324
periodische ~, 324, 326, 338, 339, 343, 346
sporadische ~, 324, 346
task set, 324
Task-Descriptor List (TDL), 327
Task-Graph, 39
Aufteilen von Knoten, 389
Task-Menge, 324
TDMA, 194, 369
Temperaturmanagement, 409
Tensor Processing Unit (TPU), 180
Terminierung, 36
Test, 413
notwendiger ~, 330
Testbarkeit, 419
Testmuster, 414
Testmustererzeugung, 415
pseudo-zufällige ~, 423
thermal capacitance, 297
thermal capacity, 297
thermal conductance, 296
Thermal Design Power (TDP), 297
Thermische Modelle, 294
thermischer Widerstand, 296
Thread, 36, 38, 222, 223
THUMB, 164
Tiefpassfilter, 150, 203
Time Division Multiple Access (TDMA), 193
Time-Triggered Protocol (TTP), 195
Timer, 33, 60, 72
timing analysis, 268
TPG, 415
Transaction-Level Modeling (TLM), xi, 103
Transaktionsebene
Modellierung auf ~, 128
Translation Look-Aside Buffer (TLB), 434
Triplet-Notation, 330
True Positive (TP), 281
ubiquitous computing, 1
UML, 74, 132
UML-Profil, 134
Unified Modeling Language (UML), 46, 94,
133
Universal Plug-and-Play (UPnP), 256
Universal Serial Bus (USB), 193
Unterbrechung, 225
UPPAAL, 55, 318
use case, 46
UTC, 227, 257
utilization, 354, 357