Services

In the microelectronics field


The microelectronic field is a major activity for Clearsy. This specific field is a great proof of Clearsy’s know-how.

Microeletronic systems


The microelectronic field is a major activity for Clearsy. This specific field is a great proof of Clearsy’s know-how. The formal B Method permits to obtain a safe software and to modelize the system in its integrity, so that no specification gets in conflict with another one. Finally, after this modelization, Clearsy’s great skill in electronic safety, allows to create a safe and secure system. Most of Clearsy’s project that don’t specifically concern system audits or software developments are micro-electronic projects.

Development of SIL4 train interface electronic card

The B method for the construction of microkernel-based systems

FORCOMENT

Event-B for the synthesizable VHDL

COPP System Component