TRAVAUX R&D


TRAVAUX R&D (RECHERCHE & DÉVELOPPEMENT)


picto-b-130x130

CLEARSY mène des travaux de Recherche & Développement dans différents cadres : des projets financés (Europe, France ou région) et des projets internes. Le tableau ci-dessous retrace les derniers projets de recherche publics auquel ClearSy a participé de manière active.

LES THÉMATIQUES


CES PROJETS DE RECHERCHE PERMETTENT D’ABORDER DES THÉMATIQUES NOUVELLES ET D’APPROFONDIR DES SUJETS INNOVANTS COMME :

LA GESTION DES EXIGENCES

LE PROCESSUS DE RAFFINEMENT AUTOMATIQUE

L’AUTOMATISATION ET NIVEAU DE CONFIANCE DU PROCESSUS DE PREUVE AUTOMATIQUE

LA SÉCURISATION DE LA GÉNÉRATION DE CODE

L’ADAPTATION DE L’APPROCHE SYSTÈME À LA CONCEPTION DE CIRCUITS MICRO-ÉLECTRONIQUES

L’EXTENSION DE LA VALIDATION FORMELLE DE DONNÉES CONSTANTES

LA CONNEXION DES MODÉLISATIONS AVEC D’AUTRES OUTILS ET MÉTHODES D’ANALYSE

PROJETS FINANCÉS


PROJETS INTERNES