Integration of Model-based Methods and Tools

The
object of this workshop is to share recent research efforts on
model-based methods and tools related to the B method. B is a
model-based formal method widely used in both academia and industry for
the specification and verification of hardware and software systems.

Much effort has been devoted to the industrialisation of the B method. For example, both the recently completed EU-funded Rodin project and its current successor Deploy have involved a range of academic and industrial partners from across the European Union. Complex industrial systems are typically composed of many components which may be more or less well specified and verified using various formal methods.

The B method encourages a system-engineering approach that can be applied not only at the beginning of project but also at subsequent development stages. On the other hand developers may prefer to use different methods at different levels. Thus a significant challenge is how to integrate other formal methods, especially those based on the use of models, with the B method. Another important concern for such developers must be the availability of efficient tools that can support these formal methods.
This workshop is therefore specifically devoted to the integration of B with other model-based methods, techniques and tools.

We anticipate a rich exchange of ideas and discussions at this event. In order to have a solid foundation on which the discussions will be based and to keep them focused, each participant will be required to submit either a paper describing ongoing work or position paper describing an open issue, likely solutions, drawbacks of current integration around B, or alternative solutions to recognised issues or problems with model-based methods integration.

Papers must be written in English and must not exceed 15 pages.
LNCS-style templates are available at
<www.springer.com/computer/lncs?SGWID=0-164-7-72376-0>

Papers must be submitted by 12 December 2008 by email with an abstract in plain text and the paper itself as a PDF attachment,
to yamine@ensma.fr and christian.attiogbe@univ-nantes.fr with the subject "IM_FMT submission".

All accepted papers should be presented during the 1-day workshop.
Each 25-minute presentation will be followed by a 10-minute discussion.

A special issue of the International Journal on Software Tools for Technology Transfer (STTT) is planned, in which extended versions of selected workshop papers will appear.