Accueil

Dernières annonces

SSA_ICARE_NG2: Project documentation
Ajouté par Sébastien Bourdarie il y a 22 jours

electrod: First public release of Electrod
Electrod is now available publically!
Ajouté par David Chemouil il y a environ un an

Wireless : Journée Wireless le 15 Juin
Présentation de l'avancement et des travaux en cours menés dans le cadre du PRF WIRELESS
Ajouté par Bruno Ausbourg (d') il y a presque 2 ans

Electrum Analyzer: Electrum Analyzer 0.3.5
Ajouté par David Chemouil il y a plus de 2 ans

Electrum Analyzer: Electrum Analyzer 0.3.4 released and added to OCaml's opam
Ajouté par David Chemouil il y a plus de 3 ans

Voir toutes les annonces

Derniers projets

  • SSA_ICARE_NG2 (04/02/2019 16:26)

    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.

  • MMT - Planificateur d'actions (14/01/2019 14:59)

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

  • ANR_CORTEVA (21/02/2018 09:35)
  • dota-matisse (19/02/2018 15:16)

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

  • RTProb: Real Time Probabilistic Analysis Tool (16/02/2018 14:40)

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