Actualité ClearSy

Siemens renouvelle le référencement de ClearSy

Depuis plus de 10 ans, CLEARSY est le partenaire stratégique de SIEMENS dans le domaine de la réalisation de logiciels critiques, de la validation associée et de la sûreté de fonctionnement des systèmes. A nouveau, SIEMENS a réitéré sa confiance … Continuer la lecture


Le métro de Budapest inaugure sa nouvelle ligne de métro

Après neuf années d’attente, la nouvelle ligne M4 du métro de Budapest à été mise en circulation le 28 mars 2014. La sécurité en premier lieu Dix stations de cette nouvelle ligne sont désormais opérationnelles, et desservent la Gare de … Continuer la lecture


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 … Continuer la lecture


ABZ 2014 – Du 2 au 6 juin à Toulouse

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 … Continuer la lecture


Séminaire ISCLP – Ingénierie des Systèmes Complexes à Logiciels Prépondérants

Clearsy a participé au séminaire ISCLP organisé par la DGA dans le cadre de sa mission « préparer le futur des systèmes de défense ». Le séminaire ISCLP (Ingénierie des Systèmes Complexes à Logiciels Prépondérants) s’est déroulé sur deux jours … Continuer la lecture


ClearSy citée dans L’Usine Nouvelle pour ses partenariats avec la RATP

Dans son numéro du 10 octobre 2013, L’Usine Nouvelle met en avant la stratégie de partage des innovations de la RATP, opérateur du métro Parisien. Clearsy y est notamment mis en avant pour avoir fourni des équipements sécuritaires (contrôle commande … Continuer la lecture


Séminaire INRIA « Ingénierie des Modèles »

A l’occasion de la journée d’action IDM « Les challenges de la qualification d’outils pour l’IDM », organisée conjointement par le LORIA, l’IRIT et Thalès R&T les 10 et 11 Octobre 2013 à Jussieu, ClearSy présente besoins industriels et retours d’expérience concernant … Continuer la lecture


Séminaire DGA « Ingénierie des Systèmes Complexes »

Dans le cadre du séminaire « Méthodologies et Technologies innovantes pour les systèmes embarqués » organisé par la DGA à Toulouse, les 5 et 6 Novembre 2013, ClearSy intervient lors de la session Génération de code par les modèles – preuve formelle … Continuer la lecture