Model-based Design Space Exploration for RTES with SysML and MARTE.

Marcello Mura Luis Gabriel Murillo Mauro Prevostini

Published in: FDL (2008)

Keyphrases

design space exploration
design space
design process
computer architecture
hardware software partitioning
formal methods
high level synthesis
modeling language
e learning
case study
distributed computing