L'embarqué > Nouveaux produits

Nouveaux produits

- Outil de conception de logiciels communicants avec intégration de FreeRTOS

Publié le 08 janvier 2021        PragmaDev

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....

Partager Lire

- Outil logiciel de vérification des chemins inatteignables dans les processus métier

Publié le 24 avril 2020        PragmaDev

Mis au point par PragmaDev et résultat d’un projet de recherche financé par la DGA avec des cas d’étude réels venant d’Eurocontrol et d’Airbus DS, l’outil PragmaDev Process permet de vérifier les processus métier décrits avec la notation BPMN (Business Process Model Notation). Grâce à son moteur d’exploration, cette version peut automatiquement identifier les scénarios impossibles dans le processus métier écrit sous forme de modèle graphique....

Partager Lire

Nouveaux produits par entreprises