Domaines technologiques
- Informatique
- Electronique
- Automatisme
- Systèmes critiques
- System On Chip
- Sûreté de fonctionnement
- Modélisation
- Méthode formelle avec preuves
Prestations proposées
- Les savoirs-faire spécifiques des ingénieurs de Clearsy s’exercent principalement dans les domaines de la modélisation de spécifications de systèmes et de logiciels et automatismes, et la réalisation de logiciels critiques embarqués.
Les activités principales de Clearsy sont :
- Vérification de spécifications
- Développement de logiciels critique ou non
- Réalisation de systèmes critiques
- Tierce maintenance de logiciels d’ingénierie
- Etude de sûreté de fonctionnement, qualification
- Assistance à la production de données de diagnostic
- Recherche et Développement : réalisation d’outils et étude de modélisation sur des cas d’études
- Maintenance et distribution de l’Atelier B
- Ces activités sont pour la plupart réalisées au travers de contrats forfaitaires ou de partenariats. L’activité de R&D est financée sur fond propre, par des contrats de subventions Européens ou Français, ou par des contrats privés.
- Depuis plus de 10 ans, Clearsy est l’acteur de l’industrialisation de la méthode formelle B et de différents outils associés, le principal se nommant : l’Atelier B.
- A ce titre, Clearsy assure la distribution et les évolutions de ces outils.
Valeur ajoutée
Compétences fortes dans les domaines techniques suivants :
- Langages formels et informatiques
- Analyse système
- Compilation
- Noyaux et drivers
- Sûreté de fonctionnement
- Développement de produits d’ingénierie
- Nouvelles technologies
- Modélisation formelle ou semi-formelle
- Outils et méthodes de diagnostic