ClearSy Company
ClearSy was founded on January 1, 2001 by a group of engineers that had industrialized the
formal modeling tool referred to as Atelier B, used in the rail transport
industry to create safety software.
Clearsy was created on the basis of two principal objectives:
 Today, ClearSy employs approximately thirty engineers, consultants
and experts in the regions of Aix en Provence and Paris. ClearSy engineers are skilled
in various engineering fields (systems, mechanics, electronics, software, operational
safety) and dispose of I.T. tools and an electronic laboratory to create
prototypes and conduct trials. Collaborations
with laboratories and industrial partnerships ensure the production of the
various system components (sensors and interfaces).
Clearsy is
principally involved in two activities:
-
Tools and Methods:
development of tools: Atelier B, CompoSys, Brama, B4free, DiagElec,
development of methods and prototypes within industrial R&D and
European projects, development of specific industrial engineering tools
-
An engineering activity based on
the realization of projects committed to achieving results in the design
and/or validation of systems and software, and a technical support
activity in the formal field and the field of operational safety.
Clearsy’s originality lies in
its expertise in Systems, Software and Operational Safety, as well as its
mastery of formal methods.
These are used:
-
In the specification phase to
validate specifications, demonstrate coherence and represent the system in
the form of a digital and graphic model
-
In the realization phase for safety
software to demonstrate that the software complies with its specifications
and to prove that no coding error exists.
Clearsy clients include major
industries and originators, essentially in the field of rail and road
transport. Current Clearsy projects essentially involve the realization of
secure systems to comply with Standards 61508, 50126, 50128 and 50129.
Our Clients and Partners
Alstom, Atmel, CEA, CNES, Crédit
Agricole, DGA, EADS, EDF, Eurocopter, Gemplus, Intracom, INRETS, IPSN, Leroy
Automation, Nokia, Perkin Elmer, Peugeot, PSA, RATP, Renault, Siemens
Transportation System, SNCF, Société Générale, ST Microelectronics, THALES,
Volvo ...
After having worked in the field
of real time system creation, Clearsy’s founders discovered formal methods and
their advantages in the 1990s. They
developed and industrialized what would become the first true industrial
software development tool using the formal B method.
This tool, Atelier B, has since
allowed for the realization of a broad range of security software fully proven mathematically
that complies with the strictest standards.
These industrial successes in the
software world also revealed the importance of the quality of system
specifications for critical software. In collaboration with the method inventor
and laboratories, Clearsy has perfected formal system modeling techniques.
Various industrial projects have
already used these techniques for system specifications (components, electronic
architecture and automated systems).
All these experiments have
convinced Clearsy engineers that formal methods are tools that allow for a
greater control of systems and facilitate the certification of systems and
software.
For these reasons, Clearsy has
decided to:
-
Position itself on the market of safety
system creation
-
Use the formal B method to create
systems and software for clients.
This decision is important for
various reasons:
-
Clearsy innovates on the system and
software realization market by introducing the use of formal methods
-
The use of modeling tools and
techniques allows us to continuously capitalize and improve the quality of
the systems we produce
-
The realization of operational
systems leads us to implement and develop formal tools that are
increasingly accessible to engineers.
Clearsy therefore wishes to
become the leader in formal development techniques and tools for security systems.
- 1993 : The industrialization of Atelier B begins for use in METEOR safety
software.
- 1994 : Distribution of the first version of Atelier B.
- 1998 : Industrial version of Atelier B and the METEOR metro line becomes
operational.
- 2001 : Creation of ClearSy to develop the B method. Two locations: Aix en Provence and Paris
- 2002 : First version of s formal system language.
Use of the B Method to realize the operational principles of the Peugeot
206, 307 and 407 vehicles (operational documentation)
- 2003 : Creation of the Operational Safety (SDF) activity.
- 2004 : A free tool is made available to academics: B4Free.
- 2005 : Realization of the specifications for industrial systems with the B
method.
Launch of an automotive diagnostic tool: DiagElec.
- 2006 : Beta test version of a formal system specification tool: CompoSys.
The Coppilot command security system is operational for the platform
doors of Line 13.
ClearSy is...
 Clearsy is a member of the "Networked European Software & Service Initiative". NESSI aims to provide a unified view for European research in Services Architectures and Software Infrastructures that
will defineeeee
technologies, strategies and deployment policies fostering new, open, industrial solutions and societal applications that enhance the safety, security and well-being of citizens.
 Clearsy is a member of the Comité Richelieu
|
){kind=spacer}