CSDUML@UML'03: Extension of deadline 3 Aug



Date view Thread view Subject view Author view Attachment view

From: Jan Jurjens (juerjens@in.tum.de)
Date: Mon 28 Jul 2003 - 10:42:12 BST


EXTENSION OF DEADLINE: Due to numerous requests, the deadline is
extended until 3 Aug. Please submit title and abstract now.


                                           Workshop on
                                  Critical Systems Development
                                            with UML

                                        October 21, 2003

                                      in conjunction with

                                         <<U M L>> 2003

                                     October 20 - 24, 2003
                                       San Francisco, USA

                     In cooperation with the pUML (precise UML) group and
           the GI working group on Formal Methods and Software
Engineering for
                                 Safety and Security (FoMSESS)

                                http://www4.in.tum.de/~csduml03

                          Invited speaker: Bran Selic, IBM / Rational

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

             * Motivation
             * Topics
             * Submission
             * Program committee
             * Organizers
             * Dates


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

Motivation

The high quality development of critical systems (be it real-time,
security-critical, dependable/safety-critical, performance-critical, or
hybrid systems) is difficult. Many critical systems are developed,
deployed, and used that do not satisfy their criticality requirements,
sometimes with spectacular failures.

Part of the difficulty of critical systems development is that
correctness is often in conflict with cost. Where thorough methods of
system design pose high cost through personnel training and use, they
are oall too often avoided.

UML offers an unprecedented opportunity for high-quality critical
systems development that is feasible in an industrial context.

             * As the de-facto standard in industrial modeling, a large
number of
               developers is trained in UML.
             * Compared to previous notations with a user community of
comparable
               size, UML is relatively precisely defined.
             * A number of analysis, testing, simulation, transformation and
other
               tools are developed to assist the every-day work using UML.
             * The Object Constraint Language OCL as part of the UML offers
many
               ways to sharpen diagrammatic UML descriptions.

To exploit this opportunity, some challenges remain which include the
following:

             * Adapt UML to critical system application domains.
             * Correct use of UML in the application domains.
             * Conflict between flexibility and unambiguity in the meaning
of a
               notation.
             * Improving tool-support for critical systems development
with UML
               (in particular: identification of a fragment of UML that
can be
               used with formal tools).

The workshop aims to gather practitioners and researchers to contribute
to overcoming these challenges.

History

The workshop is a sequel of the highly successful CSDUML'02 workshop at
UML'02 (a special issue of the SoSyM journal is currently in preparation
- see the corresponding call for papers at http://www4.in.tum.de/~csduml02).

Intended audience

Researchers and practitioners in critical systems development interested
in using UML (in particular for real-time, security-critical,
dependable/safety-critical, performance-critical, or hybrid systems).

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

Topics

Topics include:

Applications of UML to

             * real-time systems
             * security-critical systems
             * dependable / safety-critical systems
             * performance-critical systems
             * embedded systems
             * hybrid systems
             * reactive systems

Extensions of UML (UML-RT, UMLsec, Automotive UML, Embedded UML, ...)

Using UML as a formal design technique for the development of critical
systems

Critical systems development methods

Modeling, synthesis, code generation, testing, validation, and
verification of critical systems using UML

Case studies and experience reports

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

Submission

Please follow the submission instructions at
http://www4.in.tum.de/~csduml03. The program committee will review the
submissions and select papers that present relevant and interesting
ideas that can contribute to the discussions that will take place in the
workshop.

Accepted papers will be included in the workshop proceedings to be
published as a technical report of TU Munich. Additionally, it is
expected that there will again be a special section of the journal for
Software and Systems Modeling (SoSyM) based on selected papers of the
workshop.

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

Program committee (to be completed)

Joao Araújo, Universidade Nova de Lisboa
David Basin, ETH Zurich
Marko Boger, Gentleware
Ruth Breu, University of Innsbruck
Manfred Broy, TU Munich
Gregor Engels, University of Paderborn
Martin Gogolla, University of Bremen
Radu Grosu, State University of New York at Stony Brook
Polar Humenn, Adiron LLC and Syracuse University
Heinrich Hußmann, LMU Munich
Ingolf Krüger, UCSD
Richard Paige, University of York
Noël Plouzeau, IRISA-INRIA Rennes
Gianna Reggio, University of Genova
Andy Schürr, TU Darmstadt
Bran Selic, Rational
Ketil Stolen, SINTEF Norway
Jon Whittle, NASA Ames Research Center

... and the organizers.

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

Organizers

Eduardo B. Fernandez, Florida Atlantic University
Robert France, Colorado State University
Jan Jürjens, TU Munich (contact: http://www4.in.tum.de/~juerjens)
Bernhard Rumpe, IRISA-INRIA Rennes / TU Munich

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

Dates

Submission deadline:            Aug. 3, 2003
Notification about acceptance:  Sep. 1, 2003
Camera-ready version:           Sep. 13, 2003
UML Conference:                 Oct. 20.- 24., 2003
Workshop:                       Oct. 21, 2003


-- 
Jan Ju"rjens, Software & Systems Engineering
Department of Informatics, TU Munich
http://www4.in.tum.de/~juerjens  -  tel. +49 179 8804051

Date view Thread view Subject view Author view Attachment view