clearsy.com

ClearSy est une société d'ingénierie, spécialisée dans les systèmes sécuritaires.

Elle développe principalement des systèmes et logiciels avec des garanties étendues, à l'aide des méthodes formelles et de la méthode B...

Auteur de la plateforme de génie logiciel Atelier B, ClearSy assure aussi des travaux de Recherche et de Développement autour des techniques de modélisation de systèmes, dans le but de réaliser des systèmes industriels sûrs et sans défaut...

Pour diminuer le risque projet de vos systèmes complexes et répondre à vos attentes de sûreté et de fiabilité dans le respect des contraintes économiques d'aujourd'hui, ClearSy est donc spécialisée dans les domaines suivants :

Ingénierie de Systèmes
- Développement de logiciels garantis
- Vérification formelle de spécifications systèmes et logicielles
- Qualification et études de sûreté de fonctionnement
- Développement et maintenance d'outils d'ingénierie spécifique

Recherche et Développement
- Innovation méthodologique
- Expérimentation de modélisation
- Réalisation de logiciels d'ingénierie

En résumé, voici comment définir ce site : système sécuritaire, système industriel, sûreté de fonctionnement, méthode B et méthodes formelles

Visiter le site