Vous êtes ici : Annuaire > Entreprises > Informatique > Ingénierie informatique

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

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.

Vous aimez ce site ? Partagez-le sur vos réseaux sociaux préférés :

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 !

Si vous avez déjà testé www.clearsy.com, merci de nous donner votre avis ainsi qu'une note d'appréciation. Votre avis doit porter sur les produits ou services proposés sur le site www.clearsy.com (ou à défaut, sur ses contenus), à condition bien entendu de les avoir déjà testés. Il est impératif de donner les détails qui prouvent l'authenticité de votre avis (date d'achat ou de séjour, montant et numéro de commande, etc.).

Votre pseudo :
Evitez d'utiliser votre vrai nom
L'URL de votre site :
Optionnel. Un lien "follow" sera affiché vers votre site à condition que votre avis soit complet, bien rédigé, de qualité et que votre site respecte la charte de l'annuaire
Votre email :
Titre de votre avis :
Votre avis en quelques mots
Note sur 5 :
1 : très mauvais... et 5 : excellent
Votre avis :
Qualité des produits ou services fournis, contenus, ergonomie, facilité d'utilisation, etc. Dites ce que vous aimeriez voir amélioré.
Exprimez-vous en français correct en faisant des phrases (~200 caractères min.).

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

wrim104t03 Pour ajouter votre site dans l'annuaire, cliquez ici

Cherchez dans l'annuaire (+66.000 sites) :

Hébergement web

Hebergement web mutualise, dedie

Pour un bon référencement, il faut un bon hébergeur. Testez Sivit, l'hébergeur choisi par Olivier Duffez pour son site WebRankInfo. Vous bénéficiez d'une garantie 30 jours satisfait ou remboursé.

A partir de 1,90 EUR HT/mois.

Derniers produits et services Google

  • Google Elections
    Google Elections est un dérivé de Google News, rassemblant des informations et des outils sur les élections en 2012, principalement aux Etats-Unis.
  • FeedBurner
    FeedBurner est un service permettant aux webmasters de créer et de gérer très facilement des flux RSS pour leurs lecteurs.
  • YouTube mp3
    Il existe plusieurs méthodes pour convertir en mp3 une vidéo YouTube. Voici les meilleures, gratuites ou payantes, via un simple site web ou un logiciel.
  • Google TV
    Google TV c'est la télévision connectée version Google. Autrement dit, Internet qui s'invite dans votre téléviseur en toute fluidité, grâce à des applications Android.
  • Panoramio
    Panoramio permet de retrouver sur le Net, photos à l’appui, un lieu géographique localisé à n’importe quel endroit du monde que vous aimez ou que vous projetiez de visiter.

Les plus populaires : les vidéos de YouTube.fr, la messagerie Gmail.fr, le navigateur Google Chrome 10, les cartes Google Map, les images satellite de Google Earth 2011, le référencement payant AdWords et l'outil Google Analytics et son API.

Consultez l'encyclopédie des produits Google (produits, services, brevets...)

Informations

Environ 200 catégories dans cet annuaire sont issues de DMOZ. Vous aussi vous pouvez apporter votre contribution au répertoire le plus complet du web, maintenu par des humains : n'hésitez pas à inscrire votre site dans DMOZ en plus de l'annuaire WebRankInfo.