ADVANCE D3.3 General Platform Maintenance

From Event-B
Revision as of 14:41, 14 August 2013 by imported>Nicolas (→‎Overview: Started overview)
Jump to navigationJump to search

This part concerns the general maintenance performed on the Rodin toolset within the second year of the ADVANCE project. As the maintenance is a task that concerns the whole toolset, and to ease the reading of this part of the deliverable, the maintenance section has been decomposed in a list of subsections corresponding to scopes of the toolset. All these subsections maintain the template previously defined in the introduction.

Core Rodin platform

Overview

The Rodin platform versions concerned by this deliverable are:

  • 2.7 (released on 2012-11-05),
  • 2.8 (released on 2013-06-20),
  • 3.0 (TODO: ?).

During this second period of the ADVANCE project, the core developments have been focused on stability and design improvement. As the platform has grown in complexity, internal architecture needed adjustments in order to remain maintainable. The number of external plug-ins has increased too, rising need for core API improvements.

TODO

Motivations / Decisions

TODO

Available Documentation

TODO

Planning

TODO

UML-B Improvements

Overview

TODO

Motivations / Decisions

TODO

Available Documentation

TODO

Planning

TODO

Code generation

Overview

TODO

Motivations / Decisions

TODO

Available Documentation

TODO

Planning

TODO

ProR

Overview

TODO

Motivations / Decisions

TODO

Available Documentation

TODO

Planning

TODO

Camille

Overview

TODO

Motivations / Decisions

TODO

Available Documentation

TODO

Planning

TODO

References