Accueil |
Actualités B |
La Méthode B |
Travaux R&D |
Preuve Formelle |
Publications |
Conférences |
B, les différents langages |
Projets Open Source |
Outils B |
Documents |
Liens |
Contact
|
ClearSy annonce sa participation au FMICS 2010 .:. posté par ClearSy le 08-02-10 à 14h29 .:.
|
 ClearSy a le plaisir d'annoncer sa participation à la 15ème édition du FMICS 2010 (Formal Methods for Industrial Critical Systems) qui se déroulera du 20 au 21 septembre 2010 à Antwerp en Belgique. Cet événement est entièrement consacré à l'utilisation des méthodes formelles dans le cadre de développement de systèmes sécuritaires industriels...
Site du FMICS 2010 |
|
|
ClearSy était présente au FMICS 2009 .:. posté par ClearSy le 27-11-09 à 16h09 .:.
|
 ClearSy a participé à la 14eme édition du FMICS (Formal Methods for Industrial Critical Systems) qui s'est déroulée du 2 au 3 novembre 2009 à l'Université d'Eindhoven. Cet événement s'est présenté sous la forme d'un groupe de travail portant sur les méthodes formelles utilisées dans le cadre du développement de systèmes critiques industriels.
Plus de 40 personnes ont participé à l'événement.
Pour découvrir le programme de ces 2 journées, rendez-vous sur le site officiel du FMICS 2009. |
|
|
Enseignement des Méthodes Formelles à l'ENSI de Bourges .:. posté par ClearSy le 17-11-09 à 10h45 .:.
|
 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". |
|
|
Enseignement des Méthodes Formelles à l'Ecole des Mines de Gardanne en 2010 .:. posté par ClearSy le 02-11-09 à 14h43 .:.
|
| 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. |
|
|
Smart Event 2009 - Présentation du projet Forcoment, développé avec l'Atelier B .:. posté par ClearSy le 29-10-09 à 13h40 .:.
|
Smart Event 2009 - Présentation du projet Forcoment, développé avec l'Atelier B
Marc Benveniste (STMicroelectronics) a présenté à l'occasion de l'évènement Smart Event 2009, qui s'est déroulé du 22 au 25 septembre 2009, un article intitulé "A Proved "Correct by Construction" Memory Protection Unit", présentant les enjeux du projet Forcoment, développé en collaboration avec ClearSy et son outil Atelier B. Sa présentation a abordé plus spécifiquement :
- l'unité de protection mémoire utilisée dans la nouvelle famille de produits ST23
- les principales étapes de conception suivies pour le développement du code
- la comparaison avec le code pour la même macro-cellule développée avec un flux traditionnel
Découvrir le site SMART EVENT 2009... |
|
|
RIAB - Workshop on Recent Innovations and Applications in B .:. posté par ClearSy le 29-04-09 à 14h47 .:.
|
 Le workshop "Recent Innovations and Applications in B" (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Week...
En savoir plus sur RIAB... |
|
|
Workshop RODIN, Université de Southampton, 16-17 juillet 2009 .:. posté par ClearSy le 20-03-09 à 14h39 .:.
|
 Le workshop "Recent Innovations and Applications in B" (RIAB) aura lieu le 3 novembre 2009 durant le Formal Methods Week...
En savoir plus sur RIAB... |
|
|
L'Atelier B 4.0 est disponible ! .:. posté par ClearSy le 23-02-09 à 08h38 .:.
|
 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. |
|
|
Conférence : La Méthode B, de la Recherche à l'Enseignement à Nantes .:. posté par ClearSy le 10-02-09 à 14h32 .:.
|
 L'université de Nantes organise une nouvelle édition de sa conférence dédiée à la Méthode B. Celle-ci de déroulera le 8 juin 2009, à la Cité Internationale des Congrès, dans la ville de Nantes, et abordera les différentes problématiques inhérentes à B. ClearSy y présentera les dernières évolutions de l'Atelier B, au cours d'une présentation intitulée : "New features of Atelier B 4.0".
Pour vous inscrire à cette conférence, merci de visiter la page suivante : www.lina.sciences.univ-nantes.fr
Pour connaître le programme de cette conférence, nous vous invitons à découvrir :
|
|
|
|
