|
|
 |
|
Niveau sil4
Sites de l'annuaire
Voici 15 sites que nous avons sélectionnés concernant Niveau sil4, figurant dans notre annuaire (inscription gratuite) :
- ClearSy System Engineering, spécialiste des systèmes sécuritaires informatiques
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...
Catégorie : Informatique > Ingénierie informatique
http://www.clearsy.com/
- 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....
Catégorie : Informatique > Ingénierie informatique
http://www.fersil.fr/
- 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....
Catégorie : Ingénierie informatique > Méthodes Formelles
http://www.methode-b.com/
- DOF1 : Dispositif d'Ouverture et de Fermeture des façades de quai, SIL4
Dans le cadre du projet automatisation de la ligne 1 du métro Parisien, le système sécuritaire SIL4 DOF1, indépendant du système automatique d'exploitation des trains, est conçu pour l'ouverture et la fermeture des portes palières qui seront installées sur tous les quais de la ligne. DOF1 empêche également l'ouverture des portes du train qui se trouvent du côté opposé au quai....
Catégorie : Informatique > Ingénierie informatique
http://www.dof1.eu/
- 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....
Catégorie : Informatique > Ingénierie informatique
http://www.bmethod.com/
- 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....
Catégorie : Informatique > Ingénierie informatique
http://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....
Catégorie : Informatique > Ingénierie informatique
http://www.brama.fr/
- Détectives privés BCS Investigation Montréal
Agence d'investigation, de détectives privés, de services d'enquête préemploi, d'infiltration et de surveillance vidéo. Spécialisée en gestion de grèves et conflits de travail, preuve vidéo, CSST. Preuve vidéo d'absentéisme au travail. Enquêtes préemploi et enquêtes de crédit...
Catégorie : Québec > Commerce et économie Québec
http://www.bcsinvestigation.com/
- Distribution Linux système GNU/Linux complet
Présentation et installation de la distribution Vacarm Linux, construite à partir de la distribution Ubuntu 7.04 (Feisty Fawn), système GNU/Linux complet, les 40 plus célèbres outils d'audit de sécurité informatique y sont utilisables. De nombreuses modifications, allègement, ajouts, suppressions, ont été apportées par rapport à Ubuntu....
Catégorie : Informatique > Open source
http://vacarmlinux.verdelhan.eu/
- Ventes d'outils pneumatiques, hydraulique et outillages électriques
Boutique en ligne de ventes d'outils pneumatiques, d'équipement d'atelier et de sureté avec paiement sécurisé : Ventes de presses hydrauliques, de clé à choc, de clé à rochet, crics hydraulique, vidangeurs, dérouilleur, perceuses,meuleuse, visseuse, accessoires pour outils pneumatiques...
Catégorie : Machinerie et outillage > Outils pneumatiques
http://www.outilspro.com/
- Outils référencement : outils gratuits pour votre référencement
Outils référencement vous propose des outils gratuits dédiés au référencement pour pouvoir améliorer le positionnement de votre site Internet. Analyse des pages, audit de positionnement, suggestions de mots clés, générateur de sitemaps, voici quelques uns des principaux outils que vous pourrez utiliser....
Catégorie : Internet > Référencement
http://www.outils-referencement.com/
- Forum scientifique informatique : Jeune Etudiant
forum informatique qui tient tout les sujets peuvent toucher ce domaine scientifique comme la programmation les systeme d'exploitation les systemes réseaux les protocoles les antivirus Linux et ses destribution et ses outils les nouvautés informatiques, des trucs et des astuces....
Catégorie : Informatique > Programmation
http://jeune-etudiant.forumpro.fr/
- MCI Swing Trading
Système de trading boursier éprouvé. Sept années consécutives de gains. Signaux et suivi quotidiens personnalisés sur abonnement....
Catégorie : Services financiers > Bourse
http://www.win-trading.com/
- Dispositifs Médicaux Système d'administration Système de protection
SEDAT dispose d'une expérience de plus de 50 ans dans l'injection thermoplastique. De la conception à la commercialisation, nous développons des dispositifs médicaux innovants pour l'industrie de la santé. L'expérience et l'outil industriel sont à la disposition des entreprises qui souhaitent sous-traiter tout ou partie de leur production. SEDAT conçoit et fabrique ses propres outils de production et d'assemblage afin de répondre à chaque demande spécifique pour la fabrication en petite-série et industrielle et pour l'assemblage de différents matériaux....
Catégorie : Commerce et économie > Biotechnologies et pharmacie
http://www.sedat.com/
- Explications sur le système solaire
Le Système Solaire à la portée de tous...
Catégorie : Sciences et technologies > Astronomie
http://perso.orange.fr/bernard.tallent
Actualité
- système - Supervision : ce que valent les outils open source ...
Outils personnalisables, couverture fonctionnelle étendue... Les logiciels de supervision « open source » partent à l'assaut des grands comptes.[...]
- La console de récupération ...
«Mieux vaut prévenir que guérir» dit l'adage. Il existe certains cas où la réparation d'un système ne peut se faire à l'aide des outils habituels comme le mode sans échec ou l'invite de commandes qui [...]
- Microsoft & Inria ...
Un accord entre le numéro un du logiciel Microsoft et le laboratoire français Inria, vient d'être conclu. L'institut scientifique français a donc reçu des fonds propres de la part de la firme de Redmo[...]
- A peine sortie, la DSi est déjà piratée ...
http://www.youtube.com/watch?v=uaKxWSENwGo
Nintendo avait pourtant verrouillé la DSi contre les outils de piratage de la DS. Mais selon ce modeste clip sur YouTube, un hacker japonais s’est déj[...]
- Intégration des outils de veille dans le système d?information de l?entreprise ...
C'est le titre de ma prochaine intervention au salon Documation, le jeudi matin, 8 mars. J'y serais avec Véronique Mesguich, Aline Duru ainsi que Céline Docq pour vous présenter des cas et des retours[...]
- CRISE FINANCIÈRE : Le G20 prêt à utiliser tous les outils économiques ...
Le G20, qui réunit les principaux pays riches et émergents, s'est engagé à "utiliser tous les outils économiques et financiers pour assurer la stabilité et le bon fonctionnement des marchés [...]
- Windows Update exploité pour télécharger du code malveillant ...
Des auteurs de virus ont détourné le système de mise à jour automatique de Windows pour l'utiliser comme canal de téléchargement de codes malveillants sur le système.[...]
- Audi : Nouvelle génération de l’interface MMI ...
Audi propose une nouvelle génération du système MMI, qui permet de gérer au mieux les fonctions principales du véhicule, son équipement multimédia et ses outils de communication. Doté d’un important d[...]
- Actualité de développement PEAR, edition 121 ...
14 paquets ont été mis à jour cette semaine :
: Classe de PingBack
: Outils graphiques
: Classe de détection des langues
: Système d'identification
: Localisation des...[...]
- Méthodes et régimes pour maigrir façon Coue...
Il existe un nombre important de régimes selon des méthodes d’auteurs et nutritionnistes renommés, méthodes qui ont sû faire leur preuve pour de nombreuses personnes.
Et pourtant, on oublie trop souvent une méthode simple pour se sentir bien dans son corps et dans sa peau : la méthode Coué.
Ginette et Gaïa présentent le principe de la [...]
- Avec le printemps vient d'éclore le nouveau projet "Outils-réseaux" !...
Depuis 2004, l'association Tela Botanica pilotait le programme Outils-réseaux, en collaboration avec de nombreux intervenants et partenaires. Pour rendre plus lisible et cohérent le projet et ainsi optimiser son fonctionnement, nous avons décidé de rendre autonome le programme outils-reseaux. Une association Outils-réseaux a donc été créée en avril 2008, avec pour objectif d'assurer le fonctionnement du programme Outils-réseaux : Outils-réseaux a pour but d'initier et d'accompagner les (...)
-
Réseaux de l'internet citoyen, créatif et coopératif
- ACCESSOIRES >Outils | Toolbox Valise outils PRO 119,00 euros...
Boîte à outils Professionnelle avec 13 outils PRO pour votre vélo et VTT
Boîte à outils entièrement équipée:
Mini-outil à 7 fonctions
Démonte-pneus (3 pièces)
Clés Allen en Y (4/5/6 mm)
Clés Torx en Y (T20/T25/T40)
Dérive-chaîne
Pince coupan
- ACCESSOIRES >Outils | Outillage LEZYNE Stainless 28,95 euros...
Stainless 13 outils
Chaque pièce est forgée et usinée en acier inoxydable sur la base d'un solide pivot, permettant des outils plus légers et plus rigides que les outils traditionnels
Support ergonomique forgé et usiné en aluminium poli
- Des chimpanzés préhistoriques utilisaient des outils de pierre...
Une équipe d’archéologues a découvert l'année dernière dans la forêt tropicale de Taï, en Côte d'Ivoire, des outils primitifs datant de 4300 ans qui apparaissent avoir été exclusivement utilisés par des chimpanzés. Ces marteaux de pierre sont la première preuve préhistorique de la technologie des chimpanzés, a déclaré Julio Mercader de l’Université de Calgary, responsable des recherches. ...
- Le système triple de l' Etoile Polaire....
Le télescope Hubble vient d'apporter la preuve du système triple de l'étoile polaire. Les chercheurs se doutaient déjà de l'existence d'une autre compagne à l'étoile brillante si utile aux navigateurs. ...
|
|
|
|
