As part of the national Industry day PragmaDev demonstrated a digital twin of Cosmyx 3D printing micro-factory via MQTT protocol.
Presentation of our paper at the 15th SAM conference, a satellite of Models, on Oct 2, 2023 in Västerås, Sweden.
Presentation at the 8th UCAAT (User Conference on Advanced Automated Testing) on Oct 20, 2021.
PragmaDev Process main functionalities explained in 10mn.
PragmaDev Process simulation feature explained in 10mn.
PragmaDev Process resource optimization.
What we do explained in seven minutes.
Live presentation at UCAAT 2018 on Oct 17 in Paris.
Emmanuel Gaudin introduces the new PragmaDev Studio toolset.
This paper presentation discusses how to model a railway system with an asynchronous technology. Paper - Slides.
Emmanuel Gaudin presents a joint work with ST Microelectronics to model interrupts in SDL and simulate them. This presentation was held during the SDL Forum in Berlin on Oct 12, 2015.
PragmaDev presentation during M2M Innovation World Congress held in Marseille, France on Sep 9, 2014.
Training video on BPSim that allows to run simulation on business processes written in BPMN in order to evaluate the lead time and the cost, as well as to optimize resources allocated to the different activities in the process.
An introduction to Specification and Description Language - Real Time.
An introduction to Business Process Model & Notation.
An introduction to Specification and Description Language including an example.
An introduction to TTCN-3 language including an example.
An introduction to ASN.1 notation including its classical encoding rules.
Presentation of a use case in the space domain done with Airbus Defence & Space aiming at optimizing communication links from a satellite to earth.
Maxime Perrotin from ESA presents TASTE, a framework that combines complementary modeling technolgies such as Scade, Matlab, SDL, and Ada in one consistent environment.
This paper presentation discusses how to test distributed systems with a lot of instances of the same sub system. Paper - Slides.
PragmaDev deployment simulator presentation and demonstration during the RTS 2015 conference in Paris on Apr 2, 2015.
PragmaDev Tracer feature presentation during the UCAAT 2014 conference in Munich Germany of its work done in the European PRESTO project.
Rick Reed is Chairman at the SDL Forum society. This invited presentation concerns a revised version of the ITU-T Specification and Description Language standard, which is scheduled to be consented for approval by ITU-T during 2011. In this presentation and ongoing ITU-T work the revised version is called SDL-2010. At the time of writing (April 2011) the current standardized (or in ITU-T terminology Recommended) version is called SDL-2000. The presentation gives some historical background on the development of the language. The presentation includes rationale for the update of the language and the revised organization of the language standard. After the history, there is a description of the new organization followed by some details of the changed feature set of a revised version SDL-2010 compared with SDL-2000. The presentation concludes with a snapshot of the status of the SDL-2010 standard. This presentation was filmed during the SDL Forum 2011 hosted by IRIT in Toulouse.
The slides of the presentation can be found here.