Bridging the Gap Between SysML and Design Space Exploration.

Mauro Prevostini Sivakumar Ganesan

Published in: FDL (2006)

Keyphrases

design space exploration
formal methods
design space
safety analysis
modeling language
computer architecture
design process
hardware software partitioning
nuclear power plant
high level synthesis
artificial intelligence
machine learning
search space
metamodel
safety critical