D45 Scalability

From Event-B
Revision as of 14:19, 17 November 2011 by imported>Tommy (→‎Improved Performance)
Jump to navigationJump to search

Overview

Concerning Rodin's General Platform Maintenance the following contributions have been made:

  • TODO An overview of the contribution about the improved performance (Laurent Voisin, Nicolas Beauger, Thomas Muller)
  • TODO An overview of the contribution about th design pattern management / Generic Instantiation (Thai Son Hoang)
  • TODO An overview of the contribution about the edition (Thomas Muller, Ingo Weigelt)

Motivations

Improved Performance

It appeared that the various DEPLOY partners encountered several major issues while editing large models. Some were related to the core code of the Rodin platform, causing crashes, loss of data, corruption in models. Some other were related to the UI causing platform hanging, and sometimes leading to its freezing which required sometimes to kill the Rodin process, thus also leading to potential loss of data and corruption in models. Hence, it appeared necessary to solve such issues before the end of DEPLOY.

Design Pattern Management / Generic Instantiation

TODO To be completed by Thai Son Hoang

Edition

TODO To be completed by Thomas Muller, Ingo Weigelt

Choices / Decisions

Improved Performance

TODO To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller

Design Pattern Management / Generic Instantiation

TODO To be completed by Thai Son Hoang

Edition

TODO To be completed by Thomas Muller, Ingo Weigelt

Available Documentation

  • TODO Links for Improved Performance
  • TODO Links for Design Pattern Management / Generic Instantiation
  • TODO Links for Edition

Status

Improved Performance

TODO To be completed by Laurent Voisin, Nicolas Beauger, Thomas Muller

Design Pattern Management / Generic Instantiation

TODO To be completed by Thai Son Hoang

Edition

TODO To be completed by Thomas Muller, Ingo Weigelt