Recherche et développement

CLEARSY investit significativement en R&D dans le domaine de l’ingénierie sécurité,
afin de développer de nouveaux outils et valider de nouvelles techniques de modélisations.

CLEARSY mène de nombreuses actions de recherche et développement
en partenariat avec des industriels.

NOS ACTIONS R&D

CLEARSY mène de nombreuses actions de recherche et développement en partenariat avec des industriels, qui lui permettent d’apporter à ses clients des innovations en termes d’outils sécuritaires et de méthode d’ingénierie Système. À ce titre, CLEARSY participe à un certain nombre de réseaux d’excellence et de projets d’ingénierie sécuritaire financés par la France et par l’Union Européenne.
En outre, CLEARSY est membre actif de l’Association Française d’Ingénierie Système du réseau Formal Method Europe et de l’Institut pour la Maîtrise des Risques et la Sûreté de Fonctionnement.

LES THÈMES RÉCEMMENT EXPLORÉS SONT PAR EXEMPLE :
• L’utilisation conjointe de M et UML
• La réalisation de composants VHDL prouvés
• La réalisation d’un générateur de code pour carte à puce
• Une approche méthodologique de l’ingénierie de la décision
• L’utilisation de la méthode B, pour la spécification et la preuve de systèmes.

NOS Projets R&D

ICSPA

ANR a sélectionné le projet ICSPA (Interoperable and Confident Set-based Proof Assistants) dans la cadre de l’appel à projets générique 2020.

En savoir +
BLASST

ANR a sélectionné le projet BLaSST (Enhancing B Language Reasoners with SAT and SMT Techniques) dans la cadre de l’appel à projets générique 2020.

En savoir +
AIDOART

ECSEL JU a sélectionné le projet AIDOaRt (AI-augmented automation supporting modelling, coding, testing, monitoring and continuous development in Cyber-Physical Systems) dans le cadre du programme H2020.

En savoir +
DISCONT

ANR a sélectionné le projet DISCONT (Correct Integration of DIScrete and CONTinous models) dans la cadre de l’appel à projets générique 2017.

En savoir +
LCHIP

BPI France a sélectionné le projet LCHIP (Low Cost High Integrity Platform) dans le cadre du programme FUI 21.

En savoir +
AQUAS

ECSEL JU a sélectionné le projet AQUAS (Aggregated Quality Assurance for Systems) dans le cadre du programme H2020.

En savoir +
AMASS

ECSEL JU a sélectionné le projet AMASS (Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems) dans le cadre du programme H2020.

En savoir +
MEGAMART

ECSEL JU a sélectionné le projet MegaMart (An scalable model-based framework for continuous development and runtime validation of complex systems) dans le cadre du programme H2020.

En savoir +

PARTICIPATION AUX CONFÉRENCES :
Méthodes formelles