Experimental

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

To follow discussions for new Eclipse projects, subscribe to the Incubation mailing list.
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, ...).

To follow discussions for new Eclipse projects, subscribe to the Incubation mailing list.
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

To follow discussions for new Eclipse projects, subscribe to the Incubation mailing list.
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.

To follow discussions for new Eclipse projects, subscribe to the Incubation mailing list.
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.

To follow discussions for new Eclipse projects, subscribe to the Incubation mailing list.
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

To follow discussions for new Eclipse projects, subscribe to the Incubation mailing list.
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.

To follow discussions for new Eclipse projects, subscribe to the Incubation mailing list.
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.

To follow discussions for new Eclipse projects, subscribe to the Incubation mailing list.
Read more...

ArCon logo.

ArCon

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

To follow discussions for new Eclipse projects, subscribe to the Incubation mailing list.
Read more...