Call for papers
26th September 2004. Pisa, Italy
http://www.cs.york.ac.uk/rts/partes04/
In conjunction with the 4th International Conference on Embedded Software (EMSOFT)
27-29 September 2004. Pisa, Italy
NEWS: A selection of the best papers of the PARTES workshop will be published in an special issue of the "Science of Computer Programming" Journal published by Elsevier.
PARTES is a forum to present new ideas and current research on probabilistic techniques for the analysis of real-time systems and embedded systems. The current trend of increased size and complexity of real-time and embedded systems makes current static analysis techniques increasingly unsuitable. Systems are increasingly more difficult to predict and absolute guarantees are becoming so pessimistic that are of no use. A probabilistic analysis framework can be the right analysis tool to analyse these systems. However, real-time and embedded systems have particular features that make some standard statistical techniques not applicable. The goal of this workshop is to provide a forum for people from industry and academia to present and discuss current problems and efforts in applying probabilistic techniques to the analysis of real-time and embedded systems.
Contributions to the workshop should address probabilistic aspects of (but not restricted to) any of the following areas: execution time analysis, worst-case execution time analysis, schedulability analysis, measurement techniques, networking , testing and monitoring, scheduling algorithms, fault-tolerant systems, modelling, model fitting, petri nets, formal methods, applications of extreme value statistics and theory of copulas.
The workshop will be based on short presentations that should encourage discussion among the attendees.
People who would like to participate in this event should submit a paper by the deadline to the workshop chairpersons (see http://www.cs.york.ac.uk/rts/partes04/ for details). Submitted papers should follow the IEEE conference format and must not exceed 4 pages in length. Papers must be in submitted in PDF format. The papers will be reviewed by the workshop Program Committee. All accepted papers will be made available to all participants one week before the workshop so that contributions can be examined prior to the event.
The workshop sessions will involve relatively short presentations followed by a discussion panel. After the workshop, authors will be asked to produce, by 20 October 2004, a final version of their papers that includes the issues covered in the discussions. These final versions will be included in the workshop proceedings that will then be sent to the authors.
To foster the workshop character the number of participants will be limited to 30. There will be a small charge for workshop registration. The workshop will be held in Pisa (more details will come later). See the EMSOFT website (http://www.emsoft.org) for information on the venue.