FM2011 Industry Day .:. posté par ClearSy le 26-08-10 à 09h45 .:.
|
 ClearSy a le plaisir de vous annoncer sa participation à l'Industry Day de FM2011, le 17ème symposium international dédié aux méthodes formelles qui se déroulera du 20 au 24 juin 2011 à Limerick en Irlande.
Thierry Lecomte, collaborateur de ClearSy sera présent à cette occasion et co-animera la journée industrielle qui sera dédiée à l'échange d'expérience quand à l'usage des méthodes formelles dans un environnement industriel. |
|
|
Conférence de Nantes 2010 : “La Méthode B, de la Recherche à l'Enseignement” .:. posté par ClearSy le 26-05-10 à 14h37 .:.
|
 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 |
|
|
Bibliographie : Jean-Raymond Abrial sort un livre dédié au B événementiel .:. posté par ClearSy le 26-05-10 à 14h34 .:.
|
 Le Livre de Jean-Raymond Abrial, dédié au B événementiel est disponible depuis le mois de mai 2010.
Ce livre, rédigé en anglais et comprenant plus de 600 pages s’intitule “Modeling in Event-b: System and Software Design”.
Il présente les enjeux d’une modélisation de système et de logiciel en B événementiel, un langage issu de la méthode B et permettant de décrire un système à l’aide d’événements… |
|
|
Workshop on B Dissemination [WOBD] .:. posté par ClearSy le 08-03-10 à 16h27 .:.
|
 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.)
|
|
|
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... |
|
|
|
