Real Time Developer Studio (RTDS) tool for ... - PragmaDev

ePAPER READ

DOWNLOAD ePAPER

pragmadev.com

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

START NOW

PragmaDev – Model coverage

• Graphical model

coverage analysis

• Merge feature

19/04/2010

TASTE an assert-project / ESA / Confidential

Le langage SDL et son domaine d'emploi - PragmaDev

Real Time Developer Studio user's manual - PragmaDev

PragmaDev launches Real Time Developer Studio V1.0

PragmaDev – Message Sequence Chart Execution traces: • States, • Events, • Semaphores, • Timers. Trace level configuration Display of system time MSC Diff allows to check: • Conformity, • Non-regression. 19/04/2010 TASTE an assert-project / ESA / Confidential 12

PragmaDev – Model coverage • Graphical model coverage analysis • Merge feature 19/04/2010 TASTE an assert-project / ESA / Confidential 13

Page 1 and 2: 19/04/2010 TASTE an assert-project
Page 3 and 4: PragmaDev - Core technology Specifi
Page 5 and 6: PragmaDev - Modelling levels Inform
Page 7 and 8: PragmaDev - Documentation generatio
Page 9 and 10: PragmaDev - Code generation options
Page 11: PragmaDev - Model debugger Dependin
Page 15 and 16: PragmaDev - Model checking • Part
Page 17: PragmaDev - Conclusion 19/04/2010

Real Time Developer Studio (RTDS) tool for ... - PragmaDev

Create successful ePaper yourself

Delete template?

Save as template?