Monthly Archives: September 2013

ClearSy is contributing to a technical seminar organized by Newcastle University on 24 October 2013.

Formal methods are used worldwide to improve safety in several railways applications, at various levels and with a wide range of results obtained. This presentation is intended to provide a unified (not agnostic) overview of existing practices and to assess to which extent safety is ensured.

At that occasion, some examples of railways data validation will be exhibited.

ClearSy participated to CAI 2013 conference (International Conference on Algebraic Informatics) held in Porquerolles (France) 3-6 September 2013.

A talk, entitled “Railways formal data validation“, was given during the industrial session. It was a good occasion to expose to researchers the mathematical problems the railways industry is currently facing when validating safety-critical embedded data.