Index
C, D
code generation
combinatorial testing
conformance testing
coverage criteria
delay characteristic
driver
E, F
embedded systems
ESL
exhaustive simulation
FPGA
I, L
Input/Output Symbolic Transition Systems
LQN
M
MARTE
MDA
MDD
metamodel-based test generation
model transformation
model-driven engineering
modeling languages
P, R
performance analysis
real-time
S
SoC/SoPC
survey
symbolic execution
SysML
T
taxonomy
test adequacy criteria
test input generation
test purposes
U
UML
Get Model Driven Engineering for Distributed Real-Time Embedded Systems 2009: Advances, Standards, Applications and Perspectives now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.