http://www.pragmadev.com PragmaDev news feed https://parisairforum.fr/en https://parisairforum.fr/en The Paris Air Forum is a major event dedicated to the aeronautics and space industry, held each year in Paris and bringing together key players in the sector to discuss current and future challenges facing aviation. Its purpose is to encourage dialogue between airline executives, major industrial companies such as Airbus, Air France, and Safran, political representatives, experts, and specialized media, while highlighting the major transformations shaping the industry. Discussions focus in particular on environmental challenges, including the reduction of CO? emissions and the development of sustainable fuels, as well as on technological innovations such as next-generation aircraft and the digitalization of air transport. Economic issues are also central, especially the growth of air traffic and the impact of recent global crises, while emerging forms of mobility like drones and flying taxis are explored. Overall, the Paris Air Forum stands out as a key event that helps shape strategic decisions within the industry and reinforces France's leading role in aeronautics, while contributing to global reflection on the future of air transport in the context of innovation and ecological transition. Thursday, 26 Mar 2026 11:00:00 +0100 https://hal.science/ERTS2026/hal-05513255v1 https://hal.science/ERTS2026/hal-05513255v1 The aerospace industry is faced with highly complex and critical operational scenarios, exemplified by aircraft ground handling, where efficiency and safety are paramount. Simulation has become crucial for managing this complexity, allowing for analysis and optimization. Critical Path Analysis (CPA) helps identify the sequence of tasks determining the overall duration. Even though operations are formalized, Model-Based Systems Engineering (MBSE) tools utilizing SysML Activity Diagrams (AD) lack sophisticated CPA and formal verification. To address these limitations, this paper proposes a model transformation approach for converting SysML ADs into Business Process Model and Notation (BPMN) diagrams. The contributions of this paper include defining mapping rules for transforming relevant SysML AD constructs to BPMN and demonstrating this transformation's feasibility using an aircraft standing phase case study. The results show that this approach enables advanced analyses, such as stochastic CPA and formal verification, which are challenging to perform directly within the original SysML modeling environment. Thursday, 19 Feb 2026 12:00:00 +0100 https://conference-erts.org/ https://conference-erts.org/ The ERTS Congress (Embedded Real-Time Systems) is a premier international event, bringing together academia, research, and industry to foster innovation in embedded software and systems. PragmaDev will be part of the specialized exhibition that completes the event and will co-present a paper on "Enhancing Simulation and Analysis of Aircraft Operational Scenarios via SysML Activity Diagram to BPMN Transformation" with Airbus. Mon, 8 Dec 2025 16:00:00 +0100 http://www.pragmadev.com/product/newFeaturesProcess340.html http://www.pragmadev.com/product/newFeaturesProcess340.html PragmaDev Process aims to verify and optimize operational process models described using BPMN (Business Process Model and Notation). The new version of the tool allows users to further document each symbol of the modeled process with formatted text. Large organizations or complex technical systems are based on processes that can be modeled graphically. The most popular notation is BPMN. It describes what the different participants do and how they interact with each other. Version 1 of PragmaDev Process introduced the market's first BPMN model animator, version 2 introduced a statistical simulator of process performance, and version 3 introduced the management of resources associated with processes. PragmaDev Process V3.4 introduces several features to facilitate process reading and simulation results analysis: 1) Textual Description: It is now possible to associate a formatted textual description with each symbol in the process. Based on the markdown formalism, an informal description can be associated with each activity and saved in the model. Links to external documents and embedded images can be inserted in the description. This allows the process model to be supplemented with explanations or details without compromising its readability. 2) Final Simulation State: Following a simulation, all execution logs are saved. To analyze what happened during a scenario, it is useful to view the final state of the process. In previous versions, this required saving the log as a scenario and replaying it in the execution engine. The new version allows you to directly access the final state with a single click. 3) Messages displayed in the critical path: In previous versions, the critical path did not display message exchanges, which could sometimes make analysis quite difficult. The new version also displays messages within the critical paths. Tue, 18 Nov 2025 10:00:00 +0100 https://nextmove.fr/en/formations https://nextmove.fr/en/formations NextMove is a European competitiveness cluster created in June 2006 and located in the Normandy and Paris regions, NextMove embodies, animates and promotes the "Mobility Valley", a territory of European excellence where solutions are invented, developed, tested and industrialized to meet the mobility challenges of today and tomorrow. Tue, 27 May 2025 10:00:00 +0200 https://ensta.fr/en/ https://ensta.fr/en/ As a member of the Institut Polytechnique de Paris (IP Paris) and included in the ecosystems of the Paris-Saclay campus in Palaiseau and the Grand Ouest region, ENSTA now has over 2,000 students, 200 professors and 300 PhD students, 9 renowned research laboratories, some 30 joint chairs and laboratories, and a community of 20,000 alumni. By expanding its multi-disciplinary offering with a scientific and technical base unrivaled in France and Europe, the school is reinforcing its training and research excellence. This attractiveness and its place among France's top engineering schools will enable it to continue writing the history of the greatest engineering achievements. Mon, 17 Mar 2025 12:00:00 +0100 https://sdl-forum.org/Events/SAM2025/index.php https://sdl-forum.org/Events/SAM2025/index.php The 2025 edition of SAM focuses on "Systems modeling and analysis for trustworthy AI." The scope includes advancements/usage of languages/methods standardized by the ITU-T and domain-specific languages for state-of-practice domains like artificial intelligence, digital twins, no code, low code, DevOps, and metaverse. Also included are software engineering technologies, such as agile methods, and development aspects, such as requirements engineering, software verification and validation, model checking, code generation, tool support, and training. SAM 2025 is co-located with MODELS 2025 in Ann Arbor, MI, USA. Fri, 20 Feb 2025 11:00:00 +0100 https://youtu.be/IIHqHGIWCfM https://youtu.be/IIHqHGIWCfM Presentation of our paper at SAM 2024 conference in Linz, Austria on Sep 23, 2024. Wed, 26 Nov 2024 13:30:00 +0200 https://sdl-forum.org/Events/SAM2024/papers.php https://sdl-forum.org/Events/SAM2024/papers.php There is a high demand for low code development environments, whether it is to accelerate application development in a highly technical setting or for end users to personalize a device. According to market intelligence provider IDC in January 2023, the market is expected to experience a 17.8% annual growth from 2021 to 2026, with projected revenues reaching up to $21 billion. Low code serves as an abstraction to traditional programming languages, resembling a modeling language. Various proprietary notations have been developed specifically for low code development, although they lack standardization, portability, and reusability, often necessitating some level of training. This study delves into the characteristics of low code notations and explores whether established standard modeling languages like SDL or BPMN could serve as viable alternatives through simple practical use cases. Mon, 4 Nov 2024 17:00:00 +0200 https://www.nafems.org/events/nafems/2024/nafems-france-conference-2024/ https://www.nafems.org/events/nafems/2024/nafems-france-conference-2024/ PragmaDev and Eurocontrol will present their work and thoughts on business processes: "Business processes: verification, optimisation, and reality" at the NAFEMS conference on system simulation on November 19. NAFEMS provides the engineering analysis community with as many as fifty seminars, conferences, workshops and open forums throughout the world each year. As the only truly independent organisation dedicated to engineering analysis and simulation NAFEMS' events are widely held to encompass the broadest and most accurate view of the community available. Fri, 18 Oct 2024 17:00:00 +0200 http://www.pragmadev.com/product/newFeaturesProcess330.html http://www.pragmadev.com/product/newFeaturesProcess330.html PragmaDev Process aims at verifying and optimizing business process models described with BPMN (Business Process Model and Notation). The new version of the tool automatically optimizes the number of replications necessary for a statistical simulation. Complex organizations or system operations are based on processes that can be modeled graphically. The most popular notation is BPMN. It describes what the different participants in the organisation do and how they interact with each other. Version 2.0 has introduced a statistical simulator of the process performance and version 3.0 has introduced resource management associated to the processes. Because BPMN simulations are based on statistical data, each scenario has to be repeated a substantial number of times so that the results eventually converge. The number of repetitions, called replications, is a tough number to evaluate. So a large arbitrary number is often used, making simulations quite long and tedious. PragmaDev Process V3.3 introduces a replication number optimizer that automatically evaluates if there is a need to continue repetitions of the scenario. For that matter the tool needs: a desired accuracy, called Precision. A confidence level of 95% means that for a given number of subsequent replications, the values of 95% of those replications should fall in the interval. a lookahead value that is the number of extra replications to run after the desired precision has been reached, in order to make sure the upcoming simulations results still fall in the desired interval. This new feature dramatically reduces the number of replications. Depending on the model we have in some real industrial cases witnessed a reduction by a ratio of a 100. Also included in V3.3 is the export of BPMN models in HTML, with the diagrams exported as SVG images. That allows to keep the navigation links in the export, but also to zoom in without loosing any quality in the model. Thu, 3 Oct 2024 10:00:00 +0200 https://conf.researchr.org/details/models-2024/models-2024-industry-day/15/Resources-the-key-to-business-process-optimization https://conf.researchr.org/details/models-2024/models-2024-industry-day/15/Resources-the-key-to-business-process-optimization MODELS, the ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems, is the premier conference series for model-driven software and systems engineering, and is organized with support of ACM SIGSOFT and IEEE TCSE. Since 1998, MODELS has covered all aspects of modeling, from languages and methods to tools and applications. PragmaDev Process is a BPMN and BPSim tool, result of two research projects: "VeriMoB" financed by the French Army, and "OneWay" financed by the DGAC (French Civil Aviation Authority). PragmaDev Process aims at verifying and optimizing business processes and their associated resources. This talk will present PragmaDev Process current features and the development roadmap. Thu, 5 Sep 2024 16:30:00 +0200 http://www.pragmadev.com/news.html http://www.pragmadev.com/news.html The ERTS Congress is a unique International cross sector event on Embedded Software and Systems, the 'place to be' for actors from universities, research centers and industries : Unique : no other event have this particular mix of scientist and industrial representatives, acting in several domains, that we have in ERTS ! International : half of our 60 program committee members come from outside of France. Cross sector : all the domains where embedded systems are central, including, but not limited to : transportation : aeronautics, automotive, railway, subway and marine ; satellite and space exploration ; e-healthcare ; smart agriculture ; industry ; defence energy ; telecom domains. PragmaDev will be part of the specialized exhibition that completes the event: a selection of tools providers, SMEs specialized in embedded systems development and integration dedicated to your exact needs. Fri, 15 Mar 2024 11:00:00 +0100 https://youtu.be/GDKusg6_X_M https://youtu.be/GDKusg6_X_M An introduction to BPSim for the simulation of business processes described in BPMN. Wed, 6 Mar 2024 16:00:00 +0100 https://sdl-forum.org/Events/SAM2024/sam2024.php https://sdl-forum.org/Events/SAM2024/sam2024.php This year's edition of SAM will focus on "Challenges and Opportunities of Systems Modeling and Analysis in the Era of AI and the Metaverse". This includes advancements/usage of languages/methods standardized by the ITU-T as well as domain-specific languages for state-of-practice domains like artificial intelligence, digital twins, no code, low code, DevOps, and metaverse. Also included are software engineering technologies, such as agile methods and development aspects, such as requirements engineering, software verification and validation, model checking, code generation, tool support and training. Authors are invited to submit papers related to this year's theme including the following non-exclusive list of topics: Evolution of languages, Model-driven development, System engineering models, Industrial application and tools. SAM 2024 is co-located with MODELS 2024 in Linz, Austria. Fri, 9 Feb 2024 18:00:00 +0100 https://youtu.be/pvkDOS81nJw https://youtu.be/pvkDOS81nJw Presentation of PragmaDev Process V3.1 new features, namely fast BPMN edition and BPSim multicore simulation. Mon, 4 Dec 2023 9:00:00 +0100 https://youtu.be/-mD0cUNxU7c https://youtu.be/-mD0cUNxU7c Presentation of our paper at the 15th SAM conference, a satellite of Models, on Oct 2, 2023 in Vasteras, Sweden. Thu, 2 Nov 2023 14:00:00 +0100 http://www.pragmadev.com/news.html http://www.pragmadev.com/news.html As part of the Industry Week 2023, a group of technology providers for the industry of the future gathered by the Chamber of Commerce in Ile-de-France invite you to discover a micro-factory demonstrator and a series of testimonials and presentations around energy control, the connected factory, cybersecurity, and modelling. Wed, 12 Jul 2023 15:00:00 +0200 https://www.france-innovation.fr/ https://www.france-innovation.fr/ France Innovation is a professional association that brings together private research and technological development providers, companies offering innovative products, processes or services and innovation consulting and support players. Wed, 28 Jun 2023 16:00:00 +0200 https://youtu.be/AiEsD7dE8Vk https://youtu.be/AiEsD7dE8Vk This a demonstration of PragmaDev Process V3 that introduces resources in business process simulation in order to optimize them. It goes through a simple example to demonstrate how to achieve optimization. Mon, 20 Mar 2023 10:00:00 +0100 https://www.pragmadev.com/product/processSimulation.html https://www.pragmadev.com/product/processSimulation.html PragmaDev Process aims at verifying and optimizing business process models described with BPMN (Business Process Model and Notation). The new version of the tool takes into account the resources necessary to the execution of each activity. Thanks to this new feature the simulation results are more accurate and the resources' usage can be optimized. Complex organizations or system operations are based on processes that can be modeled graphically. The most popular notation is BPMN. It describes what the different participants in the organisation do and how they interact with each other. Since version 2.0 PragmaDev Process integrates a statistical simulator based on BPSim, a complementary notation to BPMN. Time and cost information is added to any element in the model with a possible statistical variability. Executions are automatically launched with this information in order to evaluate the performance of the process. Version 3.0 of PragmaDev Process introduces the concept of resources necessary to execute an activity. If the resource is not available, because of its own calendar, or because it is already being used by another activity, execution is put on hold until the resource becomes available. That impacts the overall execution time and cost of the business process. Each resource can have several roles. An activity can require a resource directly or a resource that can fulfil a specific role. At the end of the simulation resource usage can be analyzed in order to identify bottlenecks or underused resources. With this new version the BPMN execution engine can be called from the command line in order to be integrated in a larger environment. Finally the automatic exploration interface has been substantially improved. Tue, 21 Feb 2023 10:00:00 +0100 http://www.pragmadev.com/news.html http://www.pragmadev.com/news.html This year's edition of SAM will focus on domain-specific languages for state-of-practice domains like artificial intelligence, digital twins, no code, low code, DataOps, and metaverse. SAM conference focusses on software engineering technologies such as requirements engineering, software verification and validation, model checking, and automated code generation. Authors are invited to submit papers related to this year's theme including the following non-exclusive list of topics: Evolution of languages, Model-driven development, System engineering models, Industrial application and tools. SAM 2023 is co-located with MODELS 2023 in Västerås, Sweden. Wed, 15 Feb 2023 12:00:00 +0100 http://www.pragmadev.com/downloads/index.html http://www.pragmadev.com/downloads/index.html First edition of PragmaDev Studio V6.0 correcting a substantial number of problems. Thu, 12 Jan 2023 09:00:00 +0100 https://www.pragmadev.com/support/features.php https://www.pragmadev.com/support/features.php Due to the increasing number of free licenses in use and to the on line licensing mechanism, the support and feature web pages related to PragmaDev Studio and PragmaDev Process are now publicly available. Tue, 15 Nov 2022 11:00:00 +0100 https://www.sido-paris.com/ https://www.sido-paris.com/ SIDO: The benchmark event for economic recovery! All the technological solutions for economic recovery are at SIDO! SIDO is 2 intense days of discovering trends, networking and business opportunities! SIDO supports you in your digital transformation to identify new performance levers and define new uses for your customers and users! Discover technologies that will boost your productivity and optimize your costs: Cybersecurity, Software, Networks, Connectivity, Human-Machine Interface, Immersive Technologies, Collaborative Robotics, IoT and Robotics Integration, End-to-end solutions . Build your PoC , make your project a reality and move on to industrialization! Meet us booth J04a. Wed, 28 Sep 2022 13:00:00 +0200 http://www.pragmadev.com/product/newFeaturesProcess210.html http://www.pragmadev.com/product/newFeaturesProcess210.html PragmaDev Process aims at verifying and optimizing business process models described with BPMN (Business Process Model Notation). The new version of the tool introduces generic heatmaps and can automatically calculate the critical path. In a business process the critical path is the sequence of activities that led to the actual overall execution time with the least inactivity. Any extra delay in that sequence of events will have an impact on the overall process time, that is why it is so important to analyze the critical path. After each run of simulation PragmaDev Process will calculate the critical path so that after the whole simulation statistical information for each symbol and will be gaphically displayed. This new version also allows to connect a generic heatmap to the model in order to graphically display some quantitative information with colors. The heatmap file format is XML based and refers to the different symbols in the model. For each symbol a value is associated as well as a text. The whole diagram has a "minimum color" and a "maximum color". The rule to calculate the color for each value is configurable. The text associated to each symbol will be displayed in a tool tip in the BPMN editor. Mon, 5 Sep 2022 11:00:00 +0200 https://youtu.be/Hfxq5O6LhjQ https://youtu.be/Hfxq5O6LhjQ An introduction to Specification and Description Language - Real Time. Thu, 25 Aug 2022 11:00:00 +0200 https://cesam.community/en/csdm-paris-2022/ https://cesam.community/en/csdm-paris-2022/ PragmaDev is a sponsor of the 2022 CSD&M conference. The conference "Complex Systems Design & Management" (CSD&M) is the International meeting point for academic researchers, industrial and governmental players working on complex industrial systems architecture & engineering. This event gives the opportunity to present and learn about innovative, methodological and technical results or good practices, feedbacks and professional case studies on industry, sciences and systems types. This 13th edition will especially cover the theme "Building a sustainable & resilient world thanks to a collaborative eco-system with virtual playgrounds" and the program will articulate around 4 topics: How to engage and perform a digital transformation within your eco-system ; Modeling and Simulation Systems Engineering practices ; Building sustainable, secured, evolutive and resilient systems ; Means and methods to integrate humans in virtual playgrounds. Wed, 27 Jul 2022 11:00:00 +0200 http://www.pragmadev.com/product/newFeatures.html http://www.pragmadev.com/product/newFeatures.html PragmaDev Studio V6.0 introduces a new generation of model checker and the support of the new SDL brodcast, making it the best modeling tool to specify and design safe communicating software. Following a long collaboration with ENSTA Bretagne research lab, PragmaDev has integrated in its latest release of PragmaDev Studio, ENSTA Bretagne model checker OBP (Observer Based Prover). The primary objective of model checking is to explore all possible scenarios in the model. During the exploration it is possible to detect dead locks, unreachable model branches, or to verify properties. This is a major feature that leads to a safer and more secure design. The key caracteristic of OBP is that it does not rely on a dedicated language. It relies on a third party executor to execute the model. In PragmaDev Studio V6 OBP is interacting with PragmaDev SDL executor to execute the transitions. OBP does not actually know anything about the model it is exploring. It is the same principle with the properties. OBP evaluates complex properties made of atomic properties that are evaluated by the execution engine. Communicating systems inherently create a lot of possible cases due to the fact that their designs are based on concurrent state machines. This creates a lot of possible paths of execution. PragmaDev Studio has built-in ways to reduce the state size during exploration: Reduce the possible parameter values of the incoming messages as well as the number of messages. Exclude some internal variables from the global model state. Tue, 14 Jun 2022 09:00:00 +0200 https://youtu.be/8rjWm6SdaEo https://youtu.be/8rjWm6SdaEo This is a demonstration of the new simulation feature in version 2 of PragmaDev Process. It shows how to add the BPSim information to the BPMN, launches a simulation, and analyses the results. Wed, 27 Apr 2022 10:00:00 +0200 http://www.pragmadev.com/product/processSimulation.html http://www.pragmadev.com/product/processSimulation.html PragmaDev Process aims at verifying business process models described with BPMN (Business Process Model Notation). The new version of the tool introduces a time and a cost simulator relative to the different activities. This allows to optimize the whole proccess in function of different criteria and ease trade off. Fri, 15 Apr 2022 09:00:00 +0200 http://www.pragmadev.com/news/OneWay_En.pdf http://www.pragmadev.com/news/OneWay_En.pdf PragmaDev is proud to be a partner of the OneWay project, led by Airbus and supported by DGAC (the French Civil Aviation Authority), which aims to ensure digital continuity throughout an aeronautical program. In today's global economic competition, the aeronautics industry represents one of France's strengths. Made up of large companies, mid-size companies and small and medium-sized companies, the French aeronautics sector is the only one, along with the one of the United States, to have all the capacities to develop, produce and market aircrafts, civil or military. The French government has put in place a support plan for the aeronautics sector, the objective of which is to preserve French know-how and skills, while achieving the profound transformations to be carried out in favor of ecological transition. The strategy is geared towards environmental transition and the decarbonisation of air transportation. The French aeronautics industry has acquired a recognized expertise of the complexity of its products, its programs and the interactions within its value chain. However, it must face growing challenges to acquire better control of its cycles, better efficiency of its engineering activities and to ensure continuous improvement in the performance of its products and support systems. At the same time, it must integrate technological innovations as quickly as possible and take advantage of the opportunities offered by emerging information technologies. These challenges inevitably lead to a need for a radical transformation of engineering methods within the French aeronautics industry and it is in this context that the ONEWAY project is situated. Tue, 14 Dec 2021 10:00:00 +0200 https://vimeo.com/611857043 https://vimeo.com/611857043 The recording of our presentation at UCAAT (User Conference on Advanced Automated Testing) on October 20th. Wed, 27 Oct 2021 12:00:00 +0200 http://www.sdl-rt.org/ http://www.sdl-rt.org/ The latest version of SDL-RT, V2.4, introduces the message broadcast, following the recent update in SDL recommendation. Mon, 20 Sep 2021 14:00:00 +0200 https://www.etsi.org/events/upcoming-events/1885-2021-10-8th-ucaat-user-conference-on-advanced-automated-testing https://www.etsi.org/events/upcoming-events/1885-2021-10-8th-ucaat-user-conference-on-advanced-automated-testing UCAAT is dedicated to the practical engineering and application aspects of automated testing, including experiences from the use of new techniques for test automation, advanced test automation processes, and standardised testing languages and methodologies for test automation in different application domains, such as IT services, telecommunications, transportation, healthcare, finance, and smart cities. Mon, 12 Jul 2021 16:00:00 +0200 https://www.pragmadev.com/20_years.html https://www.pragmadev.com/20_years.html PragmaDev was created on May 18th 2021. Check out our recap on our web site. Tue, 18 May 2021 09:00:00 +0200 https://www2.mega.com/fr/lp/webinar/comment-verifier-la-representation-de-vos-processus-metier?utm_source=email-pragmadev&utm_medium=email&utm_campaign=bpa-campaign https://www2.mega.com/fr/lp/webinar/comment-verifier-la-representation-de-vos-processus-metier?utm_source=email-pragmadev&utm_medium=email&utm_campaign=bpa-campaign When you try to develop a company efficiently, there is nothing such as building a culture based on a good management of processes. In this webinar co-organized by MEGA Internation and PragmaDev, we will share our best practices in the area of management, optimization and verification of business processes. Register now to our webinar to discover: To get a better understanding of all your business processes, Optimize the performance of your business processes, Verify the models of your processes and analyze different scenarios. Please note the webinar will be held in French. Mon, 12 Apr 2021 15:00:00 +0200 http://www.issatm.rnu.tn/fr/index.php http://www.issatm.rnu.tn/fr/index.php L'ISSAT de mateur est crée en 2001 conformément au décret n°1386 de 7 juin 2001. Il a pour mission d'assurer la formation dans le domaine des nouvelles Technologies. Les deux sections actuellement fonctionnelles sont l'Informatique et l'Electronique. Ces choix répondent aux besoins de l'environnement économique et notamment l'environnement industriel de la région avec qui l'ISSAT de Mateur collabore pleinement. Cette formation dure trois années et conduit au Diplôme Universitaire en Technologie (D.U.T). Ce diplôme permet de rentrer dans la vie active ou d'accéder suite à un Concours Spécifique au cycle de formation d'Ingénieur; ou encore d'accéder sur dossier au second cycle des Facultés Scientifiques. Le passage au système LMD (Licence-Mastère-Doctorat) a été effectué en Septembre 2007, avec la création de deux Licences Appliquées dont les programmes seront divulgués ultérieurement .Ces nouveaux diplômes répondent aux exigences du marché de l'emploi que ce soit à l'échelle régionale ou nationale. Mon, 15 Mar 2021 18:00:00 +0100 https://youtu.be/lbvOE2LJKmE https://youtu.be/lbvOE2LJKmE A one minute animated video to introduce PragmaDev Process main purpose. Wed, 7 Feb 2021 14:00:00 +0100 http://www.pragmadev.com/downloads/index.html http://www.pragmadev.com/downloads/index.html First edition of PragmaDev Studio V5.6 correcting an installation issue on macOS. Wed, 13 Jan 2021 17:00:00 +0100 http://www.pragmadev.com/product/newFeatures.html http://www.pragmadev.com/product/newFeatures.html PragmaDev Studio is the best tool suite to specify and design complex communicating software. V5.6 updates its code generation templates with V10.3.1 of FreeRTOS FreeRTOS is a small and simple kernel that has been ported to 35 microcontroller platforms. Regularly listed as one of the favorite operating system in Aspencore Embedded Markets Study, FreeRTOS includes a kernel and a growing set of libraries suitable for use across all industry sectors. SDL, the core modeling notation within PragmaDev Studio, maps directly with any Real Time Operating System. The common services provided by the operating system (messages, concurrent execution, timers...) have a graphical representation in SDL and the same semantics. Tue, 5 Jan 2021 10:00:00 +0100 http://www.pragmadev.com/downloads/index.html http://www.pragmadev.com/downloads/index.html First edition of PragmaDev Process V1.2 correcting the first reported bugs. Wed, 2 Dec 2020 14:00:00 +0100 http://www.pragmadev.com/product/process.html http://www.pragmadev.com/product/process.html PragmaDev Process aims at verifying business process models described with BPMN (Business Process Model Notation). Thanks to its exploration engine and a new built in property, the new version can automatically identify deadlocks in business processes. Wed, 25 Nov 2020 11:00:00 +0100 https://eseo.fr/en/ https://eseo.fr/en/ ESEO is a comprehensive electronics and computer engineering school founded in 1956 in Angers, France. Since 1962, it has continuously been accredited by the "Commission des Titres d'Ingénieurs" - CTI (French national commission on engineering degrees) and as such was awarded the EUR-ACE (EURopean Accredited Engineer) label. ESEO is a member of the "Conférence des Grandes Écoles - CGE"; a French national institution that counts all the engineering institutions accredited by the CTI as its members. Tue, 17 Nov 2020 15:00:00 +0100 http://www.pragmadev.com/partners.html http://www.pragmadev.com/partners.html A major well-known PLM (Product Lifecycle Management) player, CIMPA offers its customers guidance and support with their transformation projects in the aerospace, defence, automotive, transport and energy sectors. Their mission at CIMPA is to give their customers a competitive edge by improving the efficiency of their operations throughout their product lifecycle. They offer comprehensive Consulting, Information System Integration and Business Process services. Their portfolio covers all phases of a product or asset lifecycle, from the creation or optimisation of a PLM strategy to the deployment of tools, processes and methods in addition to the training and support of users. PragmaDev and CIMPA have signed a partnership agreement that grants free PragmaDev tools licenses to CIMPA experts and that involves PragmaDev in CIMPA business. Thu, 1 Oct 2020 11:00:00 +0200 https://link.springer.com/chapter/10.1007/978-3-030-52991-8_8 https://link.springer.com/chapter/10.1007/978-3-030-52991-8_8 The design of a practical but accurate software methodology to guarantee systems correctness and safety is still a big challenge. Where test coverage is dissatisfying, formal analysis grants much higher potential to discover errors or safety vulnerabilities during the design phase of a system. However, formal verification methods often require a strong technical background that limits their usage. In this paper, we present a framework based on testing and verification to ensure the correctness and safety of complex distributed software systems. As a result of the application of our methodology we obtain a more reliable system, in terms of functionality, safety and robustness and a reduction of the time necessary for verification. In order to show the applicability of our solution we applied it on a real industrial case study, that is the European Train Control System (ETCS) (ERTMS Commission Group - European Commission, 2017). We specify the system using the SDL language (ITU-T, 2019), and we use a test generation tool to generate abstract test cases in TTCN-3. Based on these standardized tests, we verify using model-checking, some critical properties of the system, in particular these regarding safety requirements. We analyse a real train accident and we demonstrate how the accident could have been avoided if the ETCS system was used. Wed, 29 Jul 2020 10:00:00 +0200 https://global-industrie.com/en/details-programme/UGxhbm5pbmdfMTExNzI3 https://global-industrie.com/en/details-programme/UGxhbm5pbmdfMTExNzI3 Held every even years in Paris and every odd years in Lyon, GLOBAL INDUSTRIE is the place where the industry of tomorrow thinks, imagines, invents, builds, revolutionizes and transforms itself. Because of the covid crisis the 2020 Global Industrie event is replaced by a digital alternative Global Industry Connect. Fri, 26 Jun 2020 11:00:00 +0200 https://www.lesacteursdunumerique.fr/ https://www.lesacteursdunumerique.fr/ The objective is to promote local actors in order to reduce digital dependency in France and Europe. Tue, 23 Jun 2020 12:00:00 +0200 https://youtu.be/NzKrwmO0ICA https://youtu.be/NzKrwmO0ICA Business Process Model and Notation (BPMN) is a graphical representation for specifying business processes in a business process model. Wed, 3 Jun 2020 15:00:00 +0200 http://www.pragmadev.com/news/20200514_Partenariat_MEGA_EN.pdf http://www.pragmadev.com/news/20200514_Partenariat_MEGA_EN.pdf MEGA International and PragmaDev have signed a partnership agreement to strengthen their business and share innovation technologies. They have worked together to develop a new product to help complex organizations optimize their models and processes. To further promote innovation throughout the engineering ecosystem, MEGA supported PragmaDev in the development of PragmaDev Process, a new product that aims at verifying business process models described with BPMN (Business Process Model Notation) - the most popular notation for complex organizations and system operations. MEGA International has been involved since the start of the project as the project's use cases were coming from MEGA's HOPEX platform. PragmaDev Process includes an editor, an executor, and an explorer to help verify that the model is consistent and is running effectively without any human (mis)-interpretation. It is the outcome of VeriMoB, a 2-year research project, financed by the French Army with use cases from DGA, Eurocontrol and Airbus Defence & Space. As part of the VeriMoB project, an integration module has been developed and maintained by PragmaDev so that MEGA HOPEX users can easily verify their models with PragmaDev Process. In practice, the module can be downloaded from the PragmaDev website. A dedicated menu in HOPEX allows models to be transferred directly to PragmaDev Process, and in PragmaDev Process a dedicated button allows to return to the source diagram in HOPEX. "This partnership will give HOPEX users a way to verify their models, and it will give PragmaDev the opportunity to work on very large organization models we would not be able to access otherwise," says Emmanuel Gaudin, PragmaDev Founder & CEO. The Alliance partnership agreement is a commitment from both companies to keep working together in the future to offer the best of both their technologies to their customers. It includes cross marketing operations, further developments, internal trainings, and license exchange. "HOPEX interoperates with process simulation, mining or RPA tools but none of them helps organizations to check processes consistency like PragmaDev Process. The capability to replay the processes after an update of the repository is especially important in system engineering where misunderstandings have severe impacts," comments Jean-François Bigey, Partner Director at MEGA International. Thu, 14 May 2020 10:00:00 +0200 http://www.pragmadev.com/news.html http://www.pragmadev.com/news.html This year's edition of SAM will be under the theme "Languages, Methods, and Tools for AI-based systems", including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation. Authors are therefore invited to submit papers related to this year's theme including the following non-exclusive list of topics: Evolution of languages, Model-driven development, System engineering models, Industrial application. Fri, 8 May 2020 11:00:00 +0200 http://www.pragmadev.com/product/process.html http://www.pragmadev.com/product/process.html PragmaDev Process aims at verifying business process models described with BPMN (Business Process Model Notation). Thanks to its exploration engine, the new version can automatically identify unreachable paths in the business process. Wed, 15 Apr 2020 9:30:00 +0200 http://www.pragmadev.com/news/POLLM_En.pdf http://www.pragmadev.com/news/POLLM_En.pdf PragmaDev now supports a full on line licensing mechanism to buy or to rent both its products PragmaDev Studio and PragmaDev Process. PragmaDev is a software editor offering two tool suites based on executable models. Both tool suites have a freemium model so that small projects can use the tools for free. When it comes to use an unlimited license, a specific license server must be installed. In large organisations this process requires administrator privileges and is quite time consuming. This is fine for large long term projects but can be a show stopper for projects that would like to use the tool only a few months. PragmaDev official web site now offers a member area that is open to any potential user. Once the member profile is created it is possible to buy or rent any of PragmaDev tools for a specific period of time or with a monthly automatic renewal. Once the license has been bought the member login and password are set in the tool. The license is then checked on line through the internet. That means the same license can be used on any type of machine anywhere in the world as long as there is an internet connection available. Wed, 19 Feb 2020 12:00:00 +0100 https://www.ensta-bretagne.fr/en https://www.ensta-bretagne.fr/en As a multidisciplinary graduate and postgraduate engineering school and research institute, ENSTA Bretagne delivers training and conducts research activities in high level ICTs (information and communication technologies), mechanical sciences and human sciences. Situated in Brest, this state establishment works in close relationship with numerous industrial and academic partners in France and abroad. Its activities contribute to innovation in numerous fields of application: the maritime, defense and more generally hi-tech sectors (transport, aerospace, energy, digital technologies, research.). Together with the Ecole Polytechnique, ENSTA ParisTech and ISAE-SUPAERO, ENSTA Bretagne is part of the group of engineering schools governed by the Direction Générale de l'Armement (DGA) (Defense Procurement and Technology Agency) of the Ministry of Armed Forces. They share the high requirements and excellence on which their solid international reputation has been built. Tue, 11 Feb 2020 17:00:00 +0100 https://www.global-industrie.com/en https://www.global-industrie.com/en Held every even years in Paris and every odd years in Lyon, GLOBAL INDUSTRIE is the place where the industry of tomorrow thinks, imagines, invents, builds, revolutionizes and transforms itself. Fri, 7 Feb 2020 17:00:00 +0100 https://www.techinnov.events/EN/ https://www.techinnov.events/EN/ Techinnov is a consular event. It is implemented by the Essonne Chamber of Commerce, which owns the brand and is responsible for the legal and financial aspects of the operation on behalf of the Paris Region Chamber of Commerce. A reference event in the innovation ecosystem, it combines for its participants the high level of qualification of a business convention and the visibility offered by a trade show. Fri, 7 Feb 2020 17:00:00 +0100 http://www.pragmadev.com/downloads/index.html http://www.pragmadev.com/downloads/index.html First edition of PragmaDev Process V1.0 correcting the first reported bugs. Wed, 22 Jan 2020 16:00:00 +0100 https://www.erts2020.org https://www.erts2020.org Models of complex systems and systems of systems are described with NAF (NATO Architecture Framework) or DoDAF (DoD Architecture Framework). Business Process Model Notation (BPMN) is part of NAF and allows to describe the behavior of the different participants in the model. This notation is used by the French Army and its main suppliers to describe the interactions between participants involved in a mission. It is therefore important the models are correct. The VeriMoB project is a research project financed by the DGA (Direction Générale de l'Armement) which aims at developing a tool that will help users to verify their BPMN models. This tool covers three main aspects: static verification, interactive execution, automatic exploration of the possible scenarios. This paper focuses on the automatic exploration of the model with OBP technology coming from ENSTA Bretagne research lab. We, 15 Jan 2020 16:00:00 +0100 http://www.pragmadev.com/product/newFeatures.html http://www.pragmadev.com/product/newFeatures.html PragmaDev Studio is a dedicated tool suite to specify and design complex communicating systems. V5.5 introduces the integration of a free ASN.1 encoder with its code generator making target integration substantially easier. ASN.1 is an international standard to describe complex data types. It comes with a set of encoding and decoding rules to transmit the data in a machine independent way. It is used by everyone without noticing it in telecommunication, automative, banking systems, internet... SDL, the core modeling notation within PragmaDev Studio, maps to ASN.1 declarations in a standard way. So when some information goes out of the model one of the standard encoding rule can be used to build the real bitstream. Wed, 11 Dec 2019 10:00:00 +0100 http://www.pragmadev.com/product/process.html http://www.pragmadev.com/product/process.html PragmaDev launches PragmaDev Process a new product that aims at verifying business process models described with BPMN (Business Process Model Notation). The new product includes an editor, an executor, and an explorer. It is the outcome of a 2 years research project financed by the French Army with use cases from Eurocontrol and Airbus Defence & Space. The editor is free of charge without any restrictions and the executor offers free execution of small models. Mon, 13 Nov 2019 10:00:00 +0100 http://www.2019.csdm.fr/ http://www.2019.csdm.fr/ Designing complex industrial systems or public service infrastructures systems is a fundamental strategic challenge for all academias, industries and governments. A relatively new discipline, centered on systems architecture & engineering has emerged in the academic environment. This discipline intends to develop theory, methods and tools that will allow engineers to manage the increasing complexity of the technical systems they must design and implement. Mastering complex engineered systems is a fundamental strategic challenge. Complex Systems Design & Management (CSD&M) conference is a widely open meeting event dedicated to academic researchers, industrial and governmental actors who are interested in complex industrial systems engineering. The event is not limited to the existing specialists of the subject! The 2-day conference allows since 2010 to discover and share about theories, methods and tools that have been developed to allow to manage the increasing complexity of the technical systems you must design and implement. Thanks to its past 9 editions, CSD&M has become the conference of reference in the field of complex industrial systems architecture & engineering. Wed, 17 Apr 2019 15:00:00 +0200 http://www.pragmadev.com/downloads/index.html http://www.pragmadev.com/downloads/index.html Third edition of V5.4 correcting more bugs and including the Raspbian version. Fri, 22 Mar 2019 14:00:00 +0100 http://www.pragmadev.com/news.html http://www.pragmadev.com/news.html This year's edition of SAM (System Analysis and Modelling) will be under the theme "Languages, Methods, and Tools for Industry 4.0", including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation. Authors are therefore invited to submit papers related to this year's theme including the following non-exclusive list of topics: Evolution of languages, Model-driven development, System engineering models, Industrial application. Mon, 18 Mar 2019 11:00:00 +0100 http://www.pragmadev.com/downloads/index.html http://www.pragmadev.com/downloads/index.html Third edition of V5.4 correcting more bugs and including the Raspbian version. Wed, 13 Mar 2019 11:00:00 +0100 https://youtu.be/EccHushRhWs https://youtu.be/EccHushRhWs An introduction to Abstract Syntax Notation One types and encoding rules. Tue, 4 Dec 2018 10:00:00 +0100 https://embedded-sec18.eventmaker.io/index https://embedded-sec18.eventmaker.io/index Learn about the technologies implemented in the field of embedded systems security: secured elements, operating systems, firmware, application security, wired and radio communication links. Come meet the key players in this field: software publishers, technology providers, service companies, experts ... Thu, 8 Nov 2018 17:00:00 +0200 https://youtu.be/L6J5kL4ld5I https://youtu.be/L6J5kL4ld5I Live presentation at UCAAT 2018 on Oct 17 in Paris.. Mon, 29 Oct 2018 16:00:00 +0100 http://www.pragmadev.com/product/newFeatures.html http://www.pragmadev.com/product/newFeatures.html PragmaDev Studio is a recognized modeling tool to describe complex communicating systems. V5.4 introduces Raspbian as a new host platform. Raspbian is the official operating system for all models of the Raspberry Pi. PragmaDev Studio new version runs natively on Raspbian, and its model executor is connected to the real GPIO so that physical hardware connection to the model is done automatically. Output messages connected to GPIO XY must be named GPIO_OUT_XY in the model, and input messages connected to GPIO XY must be named GPIO_IN_XY, and the model is connected to the hardware. Mon, 22 Oct 2018 11:00:00 +0200 http://www.enova-event.com/ http://www.enova-event.com/ ENOVA PARIS, a veritable convergence platform for electronics, measurement, vision and optics technologies, unites industry and research players on the lookout for innovative solutions for their development projects. Wed, 29 Aug 2018 15:00:00 +0200 http://ucaat.etsi.org/ http://ucaat.etsi.org/ UCAAT is dedicated to all aspects of automated testing and is not limited in scope. Rapid technical advances in IT services, transport (of all kinds), healthcare, finance, telecoms, broadcasting and smart cities are blurring the lines between the verticals. Solutions bringing together previously disparate actors and technologies now need to co-exist and interoperate to an unprecedented extent. This, and the increasing presence of AI, whether it be for the use of AI in testing or the testing of AI systems, brings challenges and opportunities to the entire testing community. Wed, 29 Aug 2018 15:00:00 +0200 http://sdl-forum.org/Events/SAM2018/index.htm http://sdl-forum.org/Events/SAM2018/index.htm The System Analysis and Modelling (SAM) conference provides an open arena for participants from academia and industry to present and discuss the most recent innovations, trends, experiences and concerns in modelling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages - including but not limited to UML, ASN.1, TTCN, SysML and the User Requirements Notation (URN). Wed, 29 Aug 2018 15:00:00 +0200 http://www.industryspacedays.com/ http://www.industryspacedays.com/ The Industry Space Days (ISD) is a unique event which provides an excellent opportunity for the European space community to meet and discuss prospective business. The ISD guarantees the opportunity to pre-arrange and have a significant number of meetings with potential partners. Companies, in particular SMEs, can present their distinctive competences and products and build new partnerships during B2B meetings. In 2018 the event is also open to international buyers searching European suppliers. Wed, 29 Aug 2018 15:00:00 +0200 http://www.pragmadev.com/downloads/index.html http://www.pragmadev.com/downloads/index.html Second edition of V5.3 correcting more bugs and including the Raspberry Pi integration example. Fri, 8 Jun 2018 15:00:00 +0200 https://youtu.be/vPL60YuM9e0 https://youtu.be/vPL60YuM9e0 Demonstration of an SDL-RT model made with PragmaDev Studio for the Raspberry Pi and the Sense Hat add on board. Thu, 31 May 2018 12:00:00 +0200 https://youtu.be/fVGXaiATY_U https://youtu.be/fVGXaiATY_U Presentation of a use case in the space domain done with Airbus Defence & Space aiming at optimizing communication links from a satellite to earth. Mon, 12 Mar 2018 11:00:00 +0100 http://www.industrie-dufutur.org/ http://www.industrie-dufutur.org/ AIF (Alliance Industrie du Futur) society organizes on a national level initiatives, projects, and works aiming at modernizing industry in France. Fri, 2 Mar 2018 18:00:00 +0100 http://www.puas.gr/index.php/en/ http://www.puas.gr/index.php/en/ Piraeus University of Applied Sciences (Technological Education Institute of Piraeus) is an independent and self governed Institute of higher education. The campus is in the middle of an olive grove, which includes some of the very same olive trees that used to shade Plato's Academy. The campus is near the center of Athens and the port of Piraeus and includes several buildings with the equivalent of 50.000 m2 space. Among them the Conference Center and the library are encountered. There are facilities that cover all students' needs and support academic activities. Nine (9) Departments exist in Piraeus University of Applied Sciences (Technological Education Institute of Piraeus), grouped in two schools: Engineering School (7) & School of Business and Economics (2). Piraeus University of Applied Sciences (Technological Education Institute of Piraeus) had been may awarded a DS label for the system of Higher Education alignment procedures. There are also fifteen (15) Postgraduate Programs at the second level (Master). Some of them are autonomous and are governed by the Piraeus University of Applied Sciences (Technological Education Institute of Piraeus) rules. There are also programs that are organized in collaboration with several Universities in the European area and the United States. Each year approximately 1500-2000 new students are enrolled in Piraeus University of Applied Sciences (Technological Education Institute of Piraeus) and the total number of the active students is approximately 12.000. The permanent Academic Staff is encountered to 160 Professors. The teaching staff is enriched with approximately 300 part time professors. The academic operation is supported by 160 permanent members of the administration staff. These operations are also supported by approximately 30 additional persons that are engaged in several R & D programs. There are approximately 25 Laboratories in Engineering Scholl and 10 Laboratories in the School of Business and Economics that support the teaching and research and development activities. They are engaged in several research and development programs that are funded by the Greek Government and European Union. Wed, 14 Feb 2018 11:00:00 +0100 http://www.pragmadev.com/downloads/index.html http://www.pragmadev.com/downloads/index.html First edition of V5.3.1 correcting the first reported bugs. Fri, 9 Feb 2018 17:00:00 +0100 http://www.pragmadev.com/product/newFeatures.html http://www.pragmadev.com/product/newFeatures.html PragmaDev Studio is a recognized modeling tool to describe complex communicating systems. Cyber Physical Systems combine event driven and clock driven elements, critical parts and non critical parts. For that purpose PragmaDev Studio V5.3 introduces the support of Functional Mockup Interface FMI V2.0. Wed, 7 Feb 2018 10:00:00 +0200 http://www.pragmadev.com/news.html http://www.pragmadev.com/news.html This year's edition of SAM (System Analysis and Modelling) will be under the theme "Languages, Methods, and Tools for Systems Engineering", including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation. Authors are therefore invited to submit papers related to this year's theme including the following non-exclusive list of topics: Evolution of languages, Model-driven development, System engineering models, Industrial application. Fri, 19 Jan 2018 14:00:00 +0200 http://www.pragmadev.com/downloads/index.html http://www.pragmadev.com/downloads/index.html The Session Initiation Protocol (SIP) is a protocol for multimedia communications over Internet Protocol (IP). SIP is a text based protocol and the standard defines the format of messages exchanged as well as the sequence of the messages. ETSI has published the conformance test cases in TTCN-3. The C++ code has been generated with PragmaDev Tester and compiled with GCC. The resulting executable is free to download and to use from PragmaDev web site. Fri, 15 Dec 2017 10:00:00 +0100 https://www.erts2018.org https://www.erts2018.org The ERTS2 Congress is a unique International cross sector event on Embedded Software and Systems, the "place to be" for actors from universities, research centers and industries. PragmaDev will exhibit at the conference and will present a system optimization case study in the space domain. Mon, 13 Nov 2017 14:00:00 +0100 http://www.pragmadev.com/studentCompetition.html http://www.pragmadev.com/studentCompetition.html PragmaDev Studio modeling and testing technologies are perfect to describe the expected interactions between generic entities. The rapid development of the internet of things raises new challenges related to deployment, security, and ecology. In that context, the objective of the competition is to specify a network protocol that addresses the following aspects: meshed networks, security handling, identity management, energy saving. Fri, 15 Sep 2017 15:00:00 +0200 http://www.transrail-connection.com/ http://www.transrail-connection.com/ The international event for railway and urban mobility: Railway technology, Infrastructures, Interiors, Civil engineering, Traffic and exploitation. 180 exhibitors, 30 conferences, 5000 B2B meetings and an innovation showroom. Mon, 11 Sep 2017 10:00:00 +0200