CFP UML'03 Satellite on Critical System Development with UML



Date view Thread view Subject view Author view Attachment view

From: Jan Jurjens (juerjens@in.tum.de)
Date: Sat 12 Jul 2003 - 08:17:52 BST


2nd CALL FOR PAPERS

                                    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:            July 26, 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