Date view Thread view Subject view Author view Attachment view

From: Jan Jurjens (
Date: Fri 11 Jul 2003 - 09:40:49 BST


                                          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)


                         Invited speaker: Bran Selic, IBM / Rational


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



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
              size, UML is relatively precisely defined.
            * A number of analysis, testing, simulation, transformation and
              tools are developed to assist the every-day work using UML.
            * The Object Constraint Language OCL as part of the UML offers
              ways to sharpen diagrammatic UML descriptions.

To exploit this opportunity, some challenges remain which include the

            * 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
            * 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.


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

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 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

Critical systems development methods

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

Case studies and experience reports



Please follow the submission instructions at 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

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


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.



Eduardo B. Fernandez, Florida Atlantic University
Robert France, Colorado State University
Jan Jürjens, TU Munich (contact:
Bernhard Rumpe, IRISA-INRIA Rennes / TU Munich



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  -  tel. +49 179 8804051

Date view Thread view Subject view Author view Attachment view