Dear Colleague
The First International Workshop on Probabilistic Analysis Techniques
for Real-Time and Embedded Systems (PARTES 2004) will take place
from 27th to 29th September 2004, in Pisa, Italy. Interests of the
workshop
cover the application of probabilistic techniques to a range of
problems,
including worst-case and general execution time analysis, scheduling
algorithms and schedulability analysis, networking, testing and
monitoring,
fault-tolerant systems, Petri nets, formal methods, etc. Further details
are
in the attached Call for Papers given. You may also visit
http://www.emsoft.org
for more details. The deadline for submissions is 1st July. The best
papers
of the workshop are to be selected for a special issue of the Journal of
the
Science of Programming (Elsevier).
Your contributions are welcome. Please feel free to pass this message to
others
with interests in real-time systems, embedded systems, probabilistic
techniques
and related topics.
With best wishes.
Nimal Nissanke
Institute for Computing Research
Faculty of Business, Computing and Information Management
London South Bank University
103 Borough Rd
London SE1 0AA
Tel: +44 (0)20 7815 7025
Fax: +44 (0)20 7815 7499
email: [log in to unmask]
URL: www.lsbu.ac.uk/~nissanke
----------------------------------------------------------------------
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) [log in to unmask]
Alessandro Bogliolo (Universita di Urbino, Italy) [log in to unmask]
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)
|