Qui sommes-nous ?

ClearSy - Aix en Provence

La société ClearSy

ClearSy a été fondée au 1er janvier 2001 par l’équipe d’ingénieurs auteurs de l’industrialisation de l’outil de modélisation formelle nommé Atelier B, utilisé dans le secteur 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’ingénieurs, consultants et experts dans différents domaines de l’ingénierie (système, mécanique, électronique, logiciel, sûreté de fonctionnement) et dispose 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 aujourd’hui trois 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.
  • une activité d’assistance technique dans les domaines : du formel, du développement, test et validation logiciel et électronique, 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 les secteurs du transport ferroviaire, routier et de l’énergie. Les projets de Clearsy concernent actuellement essentiellement la réalisation de systèmes sûrs selon les normes 61508, 61513, 50126, 50128, 50129.

ClearSy est membre de…

Nessi - Comité Richelieu

Nessi – Comité Richelieu

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 pour stimuler de nouvelles solutions industrielles et des applications sociétales qui vont améliorer la sécurité et le bien-être des citoyens.

ClearSy est également membre adhérent du Comité Richelieu.

Les commentaires sont fermés.