Real Time Developer Studio (RTDS) tool for ... - PragmaDev
Real Time Developer Studio (RTDS) tool for ... - PragmaDev
Real Time Developer Studio (RTDS) tool for ... - PragmaDev
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>PragmaDev</strong> – Modelling levels<br />
In<strong>for</strong>mal modelling <strong>for</strong> requirements: UML<br />
• Edition<br />
• C++ stubs generation<br />
Semi-<strong>for</strong>mal modelling <strong>for</strong> design: SDL-RT<br />
• Edition<br />
• Syntaxic et semantics checking<br />
• Code generation<br />
• Graphical debugging<br />
Fully <strong>for</strong>mal modelling <strong>for</strong> specification: SDL Z.100<br />
• Edition<br />
• Syntaxic et semantics checking<br />
• Simulation<br />
• Verification<br />
• Code generation<br />
• Graphical debugging<br />
• Test<br />
19/04/2010<br />
TASTE an assert-project / ESA / Confidential<br />
5