Verimag
Home > Dissemination > Projects > Projects

Projects

Projects where Verimag is involved


Current Projects

    Projets Europeens

  • ArrowHead - ARTEMIS AIPP, European, 2013-2017
    Arrowhead is addressing efficiency and flexibility at the global scale by means of collaborative automation for five application verticals. That means production (manufacturing, process, energy), smart buildings and infrastructures, electro-mobility and virtual market of energy.
  • CITADEL - European H2020, 2016-2019
    CITADEL will build on the MILS technology accomplishments of D-MILS and Euro-MILS, and perform the research and development necessary to create adaptive MILS systems. We propose to use adaptive MILS in new and evolving adaptive systems contexts having strategic focus within the EU, such as Critical Infrastructures and the Internet of Things, where adaptability is a crucial ingredient for the safety and security of future systems, and where the rigorous construction and verification made possible by MILS holds particular promise.
  • CPSE-Labs - European, H2020, 2015-2016
    Rigorous framework for developing and validating robotic applications. One objective of this project is to allow verification and validation of robotic systems at different design levels and thus reach a high degree of maturity at as low as possible cost. Early discovery of bugs can play a crucial part in reducing design costs for robotic application. Another objective is to provide rigorous software engineering techniques and tools for correct-­‐by-­‐construction development of robotic applications.
  • ERGO - European, ESA, New!
    European Robotic Goal-Oriented Autonomous Controller The specific objective of ERGO is to deliver the most advanced but flexible space autonomous framework/system suitable for single and/or collaborative space robotic means/missions (orbital and surface rovers) demanding robust operations with adaptable levels of autonomy. Due to the intrinsic similarities of addressed scenarios, especially for what concerns surface applications, ERGO has to be/and has been thought so to be applicable to (...)
  • ESROCOS - European, H2020, New!
    ESROCOS proposal aims to develop a system with the following main objectives: Develop a Space-oriented RCOS: ESROCOS shall target space development needs by including space-grade RAMS attributes (refer to ESA ECSS standards) and off-line/on-line formal verification, Telemetry and Telecommand (TM/TC) messages and qualification of industrial drivers such as the Controller Area Network (CAN) bus or EtherCAT protocols. Two reference implementations shall be carried out on space representative (...)
  • Mistral - Mixed Signal Trace Assertion Language - European, JIP-ICET 2, 2014-2016
    MISTRAL develops a framework for AMS assertion-based verification.
  • OpenES - European CATRENE Project 2013-2016
    Open ESL Technologies for Next Generation Embedded Systems
  • SARGON - European, ESA, 2015-2017
    The SARGON (Space Automation & Robotics General Controller) activity is devoted to the design of a Robot Control Operating Software (RCOS) based on existing open-source software and on the TASTE toolset, with special care on its RAMS characteristics.
  • SUCCESS - European, CHIST-ERA, New!
    The IoT has a great potential to provide novel services to humans in critical areas for society. This innovation however requires updating our understanding of the risks associated with the new technology so that we can deploy it with confidence and society can trust it. Amongst the biggest problems for this vision to become a reality are security flaws due to technical restrictions, immaturity of software applications, intrusion threats through new challenges in complex usage scenarios, (...)
  • UnCoVerCPS - European H2020, 2015-2018
    UnCoVerCPS develops and implements new methods to integrate formal verification methods into the control design of cyber-physical systems.
  • Projets Nationaux

  • AEPS - ANR 2016-2017
    Le projet vise à analyser une certaine famille de systèmes déterministes ou stochastiques et à synthétiser de nouveaux algorithmes pour les résoudre efficacement.
  • ARAMIS - PIA 2014-2018
    Architecture Robuste pour les Automates et Matériels des Infrastructures Sensibles
  • BINSEC - ANR 2013-2017
    BINary code analysis for SECurity
  • CADMIDIA - ANR 2013-2017
    Le projet Cadmidia prévoit de mieux comprendre la relation entre exposition à faibles doses au contaminant métallique largement disséminé, le cadmium, et les dysfonctionnements des cellules beta du pancréas.
  • CAPACITES - PIA LEOC, 2014-2017
    Build a hardware and software platform based on the exploitation of integrated many-core processors
  • MALTHY - ANR INS, 2014-2017
    ALgebraic Methods for Real-Time and HYbrid Model Checking
  • SERTIF - ANR ASTRID 2014-2016
    Simulation pour l'Evaluation de la RobusTesse des applications embarquéesà l'Injection de Fautes
  • 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

  • ACE - CNRS INS2I 2016
    Le projet vise à analyse une certaine famille d’Equations aux Dérivées Partielles (EDP) et à synthétiser des méthodes innovantes pour les réguler.
  • 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
  • Variabilité des Circuits Analogiques Hiérarchiques (NANO 2017) - Métro, 2015-2017
    Développement d'une méthodologie pour la modélisation et l'analyse des variabilités des circuits analogiques.

Past Projects

  • ACOSE - BGLE, Invesstisment d’avenir, 2011-2014
  • ACROSS - European IST, FP7, ARTEMIS JU, 2010-2013
  • AGEDIS - FP5 IST, 2000-2003
  • ALIDECS - ACI Sécurité, 2004-2007
  • AMETIST - European IST, 2002-2005
  • APRON - ACI Sécurité, 2004-2007
  • ARESA - ANR, 2006-2009
  • ARESA2 - ANR VERSO, 2009-2013
  • ArtistDesign - Network of Excellence, 2008-20..
  • ASCENS - European IST, 2010-2014, FP7-ICT-2009-5 project number: 257414
  • ASOPT - ANR, 2009-2012
  • ASSERT - FP6 IP, 2004-2008
  • ATHOLE - Minalogic, 2007-2010
  • AVOTE - ANR-SESUR-07-002, 2008-2012
  • CC - Control and Computation - European IST, 2002-2005
  • CERTAINTY - European IST, FP7, 2011-2013
  • CESyMPA - Persyval-Lab Exploratory Project 2013-2014
  • CHAPI - FUI, 2010-2013
  • COMBEST - FP7 IST STREP 215543, 2008-2010
  • COMON - Minalogic, 2009-2012
  • CORTOS - ACI CNRS, 2007-2008
  • CRISYS - IST, 1997-2001
  • CyPhERS - European FP7, Support Action, 2013-2015
  • D-MILS - European STREP FP7, 2012-2015
  • DACRAW - Persyval-Lab Exploratory Project, 2014-2015
  • DECIDE! - RNTL, 2006-2007
  • FoToVP - ANR, ARA-SETIN, 2006-2009
  • Full MDE - ESA Contract, 2010-1211
  • HELP - ANR Arpège, 2009-2013
  • LISE - ANR-07-SESUR-007, 2008-2011
  • ManycoreLabs - BGLE, Investissement d’avenir, 2012-2015
  • MARAE - FNRAE, 2008-2010
  • MIND - Minalogic, 2008-2010
  • MoSATT-CMP - ESA ITT 1-ITT 1-7646/13/NL/JK, 2014-2016
  • MULTIFORM - European IST, 2008-2012
  • NextTTA - IST, 2002-2004
  • OMEGA - IST-2001-33522 OMEGA, 2002-2005
  • OpenEmBeDD - ANR platform, 2006-2009
  • openTLM - Minalogic, 2006-2010
  • P2R Bioinformatique - French-Israeli, 2006-2009
  • PADEC - AGIR-Pôle-MSTIC 2015
  • PerSiForm - RNRT/ANR, 2005-2008
  • PRO3D - European IST, 2009-2012
  • Proofer - PREDIT, 2006-2008
  • PROSE - ANR 2010-VERS-004
  • PROSYD - European IST, 2004-2007
  • PROVE - RNTL, 2003-2007
  • RISE - FP5 IST-2001-38117, 2002-2004
  • SafeAir II - IST, 2002-2004
  • SCALP - ANR-SESUR-012, 2008-2011
  • SFINCS - ANR-SESUR-012, 2008-2011
  • SHIVA - Minalogic, 2009-2011
  • SMECY - European IST, FP7, ARTEMIS JU, 2010-2013
  • 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
  • Transatlantic CPS Summit - ICT-2014-1c, Coordination & Support Action, European, 2014-2016
  • VAL-AMS - ANR SETIN, 2007-2010
  • VEDECY - ANR ARPEGE, 2009-2012
  • VERASCO - ANR INS, 2012-2015
  • VERIDYC - ANR-09-SEGI-016, 2009-2012
  • VULCAIN - Projet-MSTIC, 2009-2010

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

info visites 703391