Activité globale

Projets

  • ambre
  • ANR_CORTEVA
  • ASTRAD

    Architecture & Simulation Tool for Radar Analysis & Design

    Projet d'évolutions ASTRAD

  • Clean Sky 2 Airframe WP 4.2 - Load Control

    Clean Sky 2 Airframe WP 4.2 - Load Control

    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.

  • CoCoSim

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

  • CommandesHybridesMoteurFusee
  • dota-matisse

    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

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

  • Electrum Analyzer

    Electrum is a formal specification language mixing relational first-order logic (RFOL) and linear temporal logic (LTL), mainly inspired by Alloy and TLA+.
    ...

  • H2020_vision
  • InCELL

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

  • mausart
  • MMT - Planificateur d'actions

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

  • Prelude

    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

  • Previsio

    Suivi du développement du code Previsio au sein du PR Previsio

  • diagXtrm

    diagXtrm is a tool to diagnose the applicability of the Extreme Value Theory (EVT) to time series.
    From a time series we provide average statistics and results of the EVT application as well as the statistical tests results to quantify the confidence in EVT applicability....

    • DIAGXTRM

      The forge will collect the results from Fabrice Guet Ph.D. thesis: the DIAGXTRM tool in its developed versions, trace of measurements to be analyzed with DIAGXTRM from the different collaborations (with Many-cores Kalray CISTER - Porto, GPUs CISTER - Porto, ISAE, industrial partners etc.), and the publications made during his thesis....

  • MAUVE

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

  • robotpkg-onera

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

  • RTProb: Real Time Probabilistic Analysis Tool

    RTProb is a tool to perform probabilistic schedulability analysis of probabilistic real-time system.
    - To calculate Probability of deadline miss for the jobs in the system
    - Incorporates Criticality Levels of the tasks and obtains the probability of system entering HIGH criticality...

  • Schedmcore

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

  • SSA_ICARE_NG2

    Radiation monitoring hosted payload

    L'objet de la forge est de disposer d'un dépot pour tous les documents nécessaire au suivi d'un projet ESA avec des partenaires extérieurs (CNES et EREMS) et le client ESA.

  • TSA2 NACOR

    Plateforme de partage pour le Techno Stream laminarité du projet NACOR

  • Wireless

    WIreless REal time criticaL Embedded SystemS

    L’objectif des travaux scientifiques et techniques menés dans le cadre de ce PRF est de fournir des éléments de réponse convaincants sur la faisabilité du concept « communication sans fil » au sein d’architectures de systèmes temps réel embarqués et critiques de type avioniques et d’en proposer une démonstration....

Formats disponibles : Atom