|
Atelier B 3.7.1
|
|
|
La version 3.7.1 de l’Atelier B est disponible.
Elle
corrige des anomalies mineures de l'atelier B sur le vérificateur de
type et l'interface de preuve, et améliore la compatibilité avec
l'interface de preuve xemacs EMACSPRI. La liste des corrections est
disponible ici : historique des versions.
La future version 3.7.2 est actuellement en développement et a été
annoncée pour début mai 2008... Parmi les évolutions prévues, la 3.7.2
incluera un traducteur : le traducteur ComenC. Il s'agit d'un nouveau traducteur pour le langage B qui permet de traduire des
implémentations B0 vers le langage.
Source :
ClearSy Date : 07 mars 2008
|
|
|
Atelier B 3.7
|
|
|
|
L’Atelier B 3.7 est disponible depuis le 18/07/2007. Il
apporte de nombreuses améliorations aux fonctionnalités de l'Atelier B
afin de faciliter le travail du développeur en agissant sur l'interface utilisateur, la preuve et l'aspect système. Plus d'informations sur l'Atelier B 3.7...
Source :
ClearSy Date : 04 octobre 2007
|
|
|
Nouvelle version de B4Free
|
|
|
Une
nouvelle version de B4Free est désormais téléchargeable.
Les principales nouveautés : un générateur de code permettant de traduire
les implémentations B en langage C. Cette nouvelle version est
également basée sur l'Atelier B dans sa version 3.7. Télécharger B4Free 3.2...
Source :
ClearSy Date : 04 octobre 2007
|
|
|
ClearSy à la Conférence SBMF 2007 au Brésil
|
|
|
Clearsy était présente à la conférence SBMF 2007 et y a présenté son article :
"Formal Methods in Safety-Critical Railway Systems". Elle y a exposé l'utilisation de la méthode B dans son processus de réalisation de systèmes, et montré l'utilisation
des outils CompoSys et Brama de la plateforme Rodin. L'université Brésilienne UFRN y a également présenté ses travaux de modélisation avec la méthode B. Découvrir le site officiel de la conférence...
Source :
ClearSy Date : 20 septembre 2007
|
|
|
Projet Cosyc
|
|
|
La région PACA, OSéo Innovation
et le Pôle de Compétitivité « Solutions Communicantes Sécurisées »
ont retenu le projet Cosyc (Construction correcte de Systèmes communicants
embarqués Critiques) dans le cadre de l’appel à projet de recherche finalisé
2007 (PRIDES).
Ce projet, associant pour une durée de 30 mois :
- l’Université de la Méditerranée – Groupe
Recherche ERISCS
- ClearSy
- ARBoost Technologies
vise à démontrer la faisabilité de l’intégration de modèles
formels fonctionnels et dysfonctionnels, afin de construire des systèmes sûrs
de fonctionnement prouvés. Les travaux seront réalisés sur la base des langages
formels B et Altarica, et de leur atelier respectifs (Atelier B et Combava).
Un cas d’étude industriel en vraie grandeur (système de
contrôle/commande de portes palières de métro (Coppilot) sera
utilisé pour valider l’approche.
Pour plus de détails, voir la page de présentation du projet.
Source :
ClearSy Date : 27 juillet 2007
|
|
|
ClearSy à la Conférence SAFECOMP 2007
|
 |
ClearSy participera à la conférence Safecomp 2007 qui se tiendra du 18 au 21 septembre 2007, à Nüremberg en Allemagne. A cette occasion, ClearSy présentera le 18 septembre un atelier dédié au projet de recherche RODIN, et exposera les résultats obtenus. Pour découvrir le programme de cette journée, rendez-vous sur
le
site de la conférence : Safecomp 2007.
Source :
ClearSy Date : 16 juillet 2007
|
|
|
ClearSy au Salon SIFER 2007
|
 |
ClearSy était présente du 12 au 14 juin, au salon ferroviaire SIFER. Pour découvrir notre stand, rendez-vous sur cette page : ClearSy au Salon SIFER 2007...
Source :
ClearSy Date : 03 juillet 2007
|
|
|
Brama disponible en version béta 1
|
|
|
Brama est maintenant disponible en version beta 1 (v0.0.10). Il
est pleinement fonctionnel et disponible avec sa documentation en ligne.
Vous pouvez le découvrir à cette adresse : Brama...
La version beta 2 sera mise à disposition le 14 septembre 2007.
Une journée "B système: animation de modèles" sera organisée en
Novembre 2007.
Source :
ClearSy Date : 15 juin 2007
|
|
|
Composys, version 1.6
|
|
|
La version 1.6 de Composys, disponible sous Linux et Windows, sera
disponible fin Juin 2007, accompagnée d'une version draft de son guide
méthodologique.
Une 1/2 journée de présentation est organisée le 04/07/07 au matin à Paris.
Pour participer rendez-vous sur
cette page : Participation...
Une 1/2 journée de présentation de CompoSys 2.0 sera organisée en décembre 2007. Nous vous tiendrons prochainement au courant de son organisation.
Source :
ClearSy Date : 15 juin 2007
|
|
|
Rodin Industry Day
|
|
|
Nous avons le plaisir de vous informer que Clearsy organise la journée Rodin Industry Day 2007. La journée aura lieu à Paris, le 10 septembre 2007. Il s'agira de présenter l'état d'avancement des développement de Rodin et de ses plugins, ainsi que des exemples d'application. Pour participer et connaître le programme de cette journée, rendez-vous sur cette page : Programme et participation...
Source :
ClearSy Date : 11 juin 2007
|
|
|
Version gratuite de l'outil B4Free
|
|
|
Nous avons le plaisir de vous informer que Clearsy diffuse maintenant une version gratuite de l'outil B4free pour tous. Réservé jusqu'à maintenant au milieu académique et aux utilisateurs de l'outil industriel Atelier B, Clearsy souhaite faire bénéficier B4free à tous ceux désirant expérimenter la méthode B.
Merci de faire connaître
cette information à votre entourage. Vos retours seront les bienvenus. Site de B4Free...
Source :
ClearSy Date : 14 mai 2007
|
|
|
Prochaines conférences RODIN
|
|
|
Dans le cadre du projet RODIN, ClearSy participera aux conférences suivantes :
- un séminaire dédié aux "Méthodes, modèles et outils de la tolérance aux fautes" - qui se tiendra le 3 juillet 2007 à Oxford.
- la conférence SBMF 2007 dédiée aux "Méthodes Formelles" du 29 au 31 août 2007 à Ouro Preto, au Brésil
- "la journée industrielle RODIN" qui se déroulera le 10 septembre
2007 à Paris.
- un séminaire de "Dissémination" se déroulant le 18 septembre 2007 à Nuremberg
Source :
ClearSy Date : 26 avril 2007
|
|
|
Journées Neptune'2007
|
 |
ClearSy participera aux Journées Neptune'2007 qui se tiendront à Paris le 22 et 23 mai 2007 au Conservatoire National des Arts et Métiers. Cette manifestation sera consacrée à "l'Ingénierie Dirigée par les Modèles : Programmes nationaux et pôles de compétitivité". Découvrir
le programme - Site officiel de Neptune
[EDIT] : Découvrir notre présentation
Source :
ClearSy Date : 09 mars 2007
|
|
|
Conférence B2007
|
|
|
ClearSy a présenté les travaux de R&D qu'elle mène avec STMicroelectronics à la conférence B2007 ainsi que son outil de modélisation graphique appliqué
aux méthodes formelles B : Brama (Compte-rendu de la conférence...)
Source :
ClearSy Date : 01 février 2007
|
|
| Projet RIMEL
|
|
|
Le projet RIMEL (Raffinement Incrémental de Modèles événementiELs) a été retenu par l'Agence Nationale de la Recherche, dans le cadre de l'édition 2006 du programme "Sécurité et Informatique". Pour plus d'informations...
Source :
ANR Date : 17 novembre 2006
|
|
| Conférence Same 2005
|
|
|
ClearSy a présenté les travaux de R&D qu'elle mène avec STMicroelectronics à la conférence Same 2005
et annonce dès aujourd'hui une présentation sur ce sujet à la conférence B07
qui se tiendra du 17 au 19 janvier 2007. Plus d'informations sur la conférence Same...
Source :
ClearSy Date : 10 novembre 2006
|
|
| Collaboration avec Labsoc
|
|
|
Labsoc fait appel à nos travaux en matière de méthodologie UML-B dans le cadre de modélisation des systèmes d'exploitation.
Source :
Labsoc Date : octobre 2006
|
|
| Conférence Lamda Mu 15 |
|
|
Maîtrise des risques et Sûreté de fonctionnement. Conférence Lambda Mu 15 à Lille du 9 au 12 octobre 2006 Rencontrez Clearsy
à l'occasion de ce congrès. Découvrir la Conférence Lambda Mu 15.
Source :
ClearSy Date : septembre 2006
|
|
| Conférence AFIS 2006
|
|
|
Une présentation de Coppilot a été faite dans le cadre de la conférence AFIS 2006 (Association Française d'Ingénierie Système) à Toulouse les 2,
3, et 4 mai 2006. Télécharger les présentations.
Source : ClearSy
Date : août 2006
|
|
| AFADL'06
|
|
|
Participation de Clearsy à AFADL'06 (15, 16, 17 mars 2006). Démonstration d'un nouvel outil d'aide à la spécification de système : CompoSys. Pour découvrir Composys...
Source :
ClearSy Date : février 2006
|
|
| Mise en service des nouvelles Portes Palières |
|
|
Clearsy a développé le système sécuritaire d'ouverture et de fermeture des nouvelles façades de quai installées sur la ligne 13 station Invalides. Informations
et photos.
Source : ClearSy
Date : 22 février 2006
|
|
| Vérification de la cohérence de modèles UML - ENST PARIS
|
|
|
Présentation de Clearsy sur la vérification de Statecharts avec la méthode B.
Source :
See.asso.php Date : 24 mars 2005
|
|
| Globalplatform card specification v2.1.1
|
|
|
L'équipe EVEREST de l'INRIA a développé un modèle formel B de la spécification Globalplatform. Ce modèle est téléchargeable.
Source :
Globalplatform Date : 22 novembre 2004
|
|
|
RODIN : un projet de 3 ans
|
|
|
Le projet RODIN (développement d'une plateforme ouverte pour la conception de systèmes tolérants aux fautes) a débuté.
Ce projet de 3 ans a pour objectif de développer le nouvel environnement de spécification et de développement B.
Les partenaires industriels sont: Nokia (Finlande), VT Engine Control (UK) et Praxis (UK).
Les partenaires académiques sont: universités de Newcastle (UK), Southampton (UK), Aobo (Finlande) et ETH Zurich (Suisse).
Plus d'informations...
Source : Rodin Date : 01 septembre 2004
|
|
| B4free |
|
|
B4free, l'environnement de développement de modèles B, est mis à disposition de la communauté scientifique : B4Free.com.
Source : B4Free Date :13 février 2004
|
