Onera - Gestion de projets logiciels

Wiki for the collaboration between DLR and ONERA : AI4Aerospace Engineering.

Partage d'informations avec des partenaires extérieurs dans la collaboration ONERA - ANITI sur la chaire certification

Cette Forge est mise à disposition pour des échanges de données et d'informations sur le projet Clean Sky 2 Airframe WP 4.2 - Load Control.

Dépot Open Data des résultats produits dans le cadre du projet pluriannuel EFAICTS (CleanSky2)
Le chef de projet est Laurent Binet (DTIS/RFDS)

CoCoSim is a modular, integrated analysis framework for Simulink(c) models.

Note:
The user 'guest' (passwd: 'oneraguest') can be used to file a bug report or access read-only section of the Forge.

CoCoSim is a collaborative project between ONERA, NASA Ames, CMU and ENSEEIHT. It aims at providing a toolchain in order to go from Matlab/Simulink model to verified Lustre/Prelude source code....

Cette forge vise à recueillir et partager les documents décrivant les cas d'étude utilisés dans le projet CONCORDE.

CWIPI

L'objectif de cette demande est de disposer d'une forge RedMine destiné à la gestion de MATISSE, code développé par le DOTA et distribué à la DGA et aux industriels. Cette forge permettra l'organisation et le suivi du développement du code avec notamment une fonction de bugtracker ouverte en externe qui va permettre la saisie et la gestion des anomalies de MATISSE constatées par l'équipe de développement ainsi que par les utilisateurs externes. ...

Electrod is a model finder for first-order linear temporal logic with relations, transitive closure and partial domains.

As of now, Electrod relies on NuSMV or nuXmv (default), so you must at least install one of them.

Electrod is primarily aimed at being called by external, more abstract tools, such as the Electrum Analyzer. However, it can also be run as a standalone program....

Cette forge externe a pour objectif de constituer une base d'échange et de suivi des projets de certification des drones au niveau France

Voir la [[Presentation_GT_Certification_Des_Dornes]]...

Mise à disposition des fonctionnalités jugés indispensables dans InCELL pour les développeurs.

Forge pour partager des documents relatifs au développement de modèles de matériaux dans SPIS pour le contrat ESA 4000133414/20/NL/KML/rk.

Espace de travail collaboratif pour l'organisation de la conférence IMBSA2022 dirigée par Christel Seguin (RIME). Cette espace aura aussi vocation à stocker temporairement des éléments vidéos prévus pendant la conférence

Projet Man-Machine Teaming - Planificateur d'actions pour Dassault Aviation

Languages for programming critical real-time systems.

Note: The user 'guest' (passwd: 'oneraguest') can be used to file a bug report or access read-only section of the Forge.

Source code control: https://svn.onera.fr/Prelude/Prelude

MAUVE is a validation toolchain based on a Domain Specific Language. This DSL allows to model the software architecture of a robot using a component-based approach. From these models, we provide tools to generate deployable components, as well as a two-step validation phase. This validation first performs a real-time analysis of the component architecture, leading to an evaluation of the software architecture schedulability. Then we can check the validity of some behavioral property on the components....

contains the description of the 'robotpkg' packages developped or maitained by Onera researchers

SchedMCore: Scheduling tools for Multi- or Many- Core architecture.

Note:
The user 'guest' (passwd: 'oneraguest') can be used to file a bug report or access read-only section of the Forge.

SVN repository (RO anonymous access): https://svn.onera.fr/schedmcore...

Two radiation monitoring hosted payload: SSA-ICARE-NG2

All documentation related to the project is made available on this forge. Acces is restricted to the consortium and ESA.