ClearSy.com - Newsletter N°8

Newsletter - n°8 - November/December 2007

French Version

Editorial

The end of 2007 is rich in news for ClearSy.

In October, in particular, we participated in a fair in Brazil dedicated to rail transport.

With regard to new projects, ClearSy is currently developing a P.A. track mat simulator system, which we will describe in this newsletter.

Finally, we will provide you with information on the new version of CompoSys, the BART application and the ComenC translator …

A total of 1575 now read this newsletter. Thank you for your interest …

Enjoy your reading.

ClearSy News...

ClearSy participates in the "Negocios nos Trilhos 2007" Fair in Brazil
Clearsy was present at the “Negocios nos Trilhos 2007” railway fair in Sao Paulo at the end of October (in the French section reserved by the French Economic Mission in Brazil). ClearSy presented its expertise in the field of safety systems and the various safety systems it is developing.

Read the Conference Report...

More news...

Industrial Projects

P.A. Track Mat Simulator Project : The RATP has asked ClearSy to perfect a track mat simulator (the mat is on the ground between the rails) for the automatic subway system.

This device allows for the mat to be replaced by a simulator on board the train. Various configurations of the mat can be tried without needing to manufacture or install one. This simulator is used in the context of a project for automatic reversal to improve the fluidity of Line 13 of the Parisian subway system, among other things.

The RATP will equip the "Porte de Châtillon" station with a new train reversal system. This system, currently operated by two conductors, will become fully automatic (no conductor). For this purpose, the station will be equipped with platform doors installed on the platforms to ensure safety, as well as an automatic reversal system.

The P.A. track mat simulator is presented in the form of a case equipped with simulator electronics for the various frequencies according to the onboard/ground communication protocol.

ClearSy Tools/Methods

ClearSy creates engineering tools and, in particular, distributes Atelier B, B4free, Brama and CompoSys. Other tools are currently under development.

	CompoSys, Version 1.6 CompoSys is a tool to model systems. Its new version, Version 1.6, is now compatible with the Rodin OPEN SOURCE tools and includes the following functionalities: Machine and dictionary editors: The editors are replaced by form-based editors Additional views: A view of the long description. A view of the graph of links between components. New functionalities: The system can be proven directly with Composys. The animation of models is also available. This new version will be distributed shortly. We will keep you informed. To find out more, visit: CompoSys.eu

	BART The BART (B Automatic Refinement Tool) project aims at developing an automatic refinement tool for B machines. This tool will allow for a B0 implementation for a machine or a sufficiently detailed B refinement to be automatically generated. BART operates on the basis of refinement rules. Additional refinement rules may be added in order to allow for the customization of the refinement of some components. The BART automatic refinement tool has been developed in the context of the RIMEL project and will be integrated into the next version of Atelier B. Specifications are currently being finalized …

	The ComenC Translator The ComenC translator is a new translator for B language and allows for B0 implementations to be translated into C language. This translator is a result of a convergence between industrial translators and research works, such as the RNTL BOM (optimized B memory) project. In comparison to prior translators, the ComenC translator offers a simple translator for a more efficient code, closer to the original B0. The C ComenC translator is now provided with B4free and will soon be distributed under an "open-source" license. We will obviously keep you informed of future changes to the tool …

Our Products and Training

Contact Us...

ClearSy Aix en Provence

Parc de la Duranne
320, avenue Archimède
Les Pléiades III - Bât A
13857 AIX EN PROVENCE CEDEX 3 - FRANCE

ClearSy Paris

34, rue de Cléry
75002 PARIS

Tel : 04.42.37.12.70
Fax :04.42.37.12.71

Tel : 01.40.28.14.57
Fax :01.40.28.14.58

Publication e-mail: newsletter@clearsy.com

I wish to subscribe, or unsubscribe, to the ClearSy.com newsletter at no cost …

Pursuant to the Law of 6 January, 1978, you have a right to access and correct your personal data.

Copyright © ClearSy