Clik here to view.
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...
View ArticleClearSy participe au Forum Méthodes Formelles “Le model-checking en action”
ClearSy participe au Forum Méthodes Formelles “Le model-checking en action” organisé par le LAAS-CNRS le jeudi 16 octobre 2014. A cette occasion, sont présentées des expériences industrielles et...
View ArticleClik here to view.
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...
View ArticleArchitecture double cœur SIL4 présentée au Forum IFSTTAR “Sûreté et sécurité...
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...
View ArticleAtelier de modélisation temporelle Waruna présenté au salon “Machine to...
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...
View ArticleArchitecture bi-processeur SIL4 présentée du Printemps de l’Innovation Open...
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...
View ArticleClik here to view.
Conférence internationale SBMF 2017
ClearSy participe à la conférence internationale SBMF 2017 (http://sbmf2017.cin.ufpe.br/) relative aux méthodes formelles qui aura lieu du 27 Novembre au 1er Décembre 2017, à Recife (Brésil). A cette...
View ArticleClik here to view.
Projet LCHIP et architecture double processeur: premier starter kit
Le projet LCHIP (Low Cost High Integrity Platform) est un projet co-financé par la Banque Publique d’Investissement, la Région PACA et la Métropole Aix-Marseille. Il vise à proposer un accès simplifié...
View ArticleClik here to view.
Méthodes formelles et systèmes cyber-physiques – Séminaire à Shonan
ClearSy va organiser à Shonan (sud de Tokyo), du 05 au 09 Novembre 2018, un séminaire scientifique sur invitation relatif à l’usage industriel des méthodes formelles pour les systèmes cyber-physiques....
View ArticleConférence Formal Methods – FM 2018 – Oxford
A l’occasion de la conférence Formal Methods qui se tiendra à Oxford (UK) du 15 au 17 Juillet 2018, ClearSy présentera sa vision de l’utilisation des méthodes formelles pour le développement de...
View ArticleNouvelle version de l’Atelier B pour Mac-OS
Cette version est une version Free Edition, dont l’accès est libre, elle est donc directement téléchargeable. Après Linux et Windows, l’installeur permet maintenant une exécution de l’Atelier B 4.5.1...
View ArticleAGREMENT FRAMATOME pour CLEARSY
« CLEARSY sort des rails et obtient l’agrément FRAMATOME en conception et réalisation de contrôle-commande et logiciels sécuritaires dans le nucléaire » Pour être sûre, une installation nucléaire doit...
View ArticleMétro de Marseille – Clearsy livre un système innovant pour sécuriser le...
Métro de Marseille Clearsy livre un système innovant pour sécuriser le terminus de la ligne 2 Les dimensions du tunnel de la station Capitaine Gèze, terminus de la ligne 2, interdisent les systèmes...
View ArticleCLEARSY développe le logiciel d’un système de pilotage embarqué test pour les...
Associé à la modernisation du système de pilotage embarqué des trains suisses pour le compte de SBB, CLEARSY a fait appel aux solutions ERTMS de son site strasbourgeois. SBB, la société des chemins de...
View ArticleDispositifs de fermeture, d’auto-évacuation et de désenfumage SIL2 pour la...
CLEARSY réalise le dossier de sécurité pour les dispositifs de fermeture, d’auto-évacuation et de désenfumage des tunnels de la rocade L2 de Marseille, auprès et en tant que sous-traitant de Bouygues...
View ArticleSystème d’aide à l’arrêt des trains : Deux panneaux pour aller chercher...
Système d’aide à l’arrêt des trains : CLEARSY fait profiter la SNCF de son expérience réussie pour le métro de Stockholm avec un projet-pilote en région parisienne. Epinay-Villetaneuse, une station de...
View ArticleMétro de Marseille : CLEARSY développe un système anticollision
CLEARSY sécurise la ligne 2 du métro de Marseille avec son système « Train Pneu Frotteur Gabarit ». Le système est entré en service, stations capitaine Gèze et rond-point du Prado. Avec ses trois...
View ArticleLa sécurité incendie du métro parisien supervisée par CLEARSY
Le premier système de supervision sécurisé des systèmes de sécurité incendie du métro parisien a été mis en service. Ce système, développé et déployé par CLEARSY pour la RATP, est une première en tant...
View ArticleCLEARSY développe un savoir-faire en sécurisation d’interfaces
Quels points communs entre le système de contrôle et de commande à distance des systèmes de sécurité incendie développé pour la RATP, une interface conducteur-machine ETCS (DMI) et le système de...
View ArticleTalgo intègre les nouvelles consoles SIL2 développées par CENTRALP et CLEARSY
Les nouvelles consoles sécuritaires DMI SIL2 (K-Vision) développées par Centralp et CLEARSY, deux PME Françaises partenaires, sont intégrées par Talgo pour la Deutsche Bahn. Utilisées dans le système...
View Article
