Verimag
Home > Teams > Synchrone > Projects > Projects

Projects

Projets of the Synchronous Team


Current Projects

    Projets Nationaux

  • CAPACITES - PIA LEOC, 2014-2017
    Build a hardware and software platform based on the exploitation of integrated many-core processors
  • W-SEPT - ANR INS, 2012-2016
    WCET: SEmantics, Precision and Traceability
  • Partenariat (CIFRE)

  • Collaboration with Airbus Helicopters - CIFRE Airbus Helicopters, 2015-2018
    Applications of Manycore architectures for Real-Time Embedded Applications
  • Collaboration with Kalray - CIFRE Kalray, 2015-2018
    Code Generation for Multi-Core Processor with Hard Real-Time Constraints
  • Collaboration with Orange Labs - CIFRE orange Labs, 2013-2016
    Shared self-configuring models and software infrastructures for Smart City monitoring and control
  • Collaboration with STMicroelectronics - CIFRE STMicroelectronics, 2014-2017
    Parallel execution of SystemC/TLM programs.
  • Other Projects

  • Cooperation PragmaDev - 2006-2026
    The PragmaDev company distributes some of the IF tools (static analysis, model-checking).
  • CTRC - Persyval-Lab Exploratory Project 2015-2016
    CTRC: Certified and Configurable Real-Time Components

Past Projects

  • ALIDECS - ACI Sécurité, 2004-2007
  • APRON - ACI Sécurité, 2004-2007
  • ARESA - ANR, 2006-2009
  • ARESA2 - ANR VERSO, 2009-2013
  • ArtistDesign - Network of Excellence, 2008-20..
  • ASOPT - ANR, 2009-2012
  • ASSERT - FP6 IP, 2004-2008
  • CESyMPA - Persyval-Lab Exploratory Project 2013-2014
  • COMON - Minalogic, 2009-2012
  • CORTOS - ACI CNRS, 2007-2008
  • CRISYS - IST, 1997-2001
  • DACRAW - Persyval-Lab Exploratory Project, 2014-2015
  • FoToVP - ANR, ARA-SETIN, 2006-2009
  • Full MDE - ESA Contract, 2010-1211
  • HELP - ANR Arpège, 2009-2013
  • NextTTA - IST, 2002-2004
  • OMEGA - IST-2001-33522 OMEGA, 2002-2005
  • OpenEmBeDD - ANR platform, 2006-2009
  • OpenES - European CATRENE Project 2013-2016
  • openTLM - Minalogic, 2006-2010
  • PADEC - AGIR-Pôle-MSTIC 2015
  • PerSiForm - RNRT/ANR, 2005-2008
  • Proofer - PREDIT, 2006-2008
  • RISE - FP5 IST-2001-38117, 2002-2004
  • SafeAir II - IST, 2002-2004
  • SPEEDS - FP6 IST IP-033471, 2006-2010
  • Synchronics - AE INRIA, 2008-2012
  • SYRF - Esprit "Long Term Research" Project 22703, 1996-1999
  • Terra - Projet MSTIC UJF 2011-2012

The whole Verimag Projects page


Contact | Site Map | Site powered by SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 705173