Difference between pages "D45 Scalability" and "DEPLOY Plenary Workshop 2009"

From Event-B
(Difference between pages)
Jump to navigationJump to search
imported>Tommy
 
imported>Felix-loesch
 
Line 1: Line 1:
−
= Overview =
+
{{TOCright}}
−
* '''Improved Performance''' According to the refocus mentionned in the [[D45_General_Platform_Maintenance#Motivations| General Platform Maintenance]] chapter, much of the reworking efforts performed on the core plateform basically aimed to overcome Rodin scalability weaknesses, and the continuous need of seamless proving experience. The whole performance was enhanced by core implementation and user interface refactorings. Improvements made to the proving experience will be detailed in a separate chapter.
 
−
* {{TODO}} An overview of the contribution about the design pattern management / Generic Instantiation (Thai Son Hoang)
 
−
* '''Edition''' It appeard during the 2 last years of DEPLOY, the models becoming industrial sized from the level of complexity reached by the pilots, that the edition became a central concern.
 
  
−
= Motivations =
+
= DEPLOY Plenary Technical Workshop October 21-23 2009 =
  
−
== Improved Performance ==
+
== Call for Papers ==
−
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  ==
+
The second DEPLOY annual plenary meeting will be held this year from 21st to 23rd of October in Aix-en-Provence, France. The main difference with respect to the past meeting will be in a significant amount of time dedicated to technical presentations of conference-like papers.  We invite all the academic and industrial partners to submit papers about the work they carried out inside the DEPLOY project.
−
{{TODO}} ''To be completed by Thai Son Hoang''
 
−
== Edition ==
 
−
{{TODO}} ''To be completed by Thomas Muller, Ingo Weigelt''
 
  
−
= Choices / Decisions =
+
We expect to have submissions belonging to the following categories and we will give to any of these a space proportional to the number of papers received:
−
== Improved Performance ==
 
−
SYSTEREL lead a two phase investigation to have a better idea of the work to be done. Each phase being followed by some refactoring of the code. Out of the early investigation, a cause and effect relationship has been found between perfomance loss and the various reported bugs, such as "platform hanging" bugs or even "no more handle" bugs related to the high consumption of graphical elements on Windows platforms. Indeed, it appeared that solving the performance issues sometimes solved induced bugs as well which made the scalability improvement tasks emcompass the maintenance goals.<br>
 
−
Later, a deeper investigation was performed, to indentify and tackle the remaining performance issues. Profiling and code review were the two techniques used. The profiling strategy allowed to get a better localisation of the performance loss in both UI and core code while the code review helped to understand the intrinsic misuses or drawbacks of particular components and/or architectures.
 
−
A good example, was the Event-B built-in editor based on form editors with a high use of greedy graphical components. Such architecture appeard to be weak when it was needed to display industrial size models. This affected the modelling experience with some long, and really annoying to the user, reaction lags. To solve such issue, it has been chosen to refactor the editors using a textual representation which was a light-weight graphical alternative to lower the number of needed components.
 
  
−
== Design Pattern Management / Generic Instantiation  ==
+
# '''Full Original Papers (FOP):''' these works have to be never submitted before to any other workshop/conference/journal but they have to be about ideas that have passed their seminal form. We suggest these papers to be contained in 12 pages LNCS format.
−
{{TODO}} ''To be completed by Thai Son Hoang''
+
# '''Full Published Papers (FPP):''' these papers can have already been published in any workshop/conference proceedings or journal but the authors intend to submit them again for educative or promotional purposes inside the DEPLOY community. Copyright is not an issue since the work will not be formally published and the presentation will remain internal to the project. We suggest these papers to be contained in 15 pages LNCS format.
−
== Edition ==
+
# '''Short Abstract Papers (SAP):''' these papers present unpublished ideas that are still in their seminal form and want to be presented by the authors to receive feedback before going on with proper full papers. We expect these papers to be presented in a known/unknown form with a number of open questions for discussion. We suggest these papers to be contained in 6 pages LNCS format.
−
{{TODO}} ''To be completed by Thomas Muller, Ingo Weigelt''
+
# '''Tool Demo Papers (TDP):''' these papers present works done on tools. A demo is thus expected. We suggest these papers to be contained in 6 pages LNCS format.
  
−
= Available Documentation =
 
−
* {{TODO}} Links for Improved Performance
 
−
* {{TODO}} Links for Design Pattern Management / Generic Instantiation
 
−
* {{TODO}} Links for Edition
 
  
−
= Status =
+
Submissions will be through the EasyChair conference system. Details will be
−
== Improved Performance ==
+
announced later.  
−
The refactoring made on both core code and UI code allowed to gain up to 25 times speed-up on the UI, and almost a 2 times speed-up in the core code, making the platform usable in an industrial sized context.<br>
 
  
−
== Design Pattern Management / Generic Instantiation  ==
+
All the submitted papers will be peer reviewed by the committee
−
{{TODO}} ''To be completed by Thai Son Hoang''
+
members and a team of co-reviewers. Each paper will be reviewed by three different
−
== Edition ==
+
people.
−
{{TODO}} ''To be completed by Thomas Muller, Ingo Weigelt''
 
  
−
[[Category:D45 Deliverable]]
+
After the notification of acceptance, the authors will be asked regarding
 +
whether they want to have the paper published on the DEPLOY website or not.
 +
Papers with specific copyright or confidentiality constraints will not be published.
 +
 
 +
 
 +
== Important Dates ==
 +
 
 +
* 11th September 2009: Submission of papers
 +
* 30th September 2009: Notification of acceptance
 +
* 21st-23th October 2009: DEPLOY Plenary Technical Workshop in Aix-en-Provence
 +
 
 +
 
 +
== Organizing Committe  ==
 +
 
 +
* Manuel Mazzara - University of Newcastle, UK
 +
* Felix Lösch - Robert Bosch GmbH, Germany
 +
* Michael Jastram -  Heinrich-Heine-Universität Düsseldorf, Germany
 +
* Linas Laibinis - Åbo Akademi University, Finland
 +
 
 +
 
 +
== Call for Reviewers ==
 +
 
 +
An internal event like the DEPLOY annual plenary meeting is an excellent opportunity for aspiring researchers to get actively involved in the review process. We are seeking scholars interested in serving on our volunteer Editorial Review Board. We are happy to accept Ph.D. students and post docs to complement our more experienced reviewers.
 +
 
 +
The papers to be reviewed will be available after 11/09/09, and the reviews must be completed by 30/09/09.

Revision as of 11:52, 28 July 2009

DEPLOY Plenary Technical Workshop October 21-23 2009

Call for Papers

The second DEPLOY annual plenary meeting will be held this year from 21st to 23rd of October in Aix-en-Provence, France. The main difference with respect to the past meeting will be in a significant amount of time dedicated to technical presentations of conference-like papers. We invite all the academic and industrial partners to submit papers about the work they carried out inside the DEPLOY project.

We expect to have submissions belonging to the following categories and we will give to any of these a space proportional to the number of papers received:

  1. Full Original Papers (FOP): these works have to be never submitted before to any other workshop/conference/journal but they have to be about ideas that have passed their seminal form. We suggest these papers to be contained in 12 pages LNCS format.
  2. Full Published Papers (FPP): these papers can have already been published in any workshop/conference proceedings or journal but the authors intend to submit them again for educative or promotional purposes inside the DEPLOY community. Copyright is not an issue since the work will not be formally published and the presentation will remain internal to the project. We suggest these papers to be contained in 15 pages LNCS format.
  3. Short Abstract Papers (SAP): these papers present unpublished ideas that are still in their seminal form and want to be presented by the authors to receive feedback before going on with proper full papers. We expect these papers to be presented in a known/unknown form with a number of open questions for discussion. We suggest these papers to be contained in 6 pages LNCS format.
  4. Tool Demo Papers (TDP): these papers present works done on tools. A demo is thus expected. We suggest these papers to be contained in 6 pages LNCS format.


Submissions will be through the EasyChair conference system. Details will be announced later.

All the submitted papers will be peer reviewed by the committee members and a team of co-reviewers. Each paper will be reviewed by three different people.

After the notification of acceptance, the authors will be asked regarding whether they want to have the paper published on the DEPLOY website or not. Papers with specific copyright or confidentiality constraints will not be published.


Important Dates

  • 11th September 2009: Submission of papers
  • 30th September 2009: Notification of acceptance
  • 21st-23th October 2009: DEPLOY Plenary Technical Workshop in Aix-en-Provence


Organizing Committe

  • Manuel Mazzara - University of Newcastle, UK
  • Felix Lösch - Robert Bosch GmbH, Germany
  • Michael Jastram - Heinrich-Heine-Universität Düsseldorf, Germany
  • Linas Laibinis - Åbo Akademi University, Finland


Call for Reviewers

An internal event like the DEPLOY annual plenary meeting is an excellent opportunity for aspiring researchers to get actively involved in the review process. We are seeking scholars interested in serving on our volunteer Editorial Review Board. We are happy to accept Ph.D. students and post docs to complement our more experienced reviewers.

The papers to be reviewed will be available after 11/09/09, and the reviews must be completed by 30/09/09.

Retrieved from ‘https://wiki.event-b.org/index.php?title=D45_Scalability&oldid=3381’