D23 Introduction

The deliverable D23 of the DEPLOY project is split into two parts:

• The Rodin core platform and plug-ins (i.e. the DEPLOY tools).
• This document.

The Rodin platform is available from the SourceForge site ([1]). The tool documentation is provided within the Event-B wiki ([2]).

This document gives a description of the work that was carried on during the second year of the DEPLOY project (Feb 2009-Jan 2010) in the course of the WP9 Tooling research and development work package. Moreover, it summarizes the planned activities for the coming year.

More precisely, for each newly implemented feature or improvement, it is structured as follows:

• Overview. The involved partners are identified and an overview of the contribution is given.
• Motivations. The motivations for each tool extension and improvement are expressed.
• Choices / decisions. The decisions (e.g. design decisions) are justified.
• Available documentation. Some pointers to the Event-B wiki or related publications are listed.
• Planning. A timeline and the current status (as of 29 Jan 2010) is given.