Architecture bi-processeur SIL4 présentée du Printemps de l’Innovation Open Source

A l’occasion de la journée « Langages et outils pour la fiabilité logicielle »  qui aura lieu le 12/05/2016 à Paris (Jussieu), dans le cadre du Printemps de l’Innovation Open Source, ClearSy présentera les principes de son architecture bi-processeur  SIL4 pour la construction d’automatismes sécuritaires à bas coût. Cette architecture propose des principes de sécurisation et s’appuie […]

Atelier de modélisation temporelle Waruna présenté au salon « Machine to Machine & Objets connectés »

A l’occasion du salon « Machine to Machine » qui aura lieu les 23 et 24 Mars 2016 à Paris Expo Porte de Versailles, ClearSy participera à la conférence Systematic et viendra présenter le projet collaboratif FUI WARUNA qui développe un atelier de modélisation pour la réalisation d’analyses temporelles de systèmes embarqués critiques à logiciel prépondérant. Liens: […]

Architecture double cœur SIL4 présentée au Forum IFSTTAR « Sûreté et sécurité dans les transports »

A l’occasion du forum IFSTTAR »Sûreté et sécurité dans les transports » qui aura lieu le 09/12/2015 à Paris dans les locaux de Telecom ParisTech, ClearSy présentera les principes de son architecture double cœur SIL4 pour la construction d’automatismes sécuritaires à bas coût. Cette architecture propose des principes de sécurisation et s’appuie sur une chaine de développement […]

Congrès de Sûreté de Fonctionnement et de Maîtrise des Risques

Toute l’équipe de ClearSy  vous a rencontré lors du Congrès de Sûreté de Fonctionnement et de Maîtrise des Risques, Lambda Mu 19. Nous remercions vous remercions d’être venu nous retrouver sur notre stand. Vous avez decouvert  les nouveautés concernant l’Atelier B 4.2, l’outil industriel la génération de logiciel sécuritaires, et l’étude de systèmes critiques. Clearsy […]

ABZ 2014

La conférence ABZ 2014 s’est tenue du 02 au 06 Juin à Toulouse. Elle a regroupé environ 120 personnes et a permis aux communautés B, Z, ASM, Alloy et VDM de se retrouver et d’échanger. La diversité et la pertinence des travaux présentés, ainsi que la présence notable d’industriels, témoignent d’une vigueur grandissante de la […]

AFADL 2014 : Les 11 et 12 juin 2014

ClearSy sponsorise AFADL 2014 qui aura lieu au CNAM (Paris, France) simultanément avec les conférences CAL et CIEL, ainsi que les journées du GDR GPL. L’atelier  AFADL rassemble de nombreux acteurs académiques et industriels intéressés par la mise en œuvre des techniques formelles aux divers stades du développement des logiciels et/ou des systèmes. Venez nous […]

3 juin 2014 – NEPTUNE – TELECOM ParisTech

L’ingénierie dirigée par les modèles (IDM) est au centre des préoccupations des Journées Neptune.  A l’occasion de la journée Neptune du 3 juin 2014 organisé par Telecom ParisTech, Joris Rhem expert de la société ClearSy, leader dans la distribution des outils supports de la méthode B (Atelier B) vous présentera une modélisation B appliquée au […]

ABZ 2014 – Toulouse du 2 au 5 juin

La conférence ABZ confronte les meilleurs experts dans le domaine des méthodes formelles avec preuves provenant des milieux universitaires et industriels. Les enjeux ?            Concevoir des systèmes matériels et logiciels sûr et sans bug.  Elle se déroulera du 2 au 6 juin 2014 à Toulouse ClearSy sera présent pour vous présenter en avant-première la version […]