Accueil > Technologie > Présentations


Introduction rapide

Ce que nous faisons expliqué en 7 minutes.


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.

SDL 2010 presentation

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.

SDL-RT Tutorial

Les planches de la présentation peuvent être téléchargées ici.

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.


Optimisation système, 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.

State space in TINA