Fiche détaillée d'un site de l'annuaire
Annuaire >
Commerce et économie >
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. |
Définition
Skynet System : Skynet System figure parmi les premières sociétés de dépannage informatique pour entreprises et particuliers (Tous OS, Windows 2003, XP, Palm, PDA, OSX...)
L'activité du groupe Skynet System s'articule autour des axes suivants :
- Dépannage, ...
Catégories
Sites de l'annuaire
Voici des sites 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/
- 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/
- 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/
- 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/
- 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/
- 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 de sérigraphie et gravure : Summib
Atelier de sérigraphie et gravure du Val de Marne - Marquage industriel durable, résistant et de qualité. Fabrique à l'unitaire ou en moyenne série : étiquettes, plaques, panneaux de signalisation, etc. Grande réactivité, précision et respect des normes....
Catégorie : Produits et services industriels > Gravure et signalétique
http://www.summib.com/
- Mediations techniques industrielles, veille industrie
Industriethèque est un site internet dédié aux médiations (vulgarisations) des techniques de l'industrie. Industriethèque est un outil intelligent de veille technologique sur Internet. 4 notions: génie électrique,génie mécanique,automatisme et autres traitement de l'information....
Catégorie : Services aux entreprises > Veille et intelligence économique
http://www.industrietheque.com/
- 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/
Actualité
- 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[...]
- L'Informateur culturel ...
Atelier de création de marionnettes
Le marionnettiste Jacques Boutin, propose aux enfants de 4 à 8 ans un atelier sur l'art de la manipulation...[...]
- Queaux - Ouverture de la galerie-atelier "La Menuiserie". ...
du 01 Mai au 30 Septembre 2007 - Exposition collective : peintures, sculptures, photos ¼uvres de land art Atelier tissage - Sylvie Stenger...[...]
- 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. ...[...]
- Poitiers - Vacances au musée : Princes et princesses ! ...
le 12 Juillet 2007 - Pour les 6-8 ans (atelier limité à 12 enfants).
Aide Rodrigo, le crapaud du musée, à retrouver sa princesse parmi les tableaux. Atelier de dessin et peinture.
Goûter en fin de sé[...]
- Test PS2 : Atelier Iris 3: Grand Phantasm ...
Après de longs mois d’attente, l’Europe accueille enfin le troisième volet de la franchise Atelier Iris. Tout comme ses prédécesseurs, cet RPG / Aventure laisse de côté le clinquant des productions d’[...]
- Centre Théodore-Monod / Atelier de calligraphie : Travailler son caractère ...
Dix élèves du CAP « vente » aménagé du lycée Martin-Schongauer suivent depuis peu un atelier de calligraphie au centre Théodore-Monod de Colmar. ...[...]
- 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[...]
- PS2 : [PS2-TV] Atelier Iris 3 : Grand Phantasm ...
En attendant de pouvoir lire notre preview, prochainement en ligne, PlayFrance vous propose tout de suite une PFTV de Atelier Iris 3 : Grand Phantasm qui débarquera en Europe à la fin du mois de...[...]
- Atelier Iris 3 aux Etats-Unis ...
L'éditeur NIS America a prévu la sortie courant mai 2007 du RPG Atelier Iris 3 : Grand Phantasm, une localisation qui laisse un peu d'espoir quant à une éventuelle sortie du jeu en Europe, après les d[...]
- Atelier de Restauration des Céramiques...
Atelier de Restauration de Céramiques, Faïences et Porcelaines situé dans l'Ariège. Depuis plus de 20 ans l'atelier oeuvre à la restauration d'objets endommagés, et propose ici une vue de l'activité,
- ACCESSOIRES >Outils | Pied d atelier...
pour l entretien de mon velo je recherche un un pied d atelier a petit prix
j attends vos offres
merci
- Vente Loft/Atelier 130 m2 - Rabat...
1 etage(s) - Atelier a vendre, dans un quartier commerciale, de 130m2, 1er etage.
Contacter: +212 (0) 61 20 05 52 - Prix : 130000 euros
- Atelier de formation : Les Femmes renforcent leurs capacités pour sauvegarder la Paix...
La maison du Partenariat abrite, depuis jeudi 14 août, un atelier de formation sur le programme d'activités des missions de l'Association Femme pour les Initiatives de Paix (FPI). La cérémonie d'ouverture était présidée par le président de la Commission de lutte contre les armes légères, l'honorable député Abdou Sidibé.
- Un atelier d'initiation à la généalogie...
La Société d'histoire du Lac-Saint-Jean poursuit ses activités et invite toute la population à un atelier d'initiation à la généalogie...
|
