Actualité ClearSy

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


Safety-critical Systems Symposium

A l’occasion du « Safety-critical Systems Symposium » organisé par SCSC au Grand Hôtel de Brighton du 2 au 4 Février 2016, ClearSy présentera son expérience en validation formelle de données ferroviaires, au travers d’un exposé retraçant l’historique de cette technique, ses … Continuer la lecture


Dispositifs d’auto-évacuation et de désenfumage SIL2 pour la rocade L2 de Marseille (liaison A7-A50)

ClearSy réalise le dossier de sécurité pour les dispositifs d’évacuation et de désenfumage de la nouvelle rocade L2 de Marseille, en tant que sous-traitant de Bouygues, leader du groupement rocade L2 (Bouygues, Egis, DPT, Colas, Spie batignolles, Meridiam Infrastructure et … Continuer la lecture


Clearsy recevra les 18 et 19 novembre 2015 la première rencontre annuelle du projet européen H2020 INTO-CPS.

L’objectif du projet INTO-CPS est la création d’une chaîne d’outils de développement de systèmes cyber-physiques (Cyber-Physical Systems CPS) de conception orientée modèle (Model-Based Design MBD). Ces outils mettront en œuvre une modélisation collaborative et multidisciplinaire de systèmes cyber-physiques à partir … Continuer la lecture


Architecture bi-processeur 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 bi-processeur  SIL4 pour la construction d’automatismes sécuritaires à bas coût. … Continuer la lecture


CLEARSY a participé à la 5ème édition de la conférence internationale sur les gares ferroviaires, NEXTSTATION 2015

CLEARSY a participé à la 5ème édition de la conférence internationale sur les gares ferroviaires, NEXTSTATION 2015  à Marrakech (Maroc) du 20 au 23 octobre 2015. Cette conférence internationale qui fait référence dans le monde au thème du développement et … Continuer la lecture


ClearSy a participé à FM 2015, conférence internationale relative aux méthodes formelles

ClearSy a participé à la prestigieuse conférence internationale relative aux méthodes formelles, FM 2015, qui a eu lieu à Oslo (Norvège) du 24 au 26 Juin 2015. A cette occasion, ClearSy a présenté ses travaux concernant la modélisation formelle virtuelle … Continuer la lecture


ClearSy a participé à la conférence Formal Methods 2015

ClearSy a participé à la conférence Formal Methods 2015 qui s’est tenue du 22 au 26 Juin à Oslo (Norvège). C’est un rendez-vous incontournable qui a lieu de manière itinérante tous les 18 mois. L’édition 2012 avait permis de nouer … Continuer la lecture