Accueil |
Actualité |
Société |
Activités |
Secteurs |
Supports Commerciaux |
Nos Projets |
Conférences |
Nos Produits et Formations |
Nos Valeurs |
Recrutement |
Newsletter |
Contacts |
Plan du Site
|
Recherche et Développement
ClearSy investit significativement en Recherche et Développement pour 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 terme d'outils 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 financés par la France et pas l'Union Européenne.
En outre, ClearSy est membre actif de l'Association Française d'Ingénierie Système, du réseau Format 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. Les partenaires industriels sont: Nokia (Finlande), VT Engine Control (UK) et Praxis (UK). Les partenaires académiques sont: universités de Newcastle (UK), Southampton (UK), Aobo (Finlande) et ETH Zurich (Suisse). Plus d'informations sur Rodin...