List of Projects



3P provides Polarsys-specific packages which address requirements of embedded / critical software and system development.


ArCon is a tool for architecture conformance validation of systems modelled in UML/SysML. ArCon provides an easy to use and intuitive way of specifying architectural rules and a mechanism to automatically validate that the system under development conforms to the rules specified. ArCon validates a model and detect errors in the model breaking predefined rules. ArCon is primarily intended for, but not limited to, products of high complexity and/or subject to long term maintenance needs.

C/C++ Development Tooling (CDT)

The CDT Project provides a fully functional C and C++ Integrated Development Environment based on the Eclipse platform. Features include: support for project creation and managed build for various toolchains, standard make build, source navigation, various source knowledge tools, such as type hierarchy, call graph, include browser, macro definition browser, code editor with syntax highlighting, folding and hyperlink navigation, source code refactoring and code generation, visual debugging tools, including memory, registers, and disassembly viewers.


The Arcadia engineering method mainly focuses on functional analysis, complex architecture definition and early validation. It is highly extensible and customizable through viewpoints providing integrated specialty engineering support.


CHESS implements the CHESS UML profile, a specialization of the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile, by producing extensions to Papyrus that provide component-based engineering methodology and tool support for the development of high-integrity embedded systems in different domains like satellite on board systems


The primary function of COTSAQ is to identify the list of third party components in each version of each product. In the screenshot below for example, Apache 2.2.14 has been added as a distributed part to the product named Product_4 version V2.1. For each version of each component, a comprehensive record is stored, including license, name, web site, authors, local policy, comments, ECCN, etc.

COTSAQ screenshot

Eclipse Product Lifecycle Management Platform (ePLM)

The project is about developing a software to manage all the data around products. The term “product” should be largely understood as it could be a manufactured good, pharmaceutical one, apparel or anything that is made, assembled, packaged by an organization. Most of the time, a product is a mix of hardware and software binaries that must be managed under configuration.

Eclipse Safety Framework

As systems are becoming more complex, their safety assessment needs powerful tools. Most of the existing tools are poorly connected to the system design process and cannot be associated at early stages of the development cycle.

Eclipse UML Generators

UML Generators Project provides components that automatically bridge the gap between UML models and source code. Either by extracting data from UML models (and UML profiles or decoration models) to produce source code or  by reverse-engineering source code to produce UML models.

Code generation uses Acceleo. It is incremental and can be extended thanks to its overriding system.


The purpose of this project is to provide a set of Eclipse plug-ins that provide code review capabilities in the Eclipse IDE.


EGit is an Eclipse Team provider for Git. Git is a distributed SCM, which means every developer has a full copy of all history of every revision of the code, making queries against the history very fast and versatile. The EGit project implements Eclipse tooling for the JGit Java implementation of Git.

EMF Compare

EMF Compare brings model comparison to the EMF framework, this tool provides generic support for any kind of metamodel in order to compare and merge models. The objectives of this component are to provide a stable and efficient generic implementation of model comparison and to provide an extensible framework for specific needs.


Gendoc extracts data from EMF models and generates documents that fully respect the appearance of your document template.


To build MBE workbenches, designers must be autonomous in creating and maintaining their own viewpoints, without coding. Developers can enrich them afterward, for instance for algorithm implementation. To meet this requirement, Kitalpha offers a development environment made of DSLs (Domain-Specific Languages) to assist designers and developers in their architecture frameworks and viewpoints development activity activities. For instance, textual editors make it possible to declare viewpoint metamodels, user interfaces, diagrams, or services. From those DSLs, generators build all the architecture framework and viewpoint artifacts. For example, the declaration of diagrams using DSLs becomes the technical description of Sirius diagrams. During the stages of edition with DSLs and generation, the notion of target application is introduced to manage the variability of environments in which the artifacts are to be deployed and executed (e.g., DSL vs. UML, CDO vs. XMI environments).


OpenCert is a customizable safety assurance and certification tool environment integrated into existing manufacturers’ development and safety assurance processes and tooling. The OpenCert tools support the following activities of safety-critical product development:


Papyrus provides an integrated, user-consumable environment for editing any kind of EMF model and particularly supporting UML and related modeling languages such as SysML and MARTE. Papyrus provides diagram editors for EMF-based modeling languages amongst them UML 2 and SysML and the glue required for integrating these editors (GMF-based or not) with other MBD and MDSD tools. It also offers a very advanced support of UML profiles that enables users to define editors for DSLs based on the UML 2 standard and its extension mechanisms.

Papyrus for Real Time (Papyrus-RT)

Papyrus-RT is an industrial-grade, complete modeling environment for the development of complex, software intensive, real-time, embedded, cyber-physical systems.

PolarSys Rover

The project consists of several modules, each of them addressing the rover development from the point of view of a particular PolarSys solution including (in alphabetical order) Capella, CDT, Egit/Egerrit, Papyrus, Titan and Trace Compass.

The project provides training material for these solutions applied to the same rover system including all the material necessary to acquire and create your own rover for testing and demonstration.


Polychrony offers services for modeling application programs and architectures starting from high-level and heterogeneous input notations and formalisms. These models are imported in Polychrony using the data-flow notation Signal. Polychrony operates these models by performing global transformations and optimizations on them (hierarchization of control, desynchronization protocol synthesis, separate compilation, clustering, abstraction) in order to deploy them on mission specific target architectures. C, C++, multi-threaded and SynDEx (a distribution tool) code generators are provided.


ReqCycle addresses both requirement management (create data model, create/import/reference requirements…) and requirement traceability of development artefacts that can be clearly identified as "Reacheable objects" (through a Unified Resource Identifier) and with flexibility to conform to a custom process and associated data model.