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, 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.

Thèmes récemment explorés

L’utilisation conjointe de B 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.

Conférences

Participation aux conférences méthodes formelles.

Projets R&D

Les activités de recherche effectuées par CLEARSY suivent deux axes complémentaires. D’un côté, l’amélioration des outils de travail (Atelier B, Brama, CompoSys…) et leur comptabilité avec d’autres outils ou langages existants et de l’autre, le développement de technologies adaptées aux spécifications des systèmes demandés.

Voir le détail des projets R&D