Speeding innovation for industry
Success | Software technologies
PragmaDev gives the developers of communicating software the tools they need to model their applications and generate optimized validation tests.
Founded in 2001, the company uses formal modeling languages defined by the International Telecommunications Union to provide a precise description of the functional behavior of communicating software. These languages (SDL and TTCN-3) are unique in that they are executable. The software can generate code, as well as tests that will handle a high number of model transitions.
PragmaDev has sold its main suite, Realtime Developer Studio, to companies like Airbus, Renault, ESA, Alcatel-Lucent, Toshiba, and Korean Telecom. Exports account for 50% of its revenue. The startup also uses List’s software technology, Diversity, as part of the joint laboratory that was established with the institute in 2013. This has given the company the opportunity to offer a new breed of test generation capabilities—based up until now on exhaustive simulation. This new symbolic model resolution approach generates tests by reducing the combinatory multiples that are found in the multi-parameter applications of the telecom sector.
Resources and skills
CEA is a French government-funded technological research organisation in four main areas: low-carbon energies, defense and security, information technologies and health technologies. A prominent player in the European Research Area, it is involved in setting up collaborative projects with many partners around the world.