|
Atelier B 3.7.1
|
|
|
Version
3.7.1 of Atelier B is now available. It has
corrected the minor anomalies of Atelier B on the proof type and interface
verifier and compatibility with the xemacs EMACSPRI proof interface has been
improved.
The list of corrections is available : History of the Versions.
The future version 3.7.2 is currently under development and is announced for early May 2008... A new translator ComenC will be added to Atelier B. ComenC allows for B0 implementations to be translated
into C language.
Source :
ClearSy Date : 07 march 2008
|
|
|
Atelier B 3.7
|
|
|
Atelier
B 3.7 has been available since 18 July 2007 and includes many upgrades for
Atelier B's major functionalities in order to facilitate developers' tasks by
focusing on the user interface, proof and system features. Visit the Atelier B site...
Source :
ClearSy Date : 04 october 2007
|
|
|
New Version of B4Free
|
|
|
You
can now download the new version of B4Free. Among its new principal features,
this version includes a code generator to translate B implementations into C
language. This new version is also based
on the 3.7 version of Atelier B. Visit the B4Free Site...
Source :
ClearSy Date : 04 october 2007
|
|
|
ClearSy attended the SMBF 2007 Conference in Brazil
|
|
|
ClearSy
attended the SBMF 2007 Conference and presented its article: "Formal Methods in Safety-Critical Railway Systems".
We discussed the use of Method B in the process to create systems and demonstrated the use of the Rodin
platform CompoSys and Brama tools. The Brazilian UFRN university also presented
its works on modelling with Method B. Discover
the conference’s official site …
Source :
ClearSy Date : 20 september 2007
|
|
|
Cosyc
Project
|
|
|
The PACA region, OSéo
Innovation and the Pôle de Compétitivité’s “Secure Communicating Solutions” have
retained the Cosyc Project (Correct Construction of Critical Onboard
Communicating Systems) within the framework of the finalised research project
request 2007 (PRIDES).
This
project, bringing together the following for a 30 month period:
- Université de
la Méditerranée (Mediterranean University) – ERISCS
Research Group
- ClearSy
- ARBoost
Technologies
aims to
demonstrate the feasibility of the integration of functional and dysfunctional
formal models, in order to construct safe systems that are proven to work. The
work is performed on the formal B and Altarica languages, and their respective
workshops (Atelier B and Combava).
A full
scale industrial case study (control system/subway landing door controls (Coppilot) will be used to
validate the approach.
For
further details, see the project presentation page.
Source :
ClearSy Date : 27 July 2007
|
|
|
ClearSy at the SAFECOMP 2007
Conference
|
 |
ClearSy will participate in the
Safecomp 2007 conference to be held on September 18 to 21, 2007 in Nuremburg,
Germany. On this occasion, ClearSy will present a workshop on the RODIN
research project on September 18, highlighting results achieved. To discover
the program for this day, visit the conference site: Safecomp 2007.
Source: ClearSy Date: 16 July 2007
|
|
|
ClearSy at the SIFER 2007 Fair
|
 |
ClearSy was present from June 12
to 14 at the SIFER rail transport system fair. To discover our booth, visit: SIFER 2007...
Source: ClearSy Date: 03
July 2007
|
|
|
Brama available in beta 1 version
|
|
|
Brama is now available in version beta 1
(v0.0.10). It is fully functional and available with on-line documentation.
You can find out more about it at this
address: Brama...
The version beta 2 will be available on 14th September 2007.
A "system B: model animation” day will be organised in November 2007.
Source :
ClearSy Date : 15 June 2007
|
|
|
Composys, version 1.6
|
|
|
The version 1.6 of
Composys, available for Linux and Windows, will be available for the end of
June 2007, accompanied by a draft version of its methodological guide.
A ½ day presentation has been organised for the morning of the 7th July 2007 in Paris. To participate visit the following page: Participation...
A ½ day presentation of CompoSys 2.0 will be organised in December 2007. We
will inform you soon about the organisation.
Source :
ClearSy Date : 15 June 2007
|
|
|
Rodin Industry Day
|
|
|
We have the pleasure
of informing you that Clearsy are organising the Rodin Industry Day 2007. The
event will take place in Paris on the 10th
September 2007. During the day the advancements in Rodin’s
development and its plugins will be presented as will application examples. To participate and
find out more about the day’s programme visit the following page: Program and participation...
Source: ClearSy Date: 11th
June 2007
|
|
|
B4free as a free-fo-all tool
|
|
|
We are pleased to inform you that Clearsy is now diffusing B4free as a free-for-all tool. Restricted to academic users and industrial Atelier B practitioners until recently, B4free is now available for download to anyone willing to try out the B method.
We encourage you to diffuse this information to your collegues. Any feedback is welcome. Thank you for your commitment and your support. B4Free WebSite...
Source :
ClearSy Date : 14 May 2007
|
|
|
Next RODIN conferences
|
|
|
Within the
framework of the RODIN project, ClearSy will be participating in the following
conferences:
- a seminar
dedicated to "Methods, models and tools with fault tolerance" -
which will be held on 3rd July 2007 in Oxford.
- the SBMF 2007 conference dedicated to "Formal Methods"
from 29th to 31st August 2007 in Ouro Preto, Brazil
- the "RODIN Industry Day" which will be held on 10th
September 2007 in Paris.
- a seminar of "Dissemination" will be held on 18th September
2007 in Nuremberg
Source: ClearSy
Date: 26 April 2007
|
|
Neptune'2007 Conference
|
 |
ClearSy will
participate in the Neptune 2007 Days in Paris on May 22 and 23, 2007 at the
Conservatoire National des Arts et Métiers. This
event is dedicated to "Model-Driven Engineering: National and Competitive Programs". See the program - Official Neptune Site
[EDIT] : Discover our Presentation...
Source :
ClearSy Date : 9 March 2007
|
|
B2007 Conference
|
|
|
ClearSy presented the R&D it is conducting
with STMicroelectronics at the B2007 Conference, as well as its graphic modeling
tool applied to formal B methods: Brama (conference report ...)
Source:
ClearSy Date: 1 February 2007
|
|
RIMEL Project
|
|
|
The RIMEL (incremental
refinement of event models) project was selected by the Agence National de la
Recherche in the context of the 2006 edition of the "Security and Information
Technology" program. For more informations...
Source :
ANR Date : 17 November 2006
|
|
|
|
|
|
ClearSy presented the
R&D it is conducting with STMicroelectronics at the Same 2005
Conference and announces today that it will give a
presentation on this subject at the B07
Conference to be held between 17 and 19 January 2007. More informations on the Same Conferences...
Source :
ClearSy Date : 10 November 2006
|
|
Collaboration with Labsoc
|
|
|
Labsoc has selected our UML-B
methodology works in the context of operating system models.
Source :
Labsoc Date : October 2006
|
|
Lamda Mu 15 Conference
|
|
|
Controlling operational risks and safety. Lambda
Mu 15 Conference in Lille from 9 to 12 October 2005. Meet Clearsy at the conference. Discover the Lambda Mu 15 Conference...
Source : ClearSy Date : September 2006
|
|
|
AFIS 2006 Conference
|
|
|
Coppilot
was presented on the occasion of the AFIS 2006 Conference (Association of
French System Engineering) in Toulouse on May 2, 3 and 4, 2006. Download the présentations.
Source : ClearSy
Date : August 2006
|
|
|
|
|
|
Clearsy participated in AFADL'06 (March 15, 16 and
17, 2006). Demonstration of a new support tool for system specifications:
CompoSys. Discover Composys...
Source :
ClearSy Date : February 2006
|
|
|
|
|
|
Clearsy developed the security system to open and
close the new platform doors on the Invalides Line 13 station. Informations
and photos.
Source : ClearSy
Date : 22 February 2006
|
|
|
Verification of the Coherence of
the UML - ENST PARIS Models
|
|
|
Presentation by Clearsy on the
verification of Statecharts with the B Method.
Source :
See.asso.php Date : 24 March 2005
|
|
|
|
|
|
INRIA's EVEREST team developed a formal B model of
the Globalplatform specifications. You may download this model.
Source :
Globalplatform Date : 22 November 2004
|
|
|
RODIN : a three year Project
|
|
|
The RODIN project (development
of an open platform to design systems that tolerate errors) has begun.
The
objective of this three year project is to develop the new B specifications and
development environment. The industrial partners are: Nokia (Finland), VT
Engine Control (UK) and Praxis (UK).
The academic partners are: University of Newcastle (UK), University of
Southampton (UK), Aobo (Finland) and ETH Zurich (Switzerland). For more informations...
Source : Rodin Date : 01 September 2004
|
|
|
|
|
|
B4free,
the development environment for B models, is available to the scientific
community: B4Free.com.
Source : B4Free Date :13 February 2004
|
