* ClearSy System Engineering, specialist in Safety Critical Systems

Home l NewsCompany 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    -  


 

S'abonner au flux RSS de ClearSy.com

Read our RSS Feed


Our Clients




 

programmation Our Engineering Services freelance

programmation Our B Tools freelance

Atelier B

Atelier B :
Industrial tool enabling the operational use of Method B for proven software development.

B4Free

B4Free :  
Academic tool enabling the operational use of Method B for proven software development.

Brama

Brama :  
Animation tool for models undergoing development.

ComenC

ComenC :
The ComenC translator allows for B0 implementations to be translated into C language

CompoSys

CompoSys :
Tool for formal design of systems architecture.

 

 

programmation B Method freelance

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

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

programmation Railway Products freelance

Fersil :
ClearSy's Offers in the Railway System Sector

DOF1

DOF1 :
Device to Open and Close the Platform Doors on line 1, SIL4

Système Copp

COPP :
Platform Screen Doors at the Paris-Châtillon Station


News

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

Aes et ClearSyFree 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...

Aes et ClearSy"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...

S'abonner au flux RSS de ClearSy.comRead our RSS Feed

Newsletter

Email mail :  
Subscription Cancel Subscription

 

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