PragmaDev

helps managing complexity inherent to developing state of the art systems. It integrates three 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 technology used results in 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.

PragmaDev Developer helps software designers to write maintainable and self documented code. The technology used for development describes the architecture and contains a graphical view of the main paths of execution down to the code itself.

PragmaDev Tester helps testers to write validation and integration tests with an abstract dedicated language. A substantial number of test cases with this technology are published by international standardization bodies to ensure conformance to their specifications.

The complete tool set includes bridges from one tool to the to other such as automatic test case generation out of a functional model (model based testing).

PragmaDev has established partnership with key players in the real time domain. Customers include Airbus, Renault, Alcatel-Lucent, ST, ABB, the French Army, the European Space Agency, Toshiba, Korean Telecom, or LG Electronics.
Official website: www.pragmadev.com