L’outil de modélisation, de test et de validation PragmaDev Studio de PragmaDev, dans sa version 5.6, intègre la version 10.3.1 du système d’exploitation FreeRTOS, un petit noyau associé à un nombre grandissant de bibliothèques utilisables dans tous les secteurs industriels, et porté sur plus de 35 microcontrôleurs. SDL, le langage de modélisation au coeur de PragmaDev Studio, est lié à ce type d’exécutifs temps réel car les services de base proposés (messages, exécution concurrente, timers...) ont une représentation graphique dans le langage SDL....

- Prise en charge de Wayland, protocole de serveur d'affichage et bibliothèque logicielle libre sur les plateformes Linux

- Mise à l’échelle sur Windows (prise en compte de la résolution de l'écran en interne pour une mise à l'échelle des polices)

- Simulateur de modèle capable d’appeler des procédures externes écrites dans n’importe quel langage via le XML-RPC

- Export PDF est disponible comme format d'export et comme format de publication

- Modification de la fréquence de déclenchement du ramasse-miettes pour améliorer les performances en simulation