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

	Editorial   Clearsy wished to inform you on a regular basis about the latest innovations concerning the B method - and about what Clearsy offers in this area - by publishing a newsletter. Issue Number 0 was appreciated, since we listed 868 subscribers. The editorial department thanks you for trusting in this new medium and wishes you a good reading! Summary: 1. Clearsy News 2. Our Projects 3. Our Tools and Methods 4. Our Products and Training 5. Contact Information
	ClearSy News...   RIMEL Project: a new R & D project in collaboration with the LORIA of Nancy and the Labri of Bordeaux Project RIMEL (Incremental Refinement of Event-related Models) was adopted by the National Research Agency, within the framework of the 2006 edition of the “Safety and Data processing” program… (Read more…)   More News... Industrial Projects   Micro-electronics ST Project: This project is aimed at formalizing the L4 microkernel specification: the informal API description is transformed into a B model and properties which can be proven in such a model are also described. In a second step, the model serves as a test oracle in order to validate the correspondence between the model and the microkernel code.  To find out more...   SPRAT vehicle Project: Since 2005, Clearsy collaborates with the CNIM, initially on the realization of the formal general design (CGF) of the vehicle electronic system, and now on the integration of the system’s various components. The CGF was implemented with the CompoSys tool in order to integrate the system models and to produce the document. These models thereafter made it possible to define the tests strategy and the associated tests plan. The specification of a test-generating tool has been specified by our R & D.dept: the SPRAT project. SPRAT Project.
	ClearSy Tools/Methods, Focus on CompoSys Clearsy designs engineering tools and, in particular, distributes Atelier B and B4free (www.atelierb.eu, www.b4free.com). Other tools are in development:   CompoSys: Support Tool to the realization of a documented and formal model system. Composys assists the model-maker in describing by a model and the associated documentation the various components of a system, automates models checkings and automates the production of associated, natural language, documents. In the produced documents, one can find, in the form of drawings and of homogeneous explanations, the description of the system components, of their functions and input/output. CompoSys was designed to describe each subsystem gradually as their characteristics are known. Thus, Composys allows you, for instance, a “virtual integration” of an electronic system components based on a computer. Each time the model-maker inputs a new component, CompoSys, in addition to the syntactic checkings and of typing, checks about fifty coherence rules, calculates and draws the interactions between the components, even starting from an incomplete model. Thus CompoSys makes it possible to validate and test several functional architectures as their description gradually appears. This characteristic constitutes an asset when the system is in a definition process and when one wishes to know its coherence level at a given moment. A version is available in test. (www.composys.eu), a new evaluation version is expected by january 2007. Rodin : European project for the development of a system specification environment with B. A presentation and training for future plugins developers took place in Düsseldorf. (19/11/06 to the 21/11/06.) Internships: ClearSy offers internships for students in engineering on topics related to mathematic modeling and software development. To find out 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