|
|
 |
|
Systèmes sécuritaires
Sites de l'annuaire
Voici 15 sites que nous avons sélectionnés concernant Systèmes sécuritaires, figurant dans notre annuaire (inscription gratuite) :
- 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/
- 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/
- 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/
- Aii STI Génie Mécanique
Site ressource pour la formation sti génie mécanique. Travaux pratiques, travaux dirigés, cours et exercices pour les disciplines : automatique et informatique industrielle, productique mécanique et informatique et système de production....
Catégorie : Enseignement et formation > Enseignement secondaire
http://robert.cireddu.free.fr/
- Développement de logiciels et création de sites Internet à Lille
Génie Logiciel du Nord est spécialiste de la création de sites Internet professionnels sur mesure (vitrine ou dynamique pour e commerce). Nous offrons des solutions pour tous les budgets : du site clé en main de quelques pages au site totalement personnalisé. Quel que soit le projet envisagé, nous garantissons des prestations d'un excellent rapport qualité/tarif. Génie Logiciel du Nord vous propose également ses service de développement logiciel jusqu'à un très niveau d'exigence : Nous développons notamment des applications pour les industries militaires, de défense et sécurité et multimédia. Génie Logiciel du Nord est établie à Lille dans le nord (59) et étend ses activités dans la moitié Nord de la France....
Catégorie : Nord Pas-de-Calais > Création site web Nord Pas-de-Calais
http://www.gelono.com/
- Cours particuliers de maths, physique, génie-électrique à Marseille
Professeur de l'enseignement supérieur en activité (20 ans d'enseignement), j'assure un soutien scolaire en mathématiques, physique-chimie et génie électrique-physique appliquée sur Marseille. J'interviens dans les classes de : - seconde, première et terminale S, ES, STI, - IUT et BTS, - CPGE, université (L1, L2, L3). J'insiste sur l'acquisition d'une bonne méthode de travail, seule garantie d'une réussite à long terme. Cela, seul un professeur expérimenté peut l'inculquer à l'élève. Mon site détaille cette méthode de travail : à lire absolument....
Catégorie : Soutien Scolaire > Petites annonces de cours particuliers
http://prof13.free.fr/
- M-Planet: IT et Télécom à Sophia Antipolis
M-Planet apporte des solutions dans le domaine des télécoms, du génie logiciel et industrialisation des logiciels, des technologies Internet tels que CMS - système de gestion de contenus web, VOIP - voix sur IP....
Catégorie : Informatique > Ingénierie informatique
http://www.m-planet.fr/
- ComenC, Traducteur d'implémentations B0 vers le langage C
Site dédié au traducteur ComenC. Il permet de traduire des implémentations B0 vers le langage C. Ce traducteur est issu de la convergence entre les traducteurs industriels, et des travaux de recherches. Par rapport aux traducteurs précédents, le traducteur ComenC propose une traduction plus simple, permettant d'obtenir un code plus efficace et plus proche du B0 d'origine....
Catégorie : Informatique > Ingénierie informatique
http://www.comenc.eu
- DUT Génie Thermique et Energie (GTE) de l'IUT de Nantes
Bureau Des Etudiants du DUT Génie Thermique et Energie (GTE) de l'IUT de Nantes: renseignements, actualités, offres de stages et d'emplois, forum, ... Venez découvrir une spécialisation dans l'air du temps, une formation de qualité, des métiers d'avenir....
Catégorie : Enseignement supérieur > associations, BDE
http://www.gte-nantes.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....
Catégorie : Informatique > Ingénierie informatique
http://www.bmethod.com/
- Formation, vente, assistance pour logiciels de comptabilité
IG Conseils assure la distribution des logiciels de comptabilité et gestion commerciale des marques Sage, Ciel et Ebp. Possibilité de vente en ligne ou sur devis. Les formations sont dispensées en inter entreprises ou intra entreprise....
Catégorie : Services aux entreprises > Comptabilité
http://www.ig-conseils.com/
- Enise Concept: Junior entrepirse
L'ENISE Concept , une équipe d'élèves ingénieurs de l'ENI de St Etienne, est organisée en différents pôles, afin de répondre au mieux aux attentes de nos clients.Cette Junior entreprise peut réaliser des études, des formations et du conseil dans le domaines genie mécanique (Automatisme, CAO, metalurgie....) et du genie civil (Geotechnique, Topographie, Science de l'habitat...)....
Catégorie : Produits et services industriels > Mécanique industrielle
http://www.eniseconcept.fr/
- Logiciel de gestion de garages et d'ateliers mécaniques
GEM CAR est un logiciel de gestion de garages, de ventes de pneus développé par une entreprise au Canada:V2V Technologies. En choisissant d'implanter un logiciel de gestion des opérations, tel GEM-CAR, votre atelier de mécanique franchit une étape importante dans son engagement vis-à-vis du client. Les avantages ne sont pas uniquement liés au produit acheté, mais une véritable philosophie de gestion d'atelier qui est liée à l'échelle de l'entreprise...
Catégorie : Logiciels > Logiciels de gestion
http://www.gem-car.biz/
Actualité
- Microsoft aussi sort un génie de son Zune ...
Non content de déployer sa version des génies techniques d’Apple, Microsoft s’attaque maintenant au Génie d’iTunes ainsi qu’aux prévisualisations pour les rendre… vraimen[...]
- Vista : plusieurs failles de sécurité ...
Depuis quelques jours déjà, le tout nouveau système d'exploitation Vista de la firme de Redmond, a débuté sa carrière commerciale. Après les trompettes, la fanfare et les éructations de Steve Balmer ;[...]
- génie logiciel - Mercury veut aider à la gestion du changement ...
- génie logiciel - Une jeune pousse bretonne automatise la production de code applicatif ...
- Un atelier de formation à la numérisation pour les pays africains du projet SIST
...
Dans le cadre du projet SIST (Système d'information scientifique et technique) du ministère français des Affaires étrangères et européennes (MAEE), un atelier de formation à la numérisation, à la créa[...]
- CEBIT : Gecube Genie PC, un EEE PC pour 250$ ? ...
Les PC portables bon marché ont la cote ! Depuis le lancement de l’EEE PC nombreux sont les fabricants qui se lance dans l’aventure et c’est notamment le cas de Gecube avec son Genie PC. Avec moins de[...]
- Strasbourg / Atelier voix : Des cours à la rentrée ...
De septembre à juin, la Mission Voix Alsace propose, à Strasbourg, un cycle de cours en formation vocale, pour un apprentissage régulier et individuel. ...[...]
- Saverne / Régiment du génie : La relève en marche ...
Les jeunes recrues du 1er régiment du génie ont été présentées au drapeau dans la cour du château des Rohan, à Saverne. ...[...]
- 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[...]
- Un deuxième atelier de formation sur le développement des capacités de négociation dans le domaine de l'APA en Afrique f...
Le deuxième atelier de formation sur la négociation en matière d'Accès et de partage des avantages issus de l'exploitation des ressources génétiques (APA) a été organisé à Tunis, Tunisie, du 13 au 15 octobre 2008. Cet atelier vient à la suite (...)
- Prof ens sup donne cours maths, physique, génie électrique...
Professeur de l'enseignement supérieur en activité assure soutien scolaire en mathématiques, physique-chimie et génie électrique sur Marseille1 Vote(s)
- Génie+, Conciergerie privée...
Génie + se charge d’adapter la conciergerie d’un hôtel 5 étoiles à vous, à vos salariés ou à vos clients afin de répondre à tous les soucis de leur quotidien.
Génie + est là pour répondre à toutes les demandes.
- Génie climatique - Cabinet Gargasson...
Bureau d'étude et ingénierie en Génie climatique, nous effectuons des missions d'assistance à maitrise d'ouvrage, des mission d'audit, un diagnostic des installations de chauffage et climatisation, la maitrise d'oeuvre en génie climatique, thermique et ac
- Référentiel Génie Civil 2010...
Présentation du projet - Le projet « Référentiel génie civil 2010 » s’adresse aux rédacteurs, pouvoirs adjudicateurs ou titulaires d’un marché, afin de leur apporter une réponse plus adaptée à leurs attentes en termes d’aides à la formulation et à l'utilisation des spécifications techniques incluses dans les marchés d’ouvrages de génie civil.
L’objectif est de mettre [...]SHARETHIS.addEntry({ title: Référentiel Génie Civil 2010, url: http://www.publictenders.be/referentiel-genie-civil-2010/ });
- Test du logiciel de veille Andiamo brand monitoring...
Curieux de pouvoir évaluer le potentiel des derniers logiciels de veille qui se positionnent sur le créneau des médias sociaux et du buzz monitoring, j’ai testé Andiamo Brand Monitoring, découvert à l’occasion d’un article de l’atelier BNP Paribas.
John Hingley, fondateur d’Andiamo Systems, résume l’expertise de son logiciel par ce constat:
“ les marketeurs ne touchent [...]
|
|
|
|
