Home -
News -
Products -
Versions -
Download -
Manuals
- Maintenance -
Distribution Policy -
Roadmap & Contribution -
Support -
Training -
Documents -
Press -
References -
R&D - Contacts -
Jobs -
Links -
Your Account
Atelier B News
|
Atelier B 4.0.1 is available for maintenance holders
|
We are pleased to inform you that Atelier B 4.0.1 is available for download.
It is exclusively reserved for maintenance holders, and is accessible via their respective accounts on the Atelier B Website on this page: Atelier B Account.
This new version is available on Linux, Windows, Mac and Solaris. Several Atelier B 4.0 bugs are fixed. Details are available at : Bug Status. |
|
|
Smart Event 2009 - Forcoment Project Presentation, developed with Atelier B
|
Marc Benveniste (STMicroelectronics) presented at the Smart Event 2009, an article entitled "A Proved "Correct by Construction" Memory Protection Unit", in relation with the Forcoment Project, developed in collaboration with ClearSy and its B tool, Atelier B. His presentation, addressed more specifically :
- The memory protection unit (MPU) used in the new ST23 family of product
- Main design steps followed to achieve the development of code
- Comparison with the code for the same macro-cell developed in a traditional flow.
Discover SMART EVENT 2009 Web Site |
|
|
ProB can be used from Atelier B 4.0
|
| ProB can be used from Atelier B4.0 to prove and animate B model software and events thanks to the extension mecanism which allows for Atelier B to be connected to other tools. From Version 1.3.0, ProB generates the parameters files, allowing it to interface with Atelier B. |
|
|
Status Report about Traductions
|
Many of you have answered us in order to participate in the translation of manuals dedicated to Atelier B: thank you.
Here is a status report on our work:
- The Bart specification document, which describes the refinement rule language for the Bart automatic refinement tool has been translated into English thanks to the help of Aryldo G. Russo Jr., and is now available in wiki format.
- The mathematical rule writing manual has been translated into English thanks to the help of David Deharbe and Anderson Santana de Oliveira.It is available in pdfand wiki format.
- The translation of the B language user manual into English has started and should be finished by the summer of 2009.
If you would like to help us with translations, please contact us at the following address: open-source@clearsy.com.
To synchronize efforts and avoid overlaps, please send us an e-mail when you plan to start the translation. |
|
|
Atelier B 4.0 is available !
|
ClearSy has the pleasure to announce the release of Atelier B 4.0. This version comes with a brand new mode of distribution :
Among the main improvements of the tool :
- New supported operating systems: Mac OS X and Windows (in addition to Linux and Solaris)
- New graphical interface including:
- the integration of the parallelisor (tasks are distributed over networked computers)
- a redesigned proof interface
- o an editor with navigation and automatic completion
- Integration of the well-definedness proof obligations
- Addition of an automatic refiner tool (BART)
Download Atelier B. |
|
|
Atelier B 4.0 is available in beta test 2
|
After 2 months testing the beta 1, here today Atelier B 4.0 beta 2. We wish to thank all contributors who helped us to improve this version.
We thank in advance all the users who contribute to the improvement of this new version.
To contact us and send your comments and suggestions, contact us at: contact@atelierb.eu.
More informations about Atelier B 4.0 beta... |
|
|
Atelier B 4.0 is available in beta test
|
ClearSy make it available to users for get feedback on this version. We thank in advance all the users who contribute to the improvement of this new version.
To contact us and send your comments and suggestions, contact us at: contact@atelierb.eu.
More informations about Atelier B 4.0 beta... |
|
|
Atelier B 4.0 Screenshots
|
While waiting for the release of Atelier B 4.0, here a few sneak preview screenshots of our application on the Windows, Linux and Mac Operating Systems (OS)...
|
|
|
Atelier B 4.0
|
The alpha version of the Atelier B 4.0 has been distributed to a small number of users in order to gather comments and opinions concerning the tool.
Atelier B 4.0 will be available to all users in beta version in the course of september 2008.
We will keep you posted on the evolutions of the version 4.0 of Atelier B until its final release to the general public. |
|
|
ClearSy provides students and researchers with a license to use the Atelier B industrial tool.
|
| Until recently, students and researchers could use Atelier B installed on work stations in schools and universities. One-year licenses will now be distributed to students and researches so they can use the software on their own PC. |
|
|
|
