Domain-Specific Modeling Languages for Embedded System ...
Domain-Specific Modeling Languages for Embedded System ...
Domain-Specific Modeling Languages for Embedded System ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Design space exploration<br />
Per<strong>for</strong>mance analysis, error analysis, fault tolerance etc.<br />
– Integrate with tools like ABSOLUT, SPIN, UPPAAL, etc.<br />
– Annotate results back to models