[om-a] [SVERTS @ UML 2004]: CFP extended deadline

[etaps02 VERIMAG]

[Apologies in case you receive multiple copies of this message.]

                        *** Call for Contributions ***
                    *** New Deadline: August 30, 2004 ***

                                SVERTS 2004
                        SECOND INTERNATIONAL WORKSHOP ON
SPECIFICATION AND VALIDATION OF UML MODELS FOR REAL TIME AND EMBEDDED SYSTEMS
               October 11, 2004, Lisbon, Portugal

                http://www-verimag.imag.fr/EVENTS/2004/SVERTS/

                          hold in conjunction with the
    7TH INTERNATIONAL CONFERENCE ON THE UNIFIED MODELING LANGUAGE, UML 2004
            October 11 - 15, 2004, Lisbon, Portugal
                         http://www.umlconference.org/



Today's applications have often strong constraints with respect
to time related aspects. UML aims at providing an integrated
modelling framework encompassing architecture descriptions and
behaviour descriptions. A first step to the integration of time
related characteristics into the modelling framework has been
achieved by the "UML profile for schedulability, Time and
Performance". It provides the basic concepts and a first attempt
for a common syntax. Nevertheless, in order to be able to
exchange models and to build validation tools, it is important to
have a common understanding of the semantics of the given
notations. Other important issues in the domain of real-time is
methodology and modeling paradigms allowing to break down the
complexity, and tools which are able to verify well designed
systems. This workshop should bring together participants from
academia and industry to discuss different time related issues in
the context of modeling and design of real-time systems. The
workshop aims to discuss the needs and possible solutions for
handling time, scheduling and architecture related issues which
should help to define a work program in this field.

TOPICS
The workshop topics include:
  - Modeling RT using UML
    o How to specify real-time requirements and characteristics in UML
    o How to enhance UML to capture real time in a convenient manner
    o Declarative versus operational real-time specifications
    o Notations for defining the architecture of heterogeneous systems
  - Semantic aspects of real-time in UML
    o Formal semantics, in particular, semantic integration of heterogeneous systems
    o Interpretations of annotations
  - Methods and tools for the validation of RT systems and components
    o Ensure consistency of timing constraints throughout the system
    o Validation of time and scheduling related properties
    o Validation of functional properties of time dependent systems

WORKSHOP FORMAT This full-day workshop will consist of an
introduction of the topic by the workshop organizers, an invited
presentation (to be determined), presentations of accepted
papers, and in depth discussion of previously identified subjects
emerging from the submissions (the form of the discussion will
depend on the number and nature of the identified subjects). A
summary of the discussion will be made available a LNCS published
workshop report.

INVITED SPEAKER <to be announced later>

SUBMISSION & PUBLICATION To contribute, please send a position
paper or a technical contribution to Susanne.Graf at imag.fr or
Ileana.Ober at imag.fr via e-mail. Position papers should not exceed
5 pages, and technical papers 20 pages. Preferably, submissions
should be in postscript or pdf format. Accepted submissions will
be placed on the Workshop web site. Furthermore, they will be
considered for publication in a suitable technical journal
following an agreement with an interested publisher (a selection
of the SVERT 2003 paper will appear as a special section of
Sprionger's STTT journal).

IMPORTANT DATES
Submission deadlines:          August 30, 2004
Notification of acceptance:    September 10, 2004
Workshop date:                 October 11, 2004

ORGANIZERS
Susanne Graf           (Verimag, France)
Øystein Haugen         (University of Oslo, Norway)
Ileana Ober            (Verimag, France)
Bran Selic             (IBM, Canada)

PROGRAMME COMMITTEE
Felice Balarin - Berkeley, USA
Bruce Douglass - I-Logix
Sébastien Gérard - CEA-LIST, France
Susanne Graf - Verimag, France
Øystein Haugen - University of Oslo, Norway
David Harel  - Weizmann Institute, Israel
Jozef Hooman - Univ. Nijmegen
Ileana Ober - Verimag, France
Birger Møller-Pedersen - Univ of Oslo, Norway
Robert G. Pettit - The Aerospace Corporation, USA
Gianna Reggio - University of Genova, Italy
Alan Moore - Artisan, UK
Ina Schieferdecker - Fraunhofer Fokus
Bran Selic - IBM, Canada
Yves Sorel - INRIA, France
Thomas Weigert - Motorola, Chicago

 ----------- 
you received this e-mail via the address
               om-announce at lars.math.fsu.edu
--
om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems