Services

Dans le domaine micro-électronique


La micro-électronique est un point fort de CLEARSY. En effet, ce domaine particulier conjugue de manière optimale les savoir-faire de CLEARSY.

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

Développement de cartes électroniques d’interfaces SIL4

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

FORCOMENT

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

Modem installé sur COPP