Home > Company > Partners


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.

CIMPA logo

PragmaDev and CIMPA have signed a partnership agreement in 2020. It grants free PragmaDev tools licenses to CIMPA experts and it involves PragmaDev in CIMPA business.

Alliance for the future industry

PragmaDev in the on line directory of the solution providers of the Alliance for the future industry.

Alliance for the future industry logo

The Alliance for the future industry was created on July 20th 2015 to help French companies and in particular the SMEs to modernize their industrial tools and to transform their business model with the new digital and non digital technologies. Its angle is to integrate the employees and their expertise as a key element of this transformation. It is all about re-positioning the French industry in a central position of the economical development of the country, through the improvement of these companies competitiveness.


Mov’eo is a Mobility and Automotive R&D competitiveness cluster, which since 2006 has been mobilizing its energies at the service of its members to meet the objectives assigned by the State to competitiveness clusters: to foster the development of collaborative projects between members, to contribute to development in the regions of companies, in particular SMEs, and to promote innovation in the sector.

MOVEO logo

PragmaDev is an active member of the Mov'eo cluster.


The PRESTO project -ImProvements of industrial Real Time Embedded SysTems develOpment process- is co-funded by the European Commission under the ARTEMIS Joint Undertaking Programme.

It aims at improving test-based embedded systems development and validation, while considering the constraints of industrial development processes. This project is based on the integration of:
  • test traces exploitation along with
  • platform models and
  • design space exploration techniques

PRESTO award

The partners involved in this project are: TELETEL, THALES Communications France, RapitaSystems, VTT, Softeam, THALES Italy, MetaCase, INRIA, University of L’Aquila, MILTECH HELLAS S.A, PragmaDev, Prismtech, Sarokal Solutions.


TASTE (The ASSERT Set of Tools for Engineering) is the toolset developped by ESA and its partners to support the ASSERT process. It allows software developers to easily integrate heteregeneous pieces of code produced either manually or automatically by external modelling tool. Consistency of the integration is ensured through a data model with the ASN.1 language. [read full paper] [Watch the on-line demo]

TASTE logo

PragmaDev Studio is integrated in TASTE framework. The code generated by PragmaDev Studio is automatically integrated with the code coming from the framework.

Red Hat

Founded in 1993, Red Hat is the leader in enterprise Linux and is the most recognized open source brand in the world. We serve global enterprises with technology and services made possible by the open source model. Solutions include Red Hat Enterprise Linux, Red Hat Enterprise Virtualization, JBoss Enterprise Middleware, and a broad range of management and services: consulting, 24x7 support, Red Hat Network. Red Hat's global training program operates worldwide and features RHCE and JBCAA, the global standard Linux and middleware certifications.

Red Hat logo

PragmaDev is an active member of the Red Hat partner program.

Green Hills

Founded in 1982, Green Hills Software, Inc. is the largest independent vendor of embedded development solutions. In 2008, the Green Hills INTEGRITY-178B RTOS was the first and only operating system to be certified by the NSA to EAL6+ High Robustness, the highest level of security ever achieved for any software product. Our open architecture integrated development solutions address deeply embedded, absolute security and high-reliability applications for the military/avionics, medical, industrial, automotive, networking, consumer and other markets that demand industry-certified solutions. Green Hills Software is headquartered in Santa Barbara, CA, with European headquarters in the United Kingdom.

Green Hills logo

PragmaDev Studio has an interface with Green Hills MULTI debugging environment in order to graphically debug in the model while the generated code is running on target.


PragmaDev distributes Verimag verification tools based on IF technology. The agreement includes Static analysis and Model Checking tools from Verimag. The intrinsic complexity of most protocol specifications leads to study combination of classic model-checking techniques with other techniques such as static analysis and abstraction. Verimag has a long experience in construction of validation tools in the domain of distributed systems through the development verification tools and test sequence generators. The need to adapt these environments for SDL, motivated the development of an intermediate representation, called IF. In this intermediate representation a system is modeled as a set of timed automata communicating either asynchronously through a set of buffers or by rendez-vous through a set of synchronization gates. Verimaf IF toolset offers the following features:

  • Static analysis
    These classical static analysis techniques include live variable analysis, dead-code elimination and variable elimination with respect to user-defined criteria.

  • Model-checking
    A simulator allows to explore all possible execution paths of an IF specification. Several exploration modes are implemented: interactive, random or exhaustive. User defined rules are verified while exploring all possible execution paths.

Verimag logo


SCIOPTA is a highly optimized real-time operating system and is specifically tuned for the respective processors. This results in a very high performance and a low memory footprint. But SCIOPTA is more than an RTOS. It is a new and modern approach to design embedded systems. The direct message passing method allows easy and time-saving design of robust and secure systems. Applications based on the SCIOPTA Method can cover small static SoC designs to large dynamic distributed systems. The SCIOPTA System includes the pre-emptive multi-tasking high-performance real-time kernels, the SCIOPTA IPS internet protocols (TCP/IP and applications), the SCIOPTA flash file systems, the SCIOPTA CONNECTOR product for supporting distributed multi-CPU systems, the SCIOPTA memory management system, the SCIOPTA portable embedded GUI and the SCIOPTA DRUID system level debugger. SCIOPTA is royalty free.

Sciopta logo

PragmaDev Studio generated code has been integrated with SCIOPTA RTOS. SCIOPTA is a message based RTOS and suits therefore very well the message based methods of PragmaDev Studio and SDL.

Express Logic

Express Logic's ThreadX(r) real-time operating system (RTOS) delivers the most advanced run-time solution for deeply embedded applications. ThreadX is small, fast, and easy-to-use, and completely royalty-free. ThreadX is the RTOS inside over 500 million embedded products, making it one of the most widely deployed RTOSes in the world. Express Logic's ThreadX RTOS incorporates a picokernel(tm) design that enables fine-grained scalability based solely on the functions used by a particular application. ThreadX also offers preemption-threshold(tm) technology that minimizes context switches by eliminating unnecessary priority inversion. ThreadX is complemented by its high-performance IPv4/IPv6 TCP/IP networking stack NetX Duo(tm), its its embedded MS-DOS file system FileX(tm), and its USB Host/Device stack USBX(tm). All products from Express Logic include full source-code and have no run-time royalties.

ExpressLogic logo

PragmaDev Studio code generator supports ThreadX real time operating system.

TASKING - Embedded Software Development from Altium

TASKING products are world-leading tools for embedded software development, bringing together the advanced software design technology needed to compete in the embedded communications era. TASKING's award-winning integrated development environment, compiler, debugger, embedded Internet and RTOS offerings support a wide range of DSPs and 8-, 16- and 32-bit microprocessors and microcontrollers for all areas of embedded development. With over 100,000 licensed users of TASKING products, including the world's leading telecom, datacom, wireless and peripheral manufacturers, the TASKING product range has a long history of technology leadership and innovation.

Tasking logo

The connection between PragmaDev Studio and the TASKING C166/ST10 CrossView Pro debugger allows graphical debugging in the SDL-RT diagrams and at C level, as well as graphical traces based on SDL-RT MSC diagrams.

OSS Nokalva, Inc

OSS Nokalva, Inc. (www.oss.com) is an acclaimed technology innovator and a leading provider of ASN.1 and XML based software. OSS Nokalva's products, including the industry-best ASN.1 development and implementation software, the OSS® ASN.1 Tools, provide all the standards-based components and building blocks needed to create interoperability between systems and applications.

Our software is a complete and affordable solution for building ASN.1 applications. By combining ease of use with robust features, the OSS® ASN.1 Tools reduces development time and shortens the time-to-market cycle for system integrators and OEMs developing ASN.1 applications. All OSS products fully adhere to industry standards and have been ported successfully to over 150 different computing platforms. Since 1988, companies on six continents have used our software successfully.

OSS Nokalva logo

By combining OSS®'s ASN.1 Tools with the PragmaDev Studio, developers will enjoy a fast and easy development environment designed to enhance the development, management, and performance of their applications.

Wind River Systems

Wind River Systems, Inc. (Nasdaq:WIND) is a leading provider of embedded software and services for connected smart devices in the Internet age.

Wind River software is used in conjunction with embedded, or hidden, microprocessors that make up over 90% of all computer chips sold today. Embedded systems made up of hardware and software are found in numerous end products, from MP3 players to automotive braking systems to control panels in fighter jets. Wind River allows customers to create reliable, complex, real-time applications more quickly and with less risk than creating such applications internally.

Wind River logo

PragmaDev Studio debugger is strongly linked with Wind River Tornado environment to debug on any VxWorks target or on host with VxWorks simulator: VxSim.

Mega International

Founded in 1991, MEGA is a global software company and recognized market leader for over ten years. The company partners with customers to improve governance and accelerate transformation by leveraging technology. MEGA helps companies better analyze how they can operate and make the right decisions to accelerate the creation of value. The HOPEX Platform connects business, IT, data and risks perspectives in a single place that integrates across an entire company’s ecosystem. The MEGA Services team partners with customers to deliver projects with a pragmatic approach.

Mega logo

PragmaDev and Mega have signed an Alliance partnership agreement in 2020. As a result a special integration is available for Hopex users.


For the last 30 years, Yves Loué has been successfully involved in repositioning and growing of large companies as well as small businesses.

Valuways logo

Now independant, Yves has been a member during 10 years of Action Coach, the world leading coaching network as Executive and Business coach to help business owners as well as executives to better achieve their own business goals. Mainly involved in the B2B business he has therefore become a recognized expert of the change management process. Where ever the mandatory change is coming from (strategy change, technology change, leadership change,…), Yves usually helps his client to change efficiently thanks to a dedicated mix of consulting, training and coaching.


PragmaDev and CEA LIST have created a common laboratory that aims at generating automatically a minimum set of test cases to cover all or a part of a model.

PragmaList logo

The lab started the first of september 2013. The SDL model will be translated to a specific format called XLIA. The CEA tool, called Diversity, will run symbolic resolution on the model and generate the test cases.

3DS Geensoft Reqtify

Reqtify is an easy to use interactive application for managing requirement, traceability and impact analysis across different systems, programs and project levels across the entire hardware and software development lifecycle

Reqtify logo

Reqtify -V 2009-1a includes support of PragmaDev Studio projects within the standard distribution.

Competitiveness cluster SYSTEM@TIC PARIS-REGION

At the heart of the digital revolution, the goal of Systematic is to develop the regional economy, boost the competitiveness of local companies and support employment growth by leveraging innovation, training and partnership opportunities.

  • The Systematic Cluster has developed 207 R&D projects, an investment of €975M, including €380M funded by the French Government, its economic development agencies (the National Research Agency and the OSEO) and from the Paris-Region local governments.
  • Cooperation between SMEs, Large Companies, Research Centres and higher educational establishments.
  • Systematic, an association supported by local authorities, economic development agencies, the French Government and its partners.


PragmaDev is an active member of SYSTEM@TIC and was involved in the exoTICus project. The project leader from Alcatel-Lucent introduces the project in French in the video below:

PragmaDev was also a member of Opticsvalley, a regional network in the fields of Optics, Electronics and Software. OpticsValley has now merged with Systematic cluster.



Devotek Communications provides consultancy, product development and training services within telecom and datacom industry (GSM, 3G in particular) featuring embedded software engineering/design, modeldriven development, quality assurance, verification, testing and validation. Long experience with SDL, UML and TTCN using dedicated tools like Real Time Developer Studio for design, simulation and automatic code generation makes it possible to cut development efforts down to 50% and error reduction with 70% which gives a significant contribution to reduced Time To Market and improved quality in the delivered product. Devotek Communications is a subsidiary of Kongsberg Devotek which is providing consultancy, product development and training services within driveline (automotive) industry, featuring mechanical construction, electronic design, mechatronics, embedded software development, numerical engineering, systems engineering, verification, testing and validation.

Devotek logo

Tools in use are Matlab and Labview, and UML tools are being introduced. The companies has engineers and technicians that can help businesses address their R&D needs and contribute to successful product development through thoroughness. Devoteks collaborative approach brings insight, creativity and commitment in achieving shared goals.

Enea Embedded Technology

Enea Embedded Technology is a leading provider of real-time operating systems, development tools, and services for fault-tolerant, high-availability, and safety-critical applications. The company globally markets products and services related to the OSE real-time operating system product portfolio. Market segments include distributed communications (mobile phones, communication infrastructure), avionics, medical, automotive, industrial control systems, military, aeropspace and safety critical systems. Consumer include industry leaders such as Ericsson, Lockheed Martin, Samsung, Agere Systems, Sony, and Boeing. Enea Embedded Technology holds a 20-percent share of the RTOS market for communication infrastructure, and the OSE operating system is deployed in millions of mobile phones all over the world. Enea Embedded Technology is headquartered in Sweden and maintains local offices in Germany, France, the UK, the USA, and Japan.

ENEA logo

PragmaDev Studio code generator supports OSE real time operating system. OSE signal files are automatically generated in order to keep track of the SDL events in the Illuminator.

Mentor Graphics Embedded Systems Division

The Mentor Graphics Embedded Systems Division is located in Mobile, Alabama with sales offices and distributors worldwide. As a leading provider of solutions that accelerate product time-to-market in a wide range of embedded device applications, the company is best known for the Nucleus OS, a full featured operating system combining an extremely efficient kernel with essential core services such as networking, USB, graphics, file system, Security and Bus support.

Mentor logo

Nucleus OS is complemented by the EDGE Developer Suite and Inflexion Platform products. EDGE Developer Suite is an Eclipse-based suite of tools comprising IDE, compiler, debugger, simulation and testing, application profiler and JTAG connection for rapid embedded development. Inflexion Platform enables manufacturers to rapidly customize and integrate a range of user applications for a wide range of mass market consumer devices. For more information, please visit www.mentor.com/embedded or e-mail us at embedded_info@mentor.com.

CMX Systems

Since its inception in 1990, CMX Systems has focused on providing its customers with all of the tools needed to program their embedded applications. The company's core business is to develop and support real-time, multi-tasking operating systems (RTOS) and TCP/IP stacks for a wide variety of 8-bit, 16-bit, and 32-bit microcomputers, microprocessors, and digital signal processors.
The company's CMX-RTX™, CMX-RTXS™, and CMX-Tiny+™ real-time multi-tasking operating systems support more than 40 processor families and over 30 C-compiler vendors. CMX also develops and supports products that enhance the user's ability to create, test and debug application code, including CMXKAware™, CMXBug™, and CMXTracker™.
CMX Systems provides CMX TCP/IP™, a full-featured TCP/IP stack for 16- and 32-bit processors, and CMX-MicroNet, a unique TCP/IP stack that is targeted for 8-bit processor target platforms.

CMX Systems, Inc.

PragmaDev Studio code generator supports CMX RTX real time operating system. Probably one of the best choice for 8-16 bit targets with small memory footprint constraints.

Marben Products

Since the 1980s, Marben Products has been supplying portable software solutions that meet standards from the most established telecommunication standardization bodies. Marben Products is recognized as a leading provider of standards based protocol software for Service Providers, Equipment Manufacturers and Software Development Companies. Marben Products delivers highly robust and efficient signalling, routing and AAA solutions for the network control plane of Next Generation Networks (NGN) and the service control plane of IP Multimedia Subsystem (IMS). Major telecom players have been trusting Marben Products for its high quality performance products, expertise and industry leading support. Marben Products is an affiliate of NE Technologies, Inc.


The flawless integration between PragmaDev Studio and MARBEN ASN.1 tools provides a graphical, open and efficient development environment to speed up the implementation of ASN.1 based real-time embedded applications. The connection between both tools will allow graphical debugging in the SDL-RT diagrams and at source level of your whole application code including ASN.1 messages encoding/decoding.

DSP Valley

DSP Valley is a technology network, focusing on the design of micro-electronics hardware and embedded software for signal processing systems, including image & sound processing, communication & navigation technologies, and any other ambient intelligence technology and all enabling design methodologies and tools. Application domains range from consumer and automotive electronics, to medical devices, communication networks and high tech machine construction.

DSP Valley

PragmaDev is an active member of DSP Valley network.

EFEL Power

PragmaDev is a member of EFEL Power.


EFEL Power is a cluster of French software editors gathering various size and personnalities in the Frence innovative eco-system. The members share an ambition to put ahead the "French Touch" et wish to better value their know-how in order to help the ermergence of French international champions.

Comité Richelieu

In sectors where innovation is key, SMEs often hold the key to a competitive edge. However, getting large-scale enterprises and innovative SMEs to work together is difficult. The SME Pact works to alleviate these obstacles through a "sunshine policy" based on transparency, benchmarking and communication. As opposed to positive discrimination, the SME Pact does not oblige large-scale enterprises to allocate part of their spending budget to SMEs. It takes into account the interests of all parties concerned. Its aim, by promoting competition, is to help large entities gain easier access to the best innovative SMEs on the market.

Comite Richelieu

PragmaDev is an active member of the Comité Richelieu.

SDL Forum Society

The aims of the SDL Forum Society are to promote the Specification and Description Language SDL, to provide and disseminate information on the development and use of SDL, to support education on SDL and to plan and organize the "SDL Forum" series and of events to promote SDL.

SDL Forum Society

PragmaDev is an active member of the SDL Forum.