List of Projects

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

Capella logo.

Capella

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

Read more...

Eclipse Safety Framework logo.

Eclipse Safety Framework

As systems are becoming more complex, their safety assessment needs powerful tools.

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

PolarSys CHESS logo.

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 com

Read more...

3P logo.

3P

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

Read more...

B612 - The PolarSys Font logo.

B612 - The PolarSys Font

The characteristics of the font are:

Read more...

POP logo.

POP

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.

Read more...

ArCon logo.

ArCon

ArCon is a tool for architecture conformance validation of systems modelled in UML/SysML.

Read more...

COTSAQ logo.

COTSAQ

The primary function of COTSAQ is to identify the list of third party components in each version of each product.

Read more...

Eclipse Product Lifecycle Management Platform (EPLMP) logo.

Eclipse Product Lifecycle Management Platform (EPLMP)

The project is about developing a software to manage all the data around products.

Read more...

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

PolarSys NG661 Designer logo.

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

Read more...

PolarSys Rover logo.

PolarSys Rover

The first objective of the PolarSys Rover is to create a realistic, hardware-based demonstration and testing platform for the PolarSys solutions

Read more...

PolarSys Time4Sys logo.

PolarSys Time4Sys

PolarSys Time4Sys provides a framework that fills the gap between the capture of timing aspects in the design phase of a real-time system and the ability of specific/dedicated tools to verify the c

Read more...