Systèmes Micro-électroniques

La micro-électronique est un point fort de Clearsy. En effet, ce domaine particulier conjugue de manière optimale les savoir-faire de Clearsy. La méthode formelle B permet d’obtenir un logiciel sûr et de modéliser le système dans son ensemble, de sorte qu’aucune spécification n’en contredise une autre. Enfin, après cette modélisation, la grande compétence de Clearsy en électronique sécuritaire permet de matérialiser un système sain et sûr. La plupart des travaux de Clearsy qui ne concernent pas spécifiquement des audits de systèmes ou le développement de logiciels sont des travaux de micro-électronique.

Carte d’interface train SIL4

logo19

Développement de cartes électroniques d’interfaces SIL4.
B4L4

logo14

La méthode B pour la construction de systèmes à micro-noyau.
Forcoment

logo14

B-événementiel pour du VHDL synthétisable
ModemB

logo7

Modem installé sur le système COPP

Les commentaires sont fermés.