Savoir-faire

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.

Recherche & développement


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

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.

picto-link

Participation aux conférences


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.

Certification compositionnelle des logiciels embarqués critiques et sûrs.

Système à communication magnétique train/sol.

DEPLOY

Déploiement industriel des méthodes d’ingénierie système, assurant fiabilité et productivité.

FORCOMENT

B-événementiel pour du VHDL synthétisable.

Ouverture et interopérabilité pour Systèmes Autonomes.

Transmission par modulation QPSK

Raffinement incrémental de modèle événementiel

Atelier logiciel open source intégré à l’IDE Eclipse.

Outil d’animation graphique de modèle formel B

CompoSys est un outil de conception formelle d’architecture système.