ClearSy System Engineering, spécialiste des systèmes sécuritaires informatiques

DONNEZ VOTRE AVIS

La dernière vérification de ce site date du 27 janvier 2012.

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

Le site www.clearsy.com est classé dans Ingénierie informatique. Nous vous conseillons de consulter également nos rubriques Conseil en systèmes d'information et Systèmes d'information géographique.

Avis www.clearsy.com

Note moyenne donnée par les utilisateurs

Aucun avis n'a encore été donné. Donnez le vôtre en remplissant le formulaire ci-dessous...

Donnez votre avis !

Remarque : en postant un avis, vous acceptez les CGU du site WebRankInfo. Si votre avis ne respecte pas ces règles, il pourra être refusé. Votre adresse email ne sera utilisée que pour vous informer des suites données à votre avis ; elle ne sera pas utilisée pour vous envoyer des mailings et ne sera pas revendue ou cédée à des tiers. Votre adresse IP est stockée à des fins de lutte contre le spam ; elle ne sera pas publiée.

Autres sites similaires

Dans la thématique Ingénierie informatique, consultez également ces sites :

• Fersil, Systèmes Sécuritaires Ferroviaires, SIL1, SIL2, SIL3 et SIL4
  Fersil présente l'offre de la société ClearSy,en matière de systèmes sécuritaires ferroviaires. ClearSy y expose sa maîtrise des méthodes formelles, de la sûreté de fonctionnement et de la méthode B. Les systèmes sont adaptés au secteur ferroviaire, et proposent des solutions adaptées aux transports urbains ferrés, tels que les tramways, le métro, les trains...etc. Tous sont développés dans un cadre sécuritaires, sous les normes SIL1, SIL2, SIL3 ou SIL4.
  Informatique : Ingénierie informatique
• Brama, outil de modélisation graphique de modèle formel B
  Brama est une application de modélisation graphique appliqué aux méthodes formelles B. Elle permet de représenter au travers d'une animation la simulatio d'un modèle développé à l'aide de méthodes formelles. Distribué par la société ClearSy System Engineering, Brama propose à l'internaute de télécharger l'outil et de le découvrir au travers de nombreuses démos.
  Informatique : Ingénierie informatique
• Atelier B, outil industriel pour appliquer opérationnellement la méthode B
  Développé par la société ClearSy, l'Atelier B est l'outil industriel qui permet une utilisation opérationnelle de la méthode B pour des développements logiciels prouvés sans défaut. Pour cela, il fait appel à la modélisation formelle des spécifications du logiciel, leur raffinement jusqu'à obtention d'un modèle implémentable, ainsi qu'à la preuve mathématique que l'implémentation ne contredit pas la spécification du logiciel. l'Atelier B a notamment été utilisé pour le développement des automatismes sécuritaires du métro automatique par Siemens.
  Informatique : Ingénierie informatique
• Société de Services en Ingénierie Informatique : Katia Soft
  Katia Soft est une SSII (Société de Services en Ingénierie Informatique) qui aide les entreprises à tirer profit des nouvelles technologies informatiques. Katia Soft propose une large gamme de compétences, qui va du conseil en urbanisation des systèmes d'information à la maîtrise d'œuvre de projets utilisant des technologies complexes.
  Informatique : Société de Services en Informatique
• B Method, site dédié à la méthode formelle B
  B Method a pour objectif de présenter les différents travaux et sujets de réflexion de Clearsy sur la méthode B, méthode formelle avec preuve. Nous y listons également l'ensemble des outils et applications basés sur la méthode B, ainsi que les projets majeurs la concernant. L'objectif de la méthode B est simple : elle permet de définir le comportement d'un programme, par le biais d'une modélisation abstraite. Les raffinements successifs de ce modèle permettent ensuite d'obtenir un modèle concret, sous-ensemble du langage transcodable en Ada ou en C. La Méthode B a pour objectif majeur de formaliser et de prouver l'ensemble des spécifications du programme de façon à obtenir le zéro défaut.
  Informatique : Ingénierie informatique

Moteur de recherche Ingénierie informatique

Partenariats

Les rubriques ci-dessous ont pour objectif de vous aider à améliorer votre netlinking et donc votre référencement. Voyez comment établir un partenariat avec le site ClearSy System Engineering, spécialiste des systèmes sécuritaires informatiques ou avec d'autres sites de la même thématique (Ingénierie informatique).

Echanges de liens

ClearSy ne souhaite pas faire d'échanges de liens sur son site ClearSy System Engineering, spécialiste des systèmes sécuritaires informatiques.

Annuaire ?

Le site ClearSy System Engineering, spécialiste des systèmes sécuritaires informatiques ne contient pas d'annuaire.

Annonces Ingénierie informatique : déposez votre petite annonce gratuitement !

Crédits vignette : Robothumb

Pour ajouter votre site dans l'annuaire, cliquez ici