Real Time Developer Studio (RTDS) tool for ... - PragmaDev
Real Time Developer Studio (RTDS) tool for ... - PragmaDev
Real Time Developer Studio (RTDS) tool for ... - PragmaDev
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>PragmaDev</strong> – Model checking<br />
• Partnership with Verimag on IF<br />
technology.<br />
19/04/2010<br />
• Exhaustive simulation,<br />
• Observers,<br />
• Test generation.<br />
• <strong>RTDS</strong> feature<br />
• Export to IF,<br />
• Execute a script<br />
• Generate an MSC<br />
feedback.<br />
TASTE an assert-project / ESA / Confidential<br />
15