La Société ClearSy
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, B4free, DiagElec, 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, ...
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 etlogiciels 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.
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.
){kind=spacer}