|
CIMPA
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.
Alliance for the future industry
PragmaDev in the on line directory of the solution providers of the Alliance for the future industry.
Mov'eo
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.
PRESTO
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.
- test traces exploitation along with
- platform models and
- design space exploration techniques
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
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]
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.
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.
Verimag
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.
SCIOPTA Systems
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.
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.
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.
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.
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.
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.
PragmaDev and Mega have signed an Alliance partnership agreement in 2020. As a result a special integration is available for Hopex users.
Yves Loué, VALUWAYS
For the last 30 years, Yves Loué has been successfully involved in repositioning and growing of large companies as well as small businesses.
PragmaList
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.
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 -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
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.
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.
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.
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.
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.
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.
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.
PragmaDev is an active member of the SDL Forum.