Since 2006, I work as an R&D engineer for Sodius, a young SMB mainly located in Nantes and Paris. The company is specialized in model transformation and, more generally, in L'entreprise est spécialisée dans la transformation de modèle et, plus généralement, dans l'model-driven engineering (MDE).
Amongst other products, Sodius develops the MDWorkbench© software tool, an integrated development environment based on Eclipse. It provides a framework for the design and transformation of models, as well as code and documentation generation tools. A number of tools and languages are supported: Rational Rhapsody, DOORS (IBM), Simulink (MathWorks), Excel, Visio, Word (Microsoft), UML 2.1...
The tool has several versions, each one dedicated to a specific field.
MDWorkbench for Defense©,
for instance, is developped around a defense-centered meta-model and supports the generation of
DoDAF-compliant models.
The practical results of my research work have led to the implementation, in MDWorkbench for Defense,
of two simulation (as timelines) and formal EFFBD verification tools.
At the present time, the framework is used by the DGA
for the design of their systems and systems of systems.
During my research work, I've had the opportunity to work with other SE companies, such as: MAP système (Toulouse), Sodifrance (Nantes), Vitech (Vienna, VA)...