PragmaDev Studio V5.6 propose l’intégration de la dernière version de FreeRTOS.

1 janvier 2022

PragmaDev Studio est une suite d’outils dédiés à la spécification et laconception 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é, FreeRTOSintè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 WaylandPragmaDev Studio V5.6 supporte Wayland sur les plateformes Linux. Mise à l’échelle sur WindowsPragmaDev 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 externesLe simulateur de modèle peut appeler des procédures externes écrites dans n’importe quel autrelangage 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’exigencesLe visualiseur d'exigences est maintenant aussi un éditeur permettant d'ajouter ou de retirer des exigences. Export PDF directL'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 simulationPlusieurs 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 PragmaDevPragmaDev 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