French Version

	Editorial     The B 2007 International Conference held in January, the launch of a new version of CompoSys, the free download of various graphic animations for models created with Brama and a dedicated site, important news on B this month - all of this in our newsletter. 887 people now read this letter, your interest is encouraging; thank you and... pleasant reading.   Summary 1. Clearsy News 2. Our Projects 3. Our Tools and Methods 4. Our Products and Training   5. Contact Information
	ClearSy News... CompoSys: a new Evaluation Version: 1.5 Clearsy develops CompoSys, a tool to assist in the realization of documented formal system models. A new version is now available and operates in a Windows environment. Its interface ergonomics have been significantly improved, with the integration of numerous guides, tutorials and aids. The 1.5 version will be sent to all those who requested the prior version. You may order it by clicking on: Composys. For more information on CompoSys: www.composys.eu   More News... Industrial Projects   Val de Roissy: Clearsys is developing the security software for Val de Roissy. Real on-site trials started in January. To find out more…   Coppilot Project: Clearsy is working on the command control system for the elevator doors in Saint-Lazare and on Invalides Line 13.  The elevator doors (prototypes) were disassembled after 8 months of testing. More information on Coppilot ...
	B 2007 International Conference The B 2007 International Conference took place in Besancon in January 2007.  This was an opportunity for the B Community to meet and engage in exchanges on various research topics in the formal field. In particular, ETH Zurich has created a very complete tutorial for the new Open Source Rodin tool that allows for the development of system models with B.  We also noted Daniel Dollé’s (Siemens Transportation Systems) presentation on the formal development of the most significant B Project in terms of scope: the New York subway line referred to as the "Carnasie Line". You can download the overheads from our page. Our review. B2007 Web site
	Clearsy Tools/Methods, Focus on Brama Clearsy designs engineering tools and, in particular, distributes Atelier B, B4free and CompoSys. Other tools are in development: in this letter, we provide more information on the Brama tool that is currently being developed.   Brama: an aid tool for the graphic animation of B models. The modeler creates B models with Atelier B, B4free or the Rodin platform, then, with the Brama animation tool, works on these models. Brama was designed to communicate with Flash tools configured with a communication extension that is delivered with Brama. The modeler’s task consists in representing his system with the Flash tools and configuring the scripts that allow for a dialogue with the Brama animation engine. When the user is satisfied, Brama allows the user to export the finished animation in the form of files which, once saved on a CD, will launch the graphic animation without prior installation and on any PC with Windows or Linux. Examples of animations are available on the new site : www.Brama.fr Internships: ClearSy offers students in engineering internships in the field of mathematic modeling and software development. To find out more...
	Our Products and Training
	Contact Information...   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 Clery 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 subscribe, or end my subscription, to the ClearySy.com newsletter at no cost … Pursuant to the law of 6 January 1978, you are entitled to access and correct data on your person.

Copyright © ClearSy