PragmaDev Studio est une suite d’outils dédiés à la spécification et la
conception des logiciels communicants complexes. La version 5.6 propose l’intégration de la version 10.3.1 de FreeRTOS.

FreeRTOS est un noyau petit et simple qui a été porté sur plus de 35 microcontrôleurs. Régulièrement cité comme l’exécutif temps réel le plus populaire dans l’étude Aspencore sur le marché de l’embarqué, FreeRTOS
intègre un noyau et un nombre grandissant de librairies utilisables dans tous les secteurs industriels.

SDL, le langage de modélisation au coeur de PragmaDev Studio, est étroitement lié aux exécutifs temps réel. Les services de base proposés par ces noyaux (messages, exécution concurrente, timers…) ont une représentation graphique dans le langage SDL et la même sémantique.

« SDL et SDL-RT restent les meilleurs langages de modélisation pour les applications s’appuyant sur des exécutifs temps réel. Les différentes intégrations proposées dans notre distribution facilitent le déploiement sur la cible finale. » précise Emmanuel Gaudin, directeur fondateur de PragmaDev.

Parmi les nouveautés majeures on retiendra:

  • Support de Wayland
    PragmaDev Studio V5.6 supporte Wayland sur les plateformes Linux.
  • Mise à l’échelle sur Windows
    PragmaDev Studio prend maintenant en compte la résolution de l’écran en interne afin de permettre une mise à l’échelle des polices sous Windows. Toutes les icônes sont aussi automatiquement mises à l’échelle. Ceci est particulièrement utile sur les portables qui utilisent un facteur de zoom important.
  • Procédures externes
    Le simulateur de modèle peut appeler des procédures externes écrites dans n’importe quel autre
    langage via le XML-RPC. Si la procédure est écrite en C le wrapper XML-RPC peut maintenant
    être généré automatiquement. La convention est la même que pour la génération de code, de ce fait la même implémentation peut être utilisée en simulation et sur cible.
  • Éditeur d’exigences
    Le visualiseur d’exigences est maintenant aussi un éditeur permettant d’ajouter ou de retirer des exigences.
  • Export PDF direct
    L’export PDF est maintenant disponible comme format d’export et comme format de publication.
    Des entrées de menu ont été ajoutées pour imprimer tous les diagrammes dans un fichier PDF.
  • Amélioration des performances de simulation
    Plusieurs améliorations de performance ont été introduites, en particulier une modification de la fréquence de déclenchement du ramasse-miettes
Source : communiqué de presse Pragmadev 

A propos de PragmaDev
PragmaDev est une société indépendante basée à Paris en France qui fournit deux suites d’outils: PragmaDev Process pour la description et la vérification des processus métiers, et PragmaDev Studio pour la spécification et la conception des systèmes communicants. PragmaDev compte parmi ses clients Airbus, Nokia, Renault, Wipro, la DGA, ST-Microelectronics, Korean Telecom, l’Agence Spatiale Européenne, Toshiba, et LG Electronics.

www.pragmadev.com