Microelectronics

The microelectronic field is a major activity for CLEARSY.

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.

Posts
Linked to this thematic
Tools
Linked to this thematic

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!