ClearSy System Engineering, spécialiste des systèmes sécuritaires informatiques
Ingénierie informatique
Présentation du site
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
Actualité du site
Dernières nouveautés du site ClearSy System Engineering, spécialiste des systèmes sécuritaires informatiques :
- Des collaborateurs de Clearsy sont reconnus en qualité d'évaluateur Certifer
Des collaborateurs de Clearsy sont reconnus en qualité d'évaluateur Certifer...[...] - DOF1 : Equipement de la station Bérault du métro Parisien
Les premières portes palières ont été installées en février dernier sur la station Bérault de la...[...] - L'Atelier B 4.0 est disponible !
Nous avons le plaisir de vous annoncer la sortie de l'Atelier B 4.0. Celle-ci s'accompagne d'un tout nouveau mode de distribution pour...[...] - La nouvelle version de l'Atelier B est en beta test 2
Pour en savoir plus, rendez-vous sur le site de l'Atelier B.[...] - Negocios Nos Trilhos 2008
ClearSy a participé cette année à la nouvelle édition du Salon Ferroviaire Brésilien "Negocios Nos Trilhos" qui s'est déroulée du 4 au 6 novembre 2008 à Sao Paulo, au Brésil. Nous y avons présenté notre savoir-faire ferroviaire en collaboration avec AeS, notre partenaire au Brésil.[...] - Salon INNOTRANS 2008, à Berlin
ClearSy a participé au Salon INNOTRANS qui s'est déroulé du 23 au 26 septembre 2008, à Berlin. Dans le cadre de ce salon dédié à l'industrie ferroviaire, ClearSy a présenté ses produits et références dans le domaine de la réalisation de systèmes sécuritaires...[...] - Lambda Mu 16 - Les Nouveaux Défis de la Maîtrise des Risques
ClearSy était présente à la conférence Lambda Mu 16, qui s'est déroulée du 7 au 9 octobre 2008, à Avignon. Cet événement qui a réunit plus de 400 personnes, a présenté les différents aspects de la...[...] - Salon UITP à Viennes sur le Ferroviaire
ClearSy vous informe de sa participation au Salon UITP qui se déroule à Viennes du 7 au 11 juin 2009. Ce salon et congrès mondial des transports publics est plus spécifiquement dédié aux[...] - Salon SIFER 2009 à Lille
ClearSy a le plaisir de vous annoncer sa participation au salon ferroviaire SIFER 2009, qui se tiendra à Lilles du 26 au 29...[...] - Negocios Nos Trilhos
ClearSy participe cette année à la nouvelle édition du Salon Ferroviaire Brésilien "Negocios Nos Trilhos" qui se tiendra du 4 au 6 novembre 2006 à Sao Paulo, au...[...] - La nouvelle version de l'Atelier B est en beta test
Pour en savoir plus, rendez-vous sur le site de l'Atelier B.[...] - Gratuité de l'Atelier B
La version 4 de l'Atelier B sera gratuite pour tous dès sa sortie, en fin d'année 2008. La version en cours de préparation est testée en interne et sera proposée à quelques utilisateurs volontaires entre juillet et septembre. La phase Beta test commencera ensuite pour deux mois, pour se... - Conférence de Nantes du 16 juin 2008
Le colloque "the B method: from Reasearch to Teaching" s'est déroulé à Nantes le 16 juin 2008, à l'occasion des journées scientifiques de l'Université de Nantes". Ce colloque a rassemblé une... - Colloque "B Dissemination Day 2008", au Brésil
AeS et ClearSy organisent cette année une journée dédiée à la méthode B, qui se déroulera au Brésil, en août prochain.... - Salon INNOTRANS 2008
ClearSy participera au Salon INNOTRANS qui se déroulera du 23 au 26 septembre 2008, à Berlin. Dans le cadre de ce salon dédié à l'industrie ferroviaire, ClearSy présentera ses produits et références dans le domaine de...
Retrouvez le flux de syndication associé en cliquant sur cette icône : 
Catégorie : le site www.clearsy.com est classé dans Ingénierie informatique
Annonces Ingénierie informatique : déposez votre petite annonce gratuitement !
Fiche technique du site www.clearsy.com
Voici quelques informations techniques concernant ce site.
Nom de domaine
Bravo, vous avez compris que pour un bon référencement il est indispensable d'héberger son site avec un nom de domaine propre.
Pensez à bien renouveler votre nom de domaine suffisamment à l'avance...
Indexation
Voici une estimation du nombre de pages du site indexées dans les principaux moteurs de recherche (FR) :
- 192 dans Google
- 205 dans Yahoo
- 809 dans Bing
Ancienneté du site
Site analysé : www.clearsy.com
Ancienneté :
- Désolé une erreur est apparue pour l'analyse de l'ancienneté selon Google... retestez plus tard !
- Date de 1ère indexation par archive.org : 12 Avril 2001
- Date de 1ère indexation par Alexa : 20 Juillet 2000
- Ce site semble être en ligne (et indexé) depuis au moins 9 ans.
Retrouvez également les versions archivées du site sur archive.org
Netlinking
Analyse des backlinks du site
Des pages de contenus indexés c'est bien, mais des liens pointant vers ces pages est également indispensable pour bien réussir son référencement. Voici les résultats de recherches de ces fameux backlinks :
- 110 backlinks internes pour la page d'accueil selon Yahoo
- 184 backlinks externes pour la page d'accueil selon Yahoo
- 23 backlinks pour la page d'accueil selon Alexa [voir]
Conseils pour booster votre netlinking
Si vous voulez améliorer votre netlinking, je vous propose de parcourir les articles publiés gratuitement sur WebRankInfo dans la rubrique Stratégies de liens, netlinking, maillage ; si vous voulez passer la vitesse supérieure, apprenez comment obtenir des liens vers votre site en assistant à ma formation au netlinking pour le référencement (le financement peut être pris en charge à 100% par votre OPCA).
Trafic
Statistiques Alexa
Voici les statistiques Alexa (détails ici, explications là) :
- Classement (indice global lié au trafic) : 8 827 324
- Classement (indice lié au nb de visiteurs) : 7 674 966
Google Trends pour les sites
Compete
Quantcast
StatBrain
Analysez également le réseau de sites similaires avec TouchGraph Google Browser.
Serveur
Le serveur qui héberge ce site a pour adresse IP : 195.20.226.245
Pannes du serveur
Consultez l'analyse de Netcraft de ce site, incluant une analyse des uptimes : Voir les détails
Technologies utilisées par le site
BuiltWith liste toutes les technologies utilisées sur un site (à partir de sa page d'accueil seulement) : Voir les détails
Sécurité informatique
Fichier robots.txt
Autres
- Yet Another GOOgle Rank Test : analyse du référencement dans Google
- alyze.info : une analyse complète de la page : mots-clés, liens, images, codes HTTP, etc.
Conformité W3C
Lisibilité
Consultez les résultats du test de lisibilité de votre page.
Divers
Autres analyses possibles sur WebRankInfo
Fiche thématique du site www.clearsy.com
Voici d'autres rubriques qui peuvent également vous intéresser :
- ClearSy.com - Newsletter N°4 : ... à Clearsy pour la réalisation du système sécuritaire (nommé DOF1) ... Ce système est sécuritaire de niveau SIL4 pour garantir que les portes palières ...
- Brama - Outil d'animation et de représentation de modèle formel : Nos différentes expériences d'utilisation d'outils formels en milieu industriel nous a conduit à imaginer une nouvelle approche pour présenter les modèles à ...
- Sûreté de fonctionnement - Analyse et Démonstration de Sûreté : La Sûreté de Fonctionnement d'un système permet d'évaluer le niveau de fiabilité, de maintenabilité, et de sécurité d'un système
- ClearSy - Méthode B et Atelier B : La méthode B, inventée par Jean Raymond ABRIAL, est une méthode formelle avec ... Cette méthode est utilisée industriellement dans le domaine ferroviaire. ...
- Société ClearSy - Spécialiste en Systèmes Sécuritaires : ClearSy a été fondée au 1er janvier 2001 par l'équipe d'ingénieurs auteur de l'industrialisation de l'outil de ... l'utilisation de méthodes formelles ...
- Développement du logiciel de pilotage automatique SIL4 du VAL de ROISSY ... : Ceci permet la preuve mathématique de la ... La preuve interactive a ... également que de nombreuses règles de raffinement automatique (configuration de BERTILLE) ont ...
- ClearSy - B Method andt Atelier B : The B Method, invented by Jean Raymond ABRIAL, is a formal method with proof and ... Home l News l Company l Activities l Sectors l ... B Method and Atelier B ...
- ClearSy System Engineering, specialist in Safety Critical Systems : Realisation of secure SIL2, SIL3, SIL 4 systems and software ... B Method. BMethod : B Tools Forum : Nos Outils B. Atelier B : Brama : CompoSys : News ...
- Développement et maintenance d'outils d'ingénierie - Logiciel Embarqué ... : des outils spécifiques de plusieurs industriels connexes à l'Atelier B ... ADA, C, C++, Pascal, langage de preuve,...) et sur des environnements UNIX et Windows. ...
- ClearSy - Réalisation de systèmes et de logiciels sûrs SIL2, SIL3, SIL4 : Clearsy réalise des systèmes et logiciels sécuritaires de niveau SIL2, SIL3 et SIL4 ... Accueil l Actualité l Société l Activités l Secteurs l Supports Commerciaux l ...
Boostez votre netlinking !
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.
Autres sites pour partenariats
Si vous souhaitez établir des partenariats 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
www.fersil.fr
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
www.atelierb.eu
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
www.brama.fr
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
www.bmethod.com
Méthode B : langage B et outils associés
Présentation de la méthode B, méthode de spécification formelle qui permet, grâce à un langage adéquat, d'exprimer très rigoureusement les propriétés exigées dans un cahier des charges. Le site présente la méthode B, ses outils associés, ainsi que les différents travaux menés dans ce domaine.
Ingénierie informatique : Méthodes Formelles
www.methode-b.com
Système d'information de transport
Soridis est une société d'ingénierie spécialisée dans le développement et l'installation des systèmes d'informations pour le transport. Les systèmes d'information multimodale pour le transport, sont de différentes formes: ils permettent l'affichage de l'information aux voyageurs en temps réel. Il s'agit d'ingénierie de supervision. Découvrez les réalisations des systèmes informatiques pour le transport sur le site internet de la société. INFOGARE a été développé pour la SNCF Ile de France et permet d'afficher en temps réel les horaires des trains en situation normale et perturbée. SUPRA a été développé pour la SNCF de Rouen. cette solution permet de remonter les signaux d'alarmes vers le poste de supervision et de déclencher les interventions de personnels et de maintenance. RETA est une solution qui permet de localiser un passager en difficulté dans les transport d'île-de-France.
Entreprises : Transports et logistique
www.soridis.com
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
www.katia-soft.sup.fr
B.E.C Systèmes de Manutention, Emballage et Outillage
B.E.C. Ingénierie mécanique de solutions spécifiques et manutention de charges lourdes. Conception, réalisation, installation dans les domaines de l'industrie papetière, industrie lourde ou l'automobile. En Sarthe, Pays de Loire, France.
Entreprises : Ingénierie
www.bec-systemes.fr
Bureau d'études automatisme et informatique industrielle
La société HEURTIER est un bureau d'études automatisme et informatique industrielle spécialisée à l'ingénierie, aux développements et à la maintenance des applications de process et de sécurité opérant à l'échelle mondiale. HEURTIER fort de son expérience en administration systèmes fournit un service complet d'assistance technique et de mise à niveau d'applications systèmes comprenant une procédure de test interne validée et testée avec le client.
Entreprises : PME et PMI
davidheurtier.fr
Intégration, Développement, Etudes, Enseignement des TIC
La société IDEETIC est un cabinet de conseil et d'ingénierie de projet de systèmes d'information, fondé fin 2004. Nous réalisons avec vous : - votre site de gestion collaborative de vos contenus (CMS) - vos études (besoins, faisabilité) et vos cahiers des charges - vos appels d'offre (dossier de consultation et analyse des offres) - la gestion Qualité de vos projets - l'accompagnement de vos changements (organisation et compétences) - l'optimisation de vos systèmes d'informations - la mise en oeuvre de vos outils d'observation et d'évaluation.
Entreprises : Ingénierie
www.ideetic.com
RIVCRN Actualité informatique concernant les logiciels et les systèmes d'exploitation
Blog wordpress en français traitant des actualités informatiques, présentant des logiciels pour windows, linux ou mac, de parts de marché dans différents domaines (systèmes, navigateurs), tutoriels, vidéos, sondages, performances et qualité des logiciels, comparatifs, dossiers
Informatique : Actualités informatiques
rivcrn.homelinux.org
EODIA Ingenierie Informatique et Process Management
Conception, Développement et Déploiement des systèmes informatiques aussi bien logiciels que matériels. L'orchestration des Processus de votre entreprise est aujourd'hui un facteur clé.
Logiciels : Logiciels de gestion
www.eodia.fr
Installation et location des systèmes de brumisation haut de gamme
Depuis plus de 15 ans Primetech crée, fabrique, commercialise, installe et loue des systèmes de brumisation et brumisateur haut de gamme pour rafraichir l'air ambiant par évaporation de micro gouttelettes d'eau . Sur tous types de support et dans tous les secteurs activités. Industrie, agriculture, collectivités, BTP, évènementiel, café, hotel, restaurant, particulier.
Chauffage et climatisation : Brumisateurs
www.brumisation-primetech.com
Avizo, conseil opérationnel et intégration de systèmes : Gestion de la tresorerie
Avizo, société de conseil opérationnel et d'intégration de systèmes informatiques, se caractérise par les doubles compétences métier et systèmes de ses experts. Avizo développe son activité autour des pôles d'expertises suivants : Conseil opérationnel et Intégration logiciels Depuis sa création, Avizo a tout particulièrement développé ses offres de services auprès des entreprises Mid Market.
Services aux entreprises : Cabinets de conseil
www.avizo.tm.fr
MJL Informatique propose d'analyser votre système d'information
Je propose des services d'analyse et de conception autour des systèmes d'information et de conversion de vidéo numérique. En particulier vous une vision documentée du fonctionnement de votre système et de propositions d'amélioration en fonction de votre positionnement marché. Pour la bonne évolution de vos systèmes dans l'ère informatique et l'élargissement du marché mondiale, prenez du recul aujourd'hui sur vos opérations, vos faiblaisses et vos point forts. Mené à travers des questionnaires et du brainstorming nous avons les méthodes adaptés pour vous faciliter rapidement un travail de consulting et d'inginerie.
Géographie : SIG
www.mjl-it.com
OpenHighTech, la solution pour faire évoluer les systèmes d'information
Offre des services d'audit, de conseils, d'études et réalisations, installations de systèmes informatiques et de téléphonie pour les TPE, PME, PMI, collectivités locales, administrations dans tout le Sud Ouest parisien.
Informatique : SSLL
www.openhightech.com
Les secrets du jeu pour gagner au Loto, Keno, Turf
Vous trouverez sur les Secrets du Jeu les résultats, rapports, statistiques, pronostics, méthodes et logiciels sur les jeux d'argent et de hasard comme le Loto, le Keno, mais aussi les courses hippiques et le poker, avec des techniques et des conseils ainsi que des logiciels et des systèmes 100% gratuits.
Jeu : Jeux sur Internet
www.secretsdujeu.com
C. Fournier - administrateur systèmes et réseaux freelance
Prestations informatiques aux professionnels (tpe, pme/pmi, professions libérales, associations, collectivités locales) de la région Rhône Alpes : - audit et conseil en systèmes d'information - installation et configuration de systèmes et réseaux - maintenance logicielle et matérielle, préventive et corrective
Informatique : Dépannage et maintenance
chrfournier.free.fr
Bureau d'études techniques, conception mécanique et mécatronique
bureau d'études techniques, conception mécanique et systèmes mécatroniques complexes pour les domaines de l'automobile, de la robotique et de l'industrie. situé en région parisienne, STUDIOMECA propose ses services pour le dessin industriel CAO, les calculs, la recherche et développement, la maitrise d'oeuvre de projets mécaniques, afin de réaliser des projets comme des prototypes de mécanismes, des machines spéciales, des moyens d'essais, des composants divers... STUDIOMECA fait partie du réseau d'entreprises MECATRONIC SA, pour proposer des solutions complètes incluant des métiers connexes comme la réalisation industrielle, le développement informatique, l'automatisme, le design. Frédéric Duranton Gérant - Ingénieur ENSAM
Industrie : Bureaux d'études
www.studiomeca.fr
Informatique professionnelle sur Bayeux, Caen, Saint-Lô, téléphonie sur IP
Ingénierie informatique,téléphonie,réseaux de communications,formation,PME-TPE,PMI,Artisans et professions libérales. Nous confier votre système informatique, c'est vous recentrer sur le coeur de votre métier tout en bénéficiant d'une direction des systèmes d'information compétente, innovante et efficace. Conception, installation, maintenance et développement de votre architecture informatique système et réseau : nous vous accompagnons sur tout le cycle de vie de vos projets d'infrastructures.
Caen : Dépannage de PC, ordinateur Caen
www.kiosys-technologies.fr
Crédits vignette : Robothumb
Hébergement web
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 (+ de 3 millions de visites/mois). Vous bénéficiez d'une garantie 30 jours satisfait ou remboursé.
A partir de 1,90 EUR HT/mois.
Autres catégories
- Systèmes d'information géographique
- Systèmes audio pour auto
- Systèmes d'exploitation
- CMS
- Outils de développement
- Outils et logiciels de référencement
- Environnement de développement
- Machines et outils pour imprimeries
- Ingénierie
- Développement personnel
- Logiciels pour la santé
- Développement photo
- Développement durable énergies renouvelables
- Logiciels de bourse
Dans le forum
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.


