28.06.2013 Views

Domain-Specific Modeling Languages for Embedded System ...

Domain-Specific Modeling Languages for Embedded System ...

Domain-Specific Modeling Languages for Embedded System ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!