|
|
|
|
|
|
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:
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.
Real Time Developer 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 RTDS 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.
Real Time Developer 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's Real Time Developer 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 Real Time Developer 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.
Real Time Developer Studio debugger is strongly linked with Wind River Tornado environment to debug on any VxWorks target or on host with VxWorks simulator: VxSim. 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. Sun microsystems Since its inception in 1982, a singular vision -- The Network Is The Computer[tm] -- has propelled Sun Microsystems, Inc. (Nasdaq: SUNW) to its position as a leading provider of industrial-strength hardware, software, and services that power the Internet and allow companies worldwide to take their businesses to the nth. Sun can be found in more than 170 countries and on the World Wide Web.
Real Time Developer Studio partner agreement with Sun includes the support of Sun and Solaris platforms at the same version level as any other platform. A guarantee for Sun users to get the latest release of our product. |
Geensys Leading provider of embedded development tools and consulting services. Created through the formal merger of two of France’s most innovative and dynamic companies in the embedded market – TNI Software and Ayrton Technology – Geensys is a leading provider of embedded development Tools and IP, value-added engineering and consulting services, founded on a commitment to quality, backed by an extensive, well-proven track record and designed to satisfy the embedded development requirements of the global automotive, aerospace, defense, railway, industrial automation and telecommunications industries.
Latest release of Reqtify -V 2009-1a of Geensys Traceability tool- includes support of RTDS projects within the standard distribution. 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.
Real Time Developer 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. 
Real Time Developer 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 Real Time Developer 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. Competitiveness cluster SYSTEM@TIC PARIS-REGION At the heart of the digital revolution, the competitiveness cluster SYSTEM@TIC PARIS-REGION gathers about 200 industrial, academic and institutional members from the Paris-Region who work in partnership on R&D projects related to four target markets: Telecoms, Security & Defence, Automotive & Transportation, System Design and Development Tools. SYSTEM@TIC PARIS-REGION aims at developing the economy, the companies’competitiveness and the employment thanks to innovation, training and partnerships. 
PragmaDev is an active member of SYSTEM@TIC and participe to the exoTICus project. 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. |
|
