PolarSys forge

This category lists the projects hosted on the PolarSys forge.

OpenCert logo.

OpenCert

OpenCert is a customizable safety assurance and certification tool environment integrated into existing manufacturers’ development and safety assurance processes and tooling.

Read more...

Capella logo.

Capella

The Arcadia engineering method mainly focuses on functional analysis, complex architecture definition and early validation.

Read more...

Kitalpha logo.

Kitalpha

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).

Read more...

ReqCycle logo.

ReqCycle

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.

Read more...

3P logo.

3P

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

Read more...