Free Version of Atelier B:
Version 4 of Atelier B will be free for everyone as soon as it is launched.
The preparatory version was tested internally and provided to a few volunteer users between July and September 2008.
The Beta test phase then started and lasted four months, ending at the end of January 2009.
ClearSy thereby hopes to encourage the distribution of Atelier B and the B Method, and design services to finance
development of the method and tools.
Clearsy’s new distribution policy is as follows:
DISTRIBUTION OF TOOLS:
- a new major version of Atelier B for free every two years
- compatible with WINDOWS, MAC, LINUX, SOLARIS
- interim versions for users who subscribe to a maintenance contract.
DIFFERENT TYPES OF MAINTENANCE:
- the annual maintenance contract includes: a hotline, interim updates, test versions of new tools,
participation in beta tests, examples, training materials...
- the industrial maintenance contract will cover the current and prior or specific versions of Atelier B.
SERVICES
Furthermore, Clearsy offers the following services for the B method:
- B method training : “initiation”, “software projects”, “proof”, “automatic refinement”, “system modelling
- development of system models and industrial software based on the B method
- experiments with the B method using industrial case studies (B software and B event)
- development and maintenance of specific tools (industrial translators, for example)
- adaptation of Atelier B and proof tools for new fields.
This new distribution policy is associated with a new policy for the open use of B tools and related documents (current 2008):
- progressive Open Source implementation of Atelier B tools
- Open Source implementation of the Language B reference manual
- Open Source implementation of training materials and examples
- availability of interface tools and related documents to allow for external tools to be interfaced with Atelier B.
With this policy, we particularly hope to favour the learning of the method and contribute to the development of tools and, in particular:
- improve the support materials for B and Atelier B
- translate them into different languages
- improve Atelier B interfaces, in particular the edition of models and Atelier B’s interactive proof interface
- adapt the code translation tools into different languages and perform various optimizations related to targets
- connect new academic or professional tools, such as: animators, provers, model checkers, requirement managers, project
documentation tools, test generation tools.
We hope many of you will use B.
|
