ClearSy System Engineering, specialist in Safety Critical Systems

* ClearSy System Engineering, specialist in Safety Critical Systems

Home l News l Company l Activities l Sectors l Sale Assistance l Our Projects l Conferences
Our Products and Training l Our Values l Employment l Newsletter l Contacts l Site Map -

Read our RSS Feed

Our Clients

Our Engineering Services

Our B Tools

	Atelier B : Industrial tool enabling the operational use of Method B for proven software development.
	B4Free : Academic tool enabling the operational use of Method B for proven software development.
	Brama : Animation tool for models undergoing development.
	ComenC : The ComenC translator allows for B0 implementations to be translated into C language
	CompoSys : Tool for formal design of systems architecture.

B Method

BMethod :
Site about the B method, a formal method with proof

B Tools Forum :
Discuss the B tools developed by ClearSy.

Railway Products

	Fersil : ClearSy's Offers in the Railway System Sector
	DOF1 : Device to Open and Close the Platform Doors on line 1, SIL4
	COPP : Platform Screen Doors at the Paris-Châtillon Station

News

The new version of Atelier B is in beta test :
More informations about Atelier B 4.0 on our website...

Free Version of Atelier B :
Version 4 of Atelier B will be free for everyone when it is launched at the end of 2008. The version currently being prepared and tested internally will be made available to a few volunteer users between...

"B Dissemination Day 2008" :
This year, AeS and ClearSy are organizing a day dedicated to the B Method, which will take place in Brazil in August...

Read our RSS Feed

ClearSy System Engineering - Parc de la Duranne - 320 av. Archimède - Les Pléïades III Bat A
13857 AIX EN PROVENCE CEDEX 3
Tel : 04 42 37 12 70 - Fax : 04 42 37 12 71 - contact@clearsy.com