Logo ERSA by CLEARSY

Une étape majeure : ERSA rejoint CLEARSY

L’unité ERTMS de CLEARSY franchit à présent une nouvelle étape, grâce à l’acquisition le 12 juillet 2018 de la société ERSA (European Rail Software Applications) dont Patrick Deutsch a été le cofondateur avec l’ERRI en 1998 et le Directeur Technique pendant 18 ans. L’ERRI (European Rail Research Institute) était l’organisme en charge de l’établissement des premières […]

CLEARSY en charge des logiciels de sécurité de la signalisation des lignes 2 et 3 du tramway de Nice

Luxembourg-Ville, et maintenant Nice lignes 2 et 3 : pour la 2ème fois en 2 ans, CLEARSY va produire les logiciels de sécurité de la signalisation d’une ligne de tramway. Sa solution pour Nice augmente la flexibilité du système de signalisation et sa compétitivité. Dans le cadre de ce marché, CLEARSY délivre à MOBILITY une […]

ABZ 2018

La société CLEARSY était présente à la sixième édition de la conférence internationale ABZ, dédiée à diverses méthodes formelles, en particulier la méthode B et le B événementiel, technologies pour lesquelles CLEARSY est un des principaux acteurs au niveau mondial. Organisée par l’Université de Southampton, cette édition a compté sur la participation d’une centaine d’experts […]

Conférence Formal Methods – 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 systèmes critiques. L’exposé intitulé “Disruptive Innovations for the Development and the Deployment of Fault-Tree Software” aura lieu le 17 Juillet lors de la […]

ABZ 2018 – Du 5 au 8 juin 2018 à Southampton, Royaume-Uni

Clearsy a participé à la série de conférences ABZ. ABZ mutualise la présentation de travaux de recherche portant sur une famille de six méthodes formelles ayant pour base la notion d’état et de machine : ASM (Abstract State Machine), Alloy, B, TLA, VDM et Z. Ces méthodes sont conceptuellement similaires et sont employées aussi bien […]

Smart Metro

Clearsy sera présent au salon de la mobilité urbaine Smart Metro, du 29 au 31 octobre 2018 à Paris.

Smart Metro est un lieu de rencontre pour les experts en technologie ferroviaire du monde entier. Pendant cette édition, se déroulera en même temps, le 9ème Congrès mondial des CBTC, qui se concentre sur l’innovation dans les systèmes de signalisation CBTC pour offrir une capacité, une sécurité et une fiabilité accrues. Il sera également co-localisé […]