DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B

Call for Papers

Aims and Scope

Event-B is a formal method for the system level modelling and analysis of dependable applications. It is supported by an open and extendable Eclipse-based toolset called Rodin, which has been developed in a series of European projects (notably DEPLOY). A significant recent rise in interest in these methods and tools has now led to a shaping of a broad community of users, developers, researchers and educators

This workshop aims to bring this community together to discuss new and emerging issues in applying and advancing both the Event-B method and the Rodin platform as well as address challenges that industrial takers are facing while deploying them.

One of the aims of this workshop is to expand the community of researchers and practitioners working with Event-B/Rodin. This will be achieved in two ways: by addressing general scientific challenges and by providing information valuable for the newcomers. In doing this the workshop will complement the ongoing series of informal Rodin workshops focusing on the technical exchange between Rodin users and developers.

The organisers are particularly interested in submissions from industrial partners from Asia.

Submission Types

All submissions must be original, unpublished, and cannot be simultaneously submitted for publication elsewhere. Papers of the following types are solicited:

• Research papers focusing on advanced and novel theories, methodologies, or mechanisms
• Tool papers focusing on useful and practical tools, their integration and interoperability
• Experience papers with a focus on deployment, evaluation and lessons learned

Submissions must consist of no more than 10 pages for Research papers and 6 pages for Tool/Experience papers in the LNCS format (including all the materials).

Topics

Topics include, but not limited to:

• Theoretical foundations: refinement, decomposition, verification and proofs
• Engineering methods: modelling strategy, refinement strategy, integration with other methods, reuse
• Applications: practical use, case studies, use for critical systems, use for emerging computing paradigms
• Education: teaching and training, positioning in SE or FM education

Publication

The proceedings will be published as a technical report of Newcastle University (UK). the proceedings will also be made available online in ACM Computing Research Repository (CORR) before the workshop.

Submission Details

Detailed instruction on the paper format and the submission procedure is found on this page.