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 plus part 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.