Cooperation PragmaDev
PragmaDev provides a set of modeling and testing tools that helps managing complexity inherent to developing state of the art communicating systems. PragmaDev Studio integrates different tools based on international standards. The tools target architects/system engineers, developers, and testers.
PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency. The underlying technology SDL (Specification and Description Language) produces a graphical and executable model. Verification and validation of the dynamic of the system is done with the integrated simulator, and the best architecture is analyzed with a unique performance analyzer.
An integrated export to IF (Intermediate Format) allows model checking with Verimag IF toolset.
Verimag people involved
