English Version - Vous ne parvenez pas à lire correctement cette lettre...

	Editorial   The objective of our newsletter is to provide you with the latest news on Method B and related tools and keep you informed on the evolution in Clearsy's offer in this field, Summary: 1. Clearsy News 2. Our Projects 3. Our Tools and Methods 4. Our Products and Training 5. Contact Information
	ClearSy News...   Lambda Mu 15 Conference: Controlling Risks and Operational Security Clearsy attended the above conference. Clearsy and the RATP co-wrote the "Use of the Formal Method B for an SIL3 System: Landing Door Commands for Line 13 on the Parisian Subway System" article for this conference. (cont'd .)     New B 2007 Conference   The B 2007 Conference has been announced and will run from January 17 to 19, 2007 Clearsy will present the Brama tool and has co-written a presentation with STMicroelectronics.(cont'd .)   More News... Industrial Projects   Clearsy's projects involve Research and Development, as well as Industry. This section provides an overview of current Clearsy projects.   Coppilot: this Clearsy product has been installed on Line 13 of the Parisian subway at the Saint Lazare and Invalides stations. The SIL3 security system manages the landing doors tested in these stations. Method B was used in its development and, for the first time at the system level, up to the coding of the automatons. To find out more...   Val de Roissy: Clearsy is developing security software for the automatic controls of the future VAL de ROISSY. For further information, visit: Val de Roissy.
	Tools, Method Clearsy designs engineering tools and, in particular, distributes Atelier B and B4free (www.atelierb.eu, www.b4free.com). Other tools are in development:   Brama: a tool for model animation and graphic visualization of models. This tool will be available for trials in early 2007.  Composys : a tool to design formal system architectures. Atelier B: a new version of Atelier B is also planned for the end of 2006 and we intend to distribute a temporary version at no cost to students in schools teaching Atelier B, to enable students to work on their projects directly on their computers.   B4free: is an academic version of Atelier B (www.B4free.com)   Rodin: the development of an open platform to design fault-tolerant systems. This three-year European project intends to develop the future system specification environment with B. ETH Zurich (Switzerland) is developing the base platform. A version that includes refinement and proof will be available shortly. To find out more ...   Internships: ClearSy offers internships for students in engineering on topics related to mathematic modeling and software development. To find ou more...
	Our Products and Trainings
	Contacter 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 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