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
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 +L’Agence Nationale pour la Recherche a retenu le projet de recherche industrielle CERCLES (Certification compositionnelle des logiciels embarqués critiques et […]
En savoir +Le projet vise à produire du VHDL synthétisable à partir du modèle B événementiel d'une fonctionnalité.
En savoir +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 +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