Editorial

This month, ClearSy is pleased to announce many new events in its newsletter...

Starting with the effective distribution of Atelier B 3.7 since July 2007. This new version includes numerous upgrades to Atelier B’s major functionalities.

In September, ClearSy also organized the Rodin Industry Day. Approximately sixty people came together to discuss the issue of the state of progress of the development of the Rodin formal modelling platform.

With regard to new projects, the RATP has awarded ClearSy a project to implement the SIL3/4 COPP system project to open and close the platform doors to be installed at the Porte de Chatillon station on Line 13 of the Paris subway system.

This newsletter also includes information on the new Cosyc project, as well as recent changes to our Brama and B4Free tools.

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

Enjoy your reading.

ClearSy News...

Rodin Industry Day

The second edition of this day was an opportunity for us to discuss the Rodin platform with many presentations of its related plugins and examples of concrete applications. Some of these presentations are available on Page Rodin Industry Day 2007..

ClearSy attended the SMBF 2007 Conference in Brazil

ClearSy attended the SBMF 2007 Conference and presented its article: "Formal Methods in Safety-Critical Railway Systems".

We discussed the use of Method B in the process to create systems and demonstrated the use of the Rodin platform CompoSys and Brama tools. The Brazilian UFRN university also presented its works on modelling with Method B.
Discover the conference’s official site …

Fersil, Available in a Multilingual Version

We are pleased to announce that the Fersil site is now available in four languages : French, English, Spanish and German.

More News...

Industrial Projects

COPP Project:

The COPP system commands the platform doors independently from the automatic train operations system. Thanks to sensors installed in the station, COPP observes a portion of the track area and analyzes the behaviour of trains travelling through stations. A material COPP component is also installed in the train to retrieve information on the opening and closing of the train doors. When the observation conditions have been fulfilled and the train delivers information to open or close the train doors, COPP securely commands the opening and closing of the platform doors on the platform adjacent to the train.

COPP’s safety is based on the SIL3 guarantee of the train being present and at a full stop in the stopping zone. The COPP system is integrated into the more general system responsible for automatically controlling the train doors at the Porte de Chatillon station. Our development process is based on the use of B Method at the system and software levels.

Cosyc Project:

The Paca Region, Oséo Innovation and the “Safe Communicating Solutions” Competitiveness Unit have selected the Cosyc project (accurate construction of onboard critical communicating systems) in the context of the call to tender for the research project finalized in 2007 (PRIDES).

This 30-month project intends to demonstrate the feasibility of the integration of formal functional and dysfunctional models to build safe and proven functional systems. The work will be performed using formal B and Altarica languages and their respective workbenches (Atelier B and Combava).

ClearSy Tools/Methods

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

Atelier B 3.7

Atelier B 3.7 has been available since 18 July 2007 and includes many upgrades for Atelier B's major functionalities in order to facilitate developers' tasks by focusing on the user interface, proof and system features. Visit the Atelier B site

New Brama Version

The 0.0.16 version of Brama is available.
The changes to this new version mainly apply to:

• The improvement of error messages.
• Functional support: Brama can now search for function values.
• A change in the sorting of events and the addition of a button to sort variables.
• Improved support of MacOS X.

Visit the Brama Site

New Version of B4Free

You can now download the new version of B4Free. Among its new principal features, this version includes a code generator to translate B implementations into C language. This new version is also based on the 3.7 version of Atelier B.

Visit the B4Free Site

Our Products and Trainings

Contact us...

Editor's E-mail : newsletter@clearsy.com

I would like to suscribe, or end my subscription, to the ClearSy.com newsletter at no cost...

Pursuant to the law of January 6, 1978, you are entitled to access and correct your personal information.

Copyright © ClearSy