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.

B612 - The PolarSys Font

The characteristics of the font are:

  • Maximize the distance between the forms of the characters
  • Respect the primitives of the different letters
  • Harmonize the forms and their spacing

Here is an example of font characters:

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.


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 CHESS

PolarSys 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

PolarSys NG661 Designer

ARINC661 part 2 project defines a language that can be used by any airframe manufacturer to formally specify modern graphical user interface (tactile support, animation, ...). The PolarSys NG661 Designer project proposes an open source tool that allows to specify and simulate HMI using the ARINC661 Part 2 Language.

The editor allows to build a specification model for graphical user interfaces from simple objects (widgets) to complex pages. It will contain 3 parts:

- Specification of interfaces: tabular edition of input parameters, output parameters and events

PolarSys Rover

The first objective of the PolarSys Rover is to create a realistic, hardware-based demonstration and testing platform for the PolarSys solutions to demonstrate and test their individual and joint capabilities.