Home > Company > Services


PragmaDev provides a 2 days training on PragmaDev Studio so that new users can get up to speed as quickly as possible. The covered topics are:

  • SDL language,
  • SDL-RT language,
  • TTCN-3 language,
  • Design methodology,
  • Use case with the tool.

Trainings can take place at the customers' site with a minimum of two trainees.


Introducing a new tool and a new language -even close to what used to be done before- might be disturbing in a development team when used for the first time. PragmaDev can follow up the customer's project and make sure the language and the tool are properly used. Our experience and knowledge of the tool permits to detect critical technical problems right at the beginning of the project. Usual steps are:

  • Technical environment analysis:
    • RTOS integration,
    • Cross compiler and debugger compatibility,
    • External module integration,
    • Legacy code.
  • Application development:
    • Specification,
    • Architecture,
    • Design,
    • Debug.
  • Integration and test,
    • Unitary testing with simulation on host,
    • Test scenarios definitions,
    • Integration testing on target.
  • Tool benefits analysis.

Change management

Introducing abstract models and/or test cases is a major change compared to classical development processes. This not only introduces new languages, but this changes the roles of the different stakeholders. Developers and testers have the opportunity to raise their abstraction level and get closer to the requirements. Because such a change might be destabilizing we partner with Valuways, member of the Action Coach network, to help our customers to manage the organizational change induced.

Change process
Change process

Tool customization

PragmaDev is always pleased to work on integration with third party tools since it enlarges PragmaDev Studio offering. Usual customizations are:

  • Proprietary or COTS RTOS integration,
    The generated code out of SDL-RT can directly run on the customer's RTOS without any further operation.
  • Debugger integration,
    Graphical debuging when running on a target might require a tool customization.
  • Third party tool integration,
    Link your model to a third party tool in order to work in a consistent environment.

Use cases

The validation of a new technology requires some thorough evaluation. Because our prospects have often limited resources available for such an experiment, PragmaDev can help to set up a representative use case.

Other services

PragmaDev has established a network of partners to offer all kinds of services around its product such as:

  • Consulting,
  • Third party tools integration,
  • Software developments,
  • Hardware developments.
For our customers, having external partners is a guarantee of quality since each partner is a specialist in its respective area.

Nevertheless a unique speaker among the partners is the interface with the customer and coordinates the teams. This organization offers great flexibility allowing to handle very large project with highly skilled consultants in their respective areas.

From model to implementation