La Société ClearSy

Notre Société

ClearSy a été fondée au 1er janvier 2001 par l'équipe d'ingénieurs auteur de l'industrialisation de l'outil de modélisation formelle nommé Atelier B, utilisé dans le domaine du ferroviaire pour réaliser les logiciels de sécurité.

La création de Clearsy a été motivée par deux idées principales :

développer les méthodes et outils de type formels
développer des logiciels et des systèmes qui justifient l'utilisation de méthodes formelles

ClearSy est maintenant constituée d'une trentaine d'ingénieurs, consultants et experts basés dans les régions d'Aix en Provence et de Paris. Les ingénieurs de Clearsy ont des compétences dans différents domaines de l'ingénierie (système, mécanique, électronique, logiciel, sûreté de fonctionnement) et disposent d'outils informatiques et d'un laboratoire électronique permettant la réalisation de prototypes et d'essais. Des collaborations avec des laboratoires et partenaires industriels permettent d'assurer la production de différentes composantes systèmes (capteurs et interfaces).

Clearsy comprend essentiellement deux activités :

une activité Outils et Méthodes : développement des outils : Atelier B, CompoSys, Brama, développement de méthodes et de prototypes au sein de projets de R&D industriels et Européens, développement d'outils d'ingénierie industriels spécifiques,
une activité d'ingénierie basée sur la réalisation de projets à engagement de résultats pour concevoir et/ou valider les systèmes et les logiciels, et une activité d'assistance technique dans le domaine du formel et de la sûreté de fonctionnement

L'originalité de Clearsy se trouve dans ses compétences à la fois en Système, en Logiciel, en Sûreté De Fonctionnement et dans la maîtrise de l'utilisation de méthodes formelles.

Celles-ci sont utilisées :

en phase de spécification pour valider les spécifications, démontrer sa cohérence et représenter le système sous forme de maquette numérique et graphique
en phase de réalisation des logiciels sécuritaires pour démontrer qu'ils répondent à leur spécification, et démontrer qu'il ne subsiste pas d'erreur de codage

Les clients de Clearsy sont de grands industriels et donneurs d'ordre, essentiellement situés dans le domaine du transport ferroviaire et routier. Les projets de Clearsy concernent actuellement essentiellement la réalisation de systèmes sûrs selon les normes 61508, 50126, 50128, 50129.

Nos Clients et Partenaires

Alstom, Atmel, CEA, CNES, Crédit Agricole, DGA, EADS, EDF, Eurocopter, Gemplus, Intracom, INRETS, IPSN, Leroy Automation, Nokia, Perkin Elmer, Peugeot, PSA, RATP, Renault, Siemens Transportation System, SNCF, Société Générale, ST Microelectronics, THALES, Volvo,...

Notre Historique

Après avoir travaillé dans le domaine de la réalisation de systèmes temps réels, les fondateurs de Clearsy ont découvert les méthodes formelles et leur intérêt dans les années 1990. Ils ont développé et industrialisé ce qui allait être le premier véritable outil industriel de développement de logiciel selon la méthode formelle B.

Cet outil, l'Atelier B, a depuis permis la réalisation de nombreux logiciels sécuritaires entièrement mathématiquement prouvés, et répondant aux normes les plus strictes.

Ces réussites industrielles dans le domaine du logiciel ont également révélé l'importance de la qualité des spécifications systèmes dans lesquels sont implantés les logiciels critiques. Clearsy, en collaboration avec l'inventeur de la méthode et des laboratoires a mis au point des techniques de modélisation formelle de systèmes.

Plusieurs projets industriels ont déjà pu mettre à profit ces techniques, pour spécifier des systèmes (composants, architecture électronique et systèmes à automate).

Toutes ces expériences ont convaincu les ingénieurs de Clearsy, que les méthodes formelles sont des outils qui permettent de bien maîtriser les systèmes d'une part, et que d'autre part la certification des systèmes et des logiciels s'en trouve grandement facilitée.

C'est pourquoi ClearSy a décidé :

de se positionner sur le marché de la réalisation de systèmes sécuritaires,
d'utiliser la méthode formelle B pour réaliser les systèmes et logiciels qui lui sont confiés.

Cette décision est très importante à plusieurs titres :

Clearsy innove sur le marché de la réalisation de systèmes et de logiciels, en introduisant l'utilisation de méthodes formelles,
L'utilisation d'outils et de techniques de modélisations nous permet de capitaliser et améliorer sans relâche la qualité des systèmes que nous produisons
La réalisation de systèmes opérationnels nous incite à mettre en oeuvre et développer des outils formels de plus en plus accessibles aux ingénieurs

Clearsy souhaite ainsi être moteur dans les techniques et outils formels de développement des systèmes sécuritaires certifiés.

Quelques Dates...

1993 : Démarrage de l'industrialisation atelier B pour une utilisation dans les logiciels de sécurité METEOR.
1994 : Distribution de la première version atelier B.
1998 : Version industrielle de l'atelier B et mise en service du métro METEOR.
2001 : Création de ClearSy pour développer la méthode B. Deux agences : Aix en Provence et Paris.
2002 : Première version d'un langage formel système.
Utilisation de la méthode B pour la réalisation des principes de fonctionnement des voitures Peugeot 206, 307, 407 (documentation du fonctionnel).
2003 : Création de l'activité Sûreté de Fonctionnement (SDF).
2004 : Mise à disposition d'un outil gratuit pour les académiques : B4Free.
2005 : Réalisation de spécification de système industriel avec la méthode B.
Lancement d'un outil de diagnostic automobile : DiagElec.
2006 : Version Beta test d'un outil de spécification formelle de système : Composys.
Mise en service du système sécuritaire Coppilot de commande des portes palières ligne 13.

Notre Organisation

Agrandir

ClearSy est membre de...

ClearSy est membre de "Networked European Software & Service Initiative" NESSI vise à fournir une vue unifiée de la recherche européenne pour les architectures de service et les infrastructures logicielles, qui vont définir les technologies, stratégies et politiques de déploiement qui vont stimuler de nouvelles solutions industrielles, nouvelles et ouvertes, et des applications sociétales qui vont améliorer la sécurité et le bien-être des citoyens.

ClearSy est membre adhérent du Comité Richelieu.