PragmaDev Studio


   Use case

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



PragmaDev provides a set of modeling and testing tools that helps managing complexity inherent to developing state of the art systems. PragmaDev Studio integrates different tools based on international standards. The tools target architects/system engineers, developers, and testers.

PragmaDev Specifier helps system engineers to unambiguously specify and verify the functionalities of the system, and define the best architecture for performance or energy efficiency.

PragmaDev Developer helps software designers to write maintainable and self documented code.

PragmaDev Tester helps testers to write validation and integration tests with an abstract dedicated language.

PragmaDev Tracer is used in the early phase to describe the expected behavior and properties of the system to be developed. And in the later phase to trace execution and verify it is conform to the expected properties and scenarios described earlier on.


Located at the heart of Saclay area (Paris region), the CEA LIST Institute focuses its research activities on developing innovative technologies for smart and complex systems. Its R&D programmes, with potentially major economic and social implications, centre on interactive systems (ambient intelligence), embedded systems (architecture, software and systems engineering), sensors and signal processing (industrial control systems, health, security and metrology).

Dedicated to technological research, CEA LIST's more than 700 researchers and technicians strive to encourage innovation and technology transfer through long-term industrial partnerships. The dynamism of the Institute's teams, their project-based culture and their consistently high standard of scientific excellence underpin this objective.