|
Jumeau numérique d'un processus BPMN
A l'occasion de la journée de l'industrie PragmaDev a développé un démonstrateur de jumeau numérique du processus d'impression 3D de la micro-usine Cosmyx via le protocole MQTT.
Exploration agnostique appliquée aux modèles SDL
Presentation à la 15ème conférence SAM, conférence satellite de Models, le 2 ocotbre 2023 à Västerås en Suède.
Test automatique des processus métier
Presentation à la 8ème conférence UCAAT (User Conference on Advanced Automated Testing) le 20 octobre 2021.
Vérification des processus métier
Démonstration des fonctionnalités de vérification de PragmaDev Process.
Simulation des processus métier
Démonstration des fonctionnalités de simulation de PragmaDev Process.
Optimisation des ressources pour les processus métier
Optimisation des ressources.
Introduction rapide de PragmaDev Studio
Ce que nous faisons expliqué en 7 minutes.
Faciliter le test des systèmes synchrones.
Présentation lors de la conférence UCAAT à Paris le 17 octobre 2018.
Présentation de PragmaDev Studio au salon Enova 2015 à Paris (en Français).
Emmanuel Gaudin présente le nouveau PragmaDev Studio.
Modélisation asynchrone d'un système ferroviaire (Français)
Présenté à la conférence ERTS2 le 29 janvier 2016 à Toulouse par Emmanuel Gaudin
Cet article présente comment modéliser un système ferroviaire avec une technologie asynchrone. Article - Planches.
Une expérimentation pour introduire les interruptions dans le LDS
Emmanuel Gaudin présente le résultat d'un travail commun avec ST Microelectronics pour modéliser les interruptions en LDS et les simuler. Cette présentation s'est déroulée à la conférence SDL Forum le 12 octobre 2015 à Berlin.
Spécification et conformité des applications M2M
Présentation de PragmaDev lors du congrès M2M Innovation World Congress à Marseille le 9 septembre 2014.
Une introduction à BPSim
Une vidéo de formation sur le BPSim qui permet la simulation des processus métier décrits en BPMN afin d'évaluer le temps d'exécution, les couts associés, ainsi que d'optimiser les ressource allouées aux différentes activités.
Une introduction au SDL-RT
Une introduction au Langage de Description et de Spécification - Temps Réel.
Une introduction au BPMN
Une introduction au Business Process Model & Notation .
Une introduction à LDS
Une introduction au Langage de Description et de Spécification agrémentée d'un exemple.
Une introduction à TTCN-3
Une introduction à TTCN-3 agrémentée d'un exemple.
Une introduction à ASN.1
Une introduction à l'ASN.1 et à ses règles encodages.
Optimisation d'architecture JuIcE, un cas d'étude dans le domaine spatial.
Présentation d'un cas d'étude dans le domaine spatial réalisé avec Airbus Defence & Space dans le but d'optimiser les liens de communication d'un satellite vers la terre.
TASTE en action
Maxime Perrotin de l'Agence Spatiale Européenne présente TASTE, un environnement qui combinent des technologies complémentaires comme Scade, Matlab, LDS, et Ada dans un environnement homogène.
Entrelacement automatique dans les systèmes distribués
Présentation d'un article sur le test des systèmes distribués dont un des sous-systèmes est instantié de nombreuses fois. Article - Planches.
Simulateur de déploiement d'objets connectés
Présentation et démonstration du simulateur de déploiement de PragmaDev durant la conférence RTS 2015 le 2 avril 2015 à Paris.
Vérification de propriétés sur des traces d'exécution
Présentation des capacités de vérification de propriétés du PragmaDev Tracer issu du projet européen PRESTO lors de la conférence UCAAT 2014 à Munich en Allemagne.
SDL-2010: Contexte, Logique, et Usage
Rick Reed, président de l'association SDL Forum, présente la dernière version du Langage de Description et de Spécification dont l'approbation par l'Union Internationale des Télécommunications est prévue en 2011. Dans cette présentation et dans les travaux de l'UIT cette version est appelée SDL-2010. Au moment de l'écriture (Avril 2011) la version courante du standard est appelée SDL-2000. Cette présentation explique la logique de cette mise à jour et la nouvelle organisation du standard. Après un historique, la nouvelle organisation est présentée, suivie des nouvelles fonctionnalités détaillées et comparées à la version précédente. Cette présente conclut sur l'état d'avancement du standard SDL-2010. Cette présentation a été filmée durant la conférence SDL Forum 2011 à l'IRIT à Toulouse.
Les planches de cette présentation sont disponibles ici.