----------------------------------------------------------------------

                           Call for papers

                             PARTES 2004
                    1st International Workshop on
PROBABILISTIC ANALYSIS TECHNIQUES FOR REAL TIME AND EMBEDDED SYSTEMS

                http://www.cs.york.ac.uk/rts/partes04/


                     In conjunction with the
       4th International Conference on Embedded Software (EMSOFT)
                     http://www.emsoft.org/

                  September 27-29, 2004 Pisa, Italy



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.


Format:

The workshop will be based on short presentations that should
encourage discussion among the attendees.

Submission of Papers

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. Important Dates

Important dates:
 Submission of papers: July 1, 2004
 Notification of acceptance: August 10, 2004
 Submission of revised papers: September 1, 2004
 Broadcast of accepted papers: September 10, 2004
 PARTES Workshop: September 26, 2004
 EMSOFT 2004: September 27-29, 2004
 Final version of papers: October 20, 2004


Workshop Chairs:
 Guillem Bernat (University of York,UK) <a href="/cgi-bin/wa-jisc.exe?LOGON=A3%3Dind04%26L%3DPROCOS%26E%3D7bit%26P%3D220527%26B%3D--------------88772E35C4AC69048A56BEF6%26T%3Dtext%252Fplain%3B%2520charset%3Dus-ascii%3B%2520name%3D%2522partes2004cfp.txt%2522%26N%3Dpartes2004cfp.txt" target="_parent" >[log in to unmask]</a>
 Alessandro Bogliolo (Universita di Urbino, Italy) <a href="/cgi-bin/wa-jisc.exe?LOGON=A3%3Dind04%26L%3DPROCOS%26E%3D7bit%26P%3D220527%26B%3D--------------88772E35C4AC69048A56BEF6%26T%3Dtext%252Fplain%3B%2520charset%3Dus-ascii%3B%2520name%3D%2522partes2004cfp.txt%2522%26N%3Dpartes2004cfp.txt" target="_parent" >[log in to unmask]</a>

Program Committee:
 Ian Broster (University of York, UK)
 Alan Burns (University of York, UK)
 Lucia Lo Bello (University of Catania, Italy)
 Jose Luis Diaz-de-Arriba (University Oviedo, Spain)
 Nimal Nissanke (South Bank University, UK)