Recherche & 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.

A 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 Methods 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 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

Projet Européen en cours :

RODIN :

Le projet RODIN (développement d’une plateforme ouverte pour la conception de systèmes tolérants aux fautes) a débuté. Ce projet de 3 ans a pour objectif de développer le futur environnement de spécification et de développement B. Parmi les partenaires industriels figurent Nokia (Finlande), VT Engine Control (UK) et Praxis (UK). Les partenaires académiques du projet comptent notamment les universités de Newcastle (UK), Southampton (UK), Aobo (Finlande) et ETH Zurich (Suisse).

Plus d’informations sur Rodin…

Participation aux conférences :

  • ZB’2003 (Turku – Juin 2003)
  • QSL « L’ingénierie formelle des systèmes » (Nancy – Avril 2003)
  • QSL « La méthode B » (Nancy – Février 2002)

Les commentaires sont fermés.