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

CERCLES

L’Agence Nationale pour la Recherche a retenu le projet de recherche industrielle CERCLES (Certification compositionnelle des logiciels embarqués critiques et […]

En savoir +
FORCOMENT

Le projet vise à produire vu VHEL synthétisable à partir du modèle B événementiel d'une fonctionnalité.

En savoir +
OISAU

Ouverture et Interopérabilité pour Systèmes AUtonomes (OISAU) La DGA (Délégation Générale de l’Armement) est maitre d’œuvre d’une étude qui définira […]

En savoir +
RIMEL

Raffinement Incrémental de Modèle EvénementieL (RIMEL) Le projet RIMEL a été retenu par l’Agence Nationale de la Recherche, dans le […]

En savoir +

PARTICIPATION AUX CONFÉRENCES :
Méthodes formelles