|
Introduction à PragmaDev Process
Les grandes fonctionnalités de PragmaDev Process expliquées en 10mn.
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.
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.
Tutoriel SDL-RT
Tutoriel SDL-RT présenté par Eric Brunel au SDL Forum en 2007. Cette vidéo nécessite le lecteur QuickTime.Eric Brunel est co-fondateur de la société PragmaDev, et co-concepteur du langage SDL-RT. Il participe au groupe de travail de l'Union Internationale des Télécommunications sur les langages de conception de systèmes. Avant la création de la société, il a travaillé pendant 10 ans comme chef de projet pour le développement d'outils de développement et de modélisation internes chez un grand équipementier de télécommunications. C'est un spécialiste d'UML, de SDL et de SDL-RT, et c'est un expert des méthodologies de développement orientées objet, de l'extreme programming, et du développement piloté par les tests.
Les planches de la présentation peuvent être téléchargées ici.
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.
Vérification de modèle avec FIACRE
Vidéo de la présentation de l'article Traduction de SDL en Fiacre à la conférence ERTS2 le 6 février 2014 à Toulouse.
Démonstration Flash d'une preuve de concept de la vérification de modèle LDS avec FIACRE. La démonstration présente un système LDS simple, l'exportation de ce modèle en FIACRE, et sa vérification dans TINA.
