Conférence de Nantes 2010 : “La Méthode B, de la Recherche à l'Enseignement” posté par ClearSy le 26-05-10 à 14h52 .:.
|
 L’Université de Nantes organise la 3ème édition de sa conférence, dédiée à la méthode B.
Celle-ci se déroulera le 7 juin 2010, à la Cité Internationale des Congrès et rassemblera les grands acteurs du langage B autour de différentes problématiques liées aux méthodes formelles.
ClearSy y participera, et fera une présentation des différentes actions menées au cours des 10 dernières années pour promouvoir le B au travers de son outil Atelier B, un outil de génie logiciel, permettant de développer des systèmes et logiciels prouvés.
Site de l'événement |
|
|
Workshop on B Dissemination posté par ClearSy le 08-03-10 à 16h29 .:.
|
 ClearSy a le plaisir d'annoncer sa participation au Workshop on B Dissemination [WOBD], un événement satellite du colloque SBMF 2010 qui se déroulera du 8 au 9 novembre 2010 à Natal au Brésil.
Ce workshop est organisé dans le cadre du projet DEPLOY et a pour objectif de présenter l'état d'avancement des travaux de recherche et de développement
autour des langages B et Event-B.
Les sujets abordés lors de ce workshop sont nombreux :
- Développement d’outils (extensions du langage, démonstrateurs tiers, génération de code, etc.)
- Techniques de modélisation (propriétés temps-réel, raffinement probabiliste, patrons de conception, logique d’ordre supérieur, etc.)
- Déploiement (méthodologie, cas d’études, retour d’expérience, passage à l’échelle, etc.)
|
|
|
Salon INNOTRANS 2010 posté par ClearSy le 18-02-10 à 14h46 .:.
|
 ClearSy a le plaisir de vous annoncer sa participation au salon Innotrans, qui se déroulera du 21 au 24 septembre 2010 à Berlin... Ce salon, a pour objectif de rassembler les plus grands acteurs du monde ferroviaire...
ClearSy y tiendra un stand, et y présentera son savoir-faire ainsi que ses produits et références dans le domaine de la réalisation de systèmes sécuritaires ferroviaires. Seront présentés :
- le Système COPP, un système de contrôle d'ouverture et de fermeture des façades de quai SIL3,
- le Système DOF1, un dispositif d'ouverture et de fermeture des façades de quai, SIL3,
- le DRF, un détecteur de roue fer sécuritaire,
- le KPVA, un contrôleur ponctuel de vitesse autonome,
- le Système DPAS, un système de détection de passage sécuritaire SIL4,
- les Balises et Capteurs KFS (DAAT), un système d'anti-franchissement de signal en cours de certification SIL2.
|
|
|
La Station Sacomã de Sao Paulo est désormais équipée du système COPPILOT posté par ClearSy le 15-01-10 à 09h51 .:.
|
 Depuis le 10 janvier 2010, la nouvelle station de métro SACOMA (ligne 2 - verte) au Brésil est ouverte au public suite à l'inauguration par le Gouverneur José Serra de Sao Paulo.
Celle-ci a été équipée de façades de quai et du système SIL3 COPPILOT qui commande l'ouverture et la fermeture des portes palières. Cette station est opérationnelle 3 mois seulement après la signature du contrat concernant une quinzaine de stations des lignes 2 et 3 du Métro de Sao Paulo en 2010. |
|
|
ClearSy signe un contrat avec le métro de Sao Paulo posté par ClearSy le 18-11-09 à 08h58 .:.
|
 En route pour l'export...
Clearsy a signé un contrat pour le développement, la livraison et l'installation du système sécuritaire SIL3 COPPILOT, chargé de la commande d'ouverture et de fermeture des portes palières qui vont être installées sur les lignes 2 et 3 du Métro de Sao Paulo.
Le système COPPILOT avait déjà été mis en œuvre avec succès en 2006 pendant 10 mois lors de l'expérimentation de trois portes palières dans les stations Saint-Lazare et Invalides du métro de Paris.
Ce contrat avec le Brésil concerne une quinzaine de stations. Il n'a été possible que grâce à un partenariat très fort avec AeS (une société Brésilienne présente dans le domaine ferroviaire depuis 1998). Il confirme le savoir faire unique de Clearsy et AeS dans les systèmes sécuritaires à détection.
En effet, COPPILOT ne nécessite pas d'installation sur le train, ni de modification dans le système de signalisation. Son installation est donc rapide et économique, et concerne les quais et stations de lignes existantes, automatiques ou pas. |
|
|
Enseignement des Méthodes Formelles à l'ENSI de Bourges posté par ClearSy le 17-11-09 à 10h34 .:.
|
 ClearSy dispense désormais des cours relatifs aux méthodes formelles à l'ENSI de Bourges :
- Spécification du logiciel
- Conception et programmation sécurisée
D'une durée de 20 heures, ces cours s'adressent aux étudiants de 3ème année, option "Architecture et sécurité logicielles". |
|
|
Recrutement : Découvrez nos stages pour l'année 2010 posté par ClearSy le 17-11-09 à 10h23 .:.
|
Les nouveaux sujets de stages de ClearSy pour l'année 2010 viennent d'être publiés à cette adresse : Stages 2010.
ClearSy propose 5 stages faisant appel à des compétences et connaissances spécifiques en électronique numérique, développement logiciel, programmation d'automates, systèmes embarqués...etc.
Les intitulés des stages proposés sont :
- Stage 1 - Amélioration de l'Atelier B
- Stage 2 - Générateur de tests
- Stage 3 - Ajout d'une communication bidirectionnelle à un modem sécurisé
- Stage 4 - Développement d'un logiciel de supervision
- Stage 5 - Développement d'un algorithme de reconnaissance de formes
Plus d'information sur les stages 2010 de ClearSy... |
|
|
Enseignement des Méthodes Formelles à l'Ecole des Mines de Gardanne en 2010 posté par ClearSy le 28-10-09 à 14h44 .:.
|
| ClearSy dispensera des cours relatifs aux méthodes formelles à l'Ecole des Mines de Gardanne, durant le mois de janvier 2010. Ces cours, totaliseront 18 heures d'enseignement, et porteront sur l'initiation des étudiants à la méthode B. |
|
|
Des collaborateurs de Clearsy sont reconnus en qualité d'évaluateur Certifer posté par ClearSy le 27-03-09 à 17h51 .:.
|
 - "Contrôle commande et Signalisation" pour la spécialité Sûreté de fonctionnement du logiciel
- "Contrôle commande et Signalisation" pour la spécialité Electronique sécuritaire
- "Contrôle commande et Signalisation" pour la spécialité Système de signalisation ferroviaire
|
|
|
L'Atelier B 4.0 est disponible ! posté par ClearSy le 23-02-09 à 17h49 .:.
|
 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 lequel :
Parmi les principales évolutions de l'outil, notons surtout :
- la compatibilité Mac OS X et Windows supportés en plus de Linux et Solaris
- une nouvelle interface graphique proposant:
- l'intégration des fonctionnalités du paralléliseur (application visant a optimiser les temps de traitement des projets B par une utilisation transparente, distante et parallèle de l'Atelier B.)
- une interface de preuve repensée
- un éditeur avec navigation et complétion automatique
- Intégration de la preuve de bonne définition des modèles
- Ajout d'un outil de raffinement automatique (BART)
Nous vous invitons à télécharger cette nouvelle version sur le site Atelier B : Télécharger l'Atelier B. |
|
|
|
|
