CSDUML@UML'04: Critical Systems Development with UML

Date view Thread view Subject view Author view Attachment view

From: Jan Ju''rjens (juerjens@in.tum.de)
Date: Sun 23 May 2004 - 16:44:39 BST

Hash: SHA1

CALL FOR PAPERS: deadline July 15

~                          3rd International Workshop on
~                          Critical Systems Development
~                                    with UML

~                                October 12, 2004

~                              in conjunction with

~                                 <<U M L>> 2004

~                              October 11-15, 2004
~                               Lisbon, Portugal

~             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/~csduml04

~    Invited speaker: Connie Heitmeyer, Naval Research Laboratory

Expert panel: "Providing tool-support for critical systems development
~               with UML: Problems and Challenges"

		Joint Workshop summary in LNCS volume

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

~     * 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 all 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

~ * Adapt UML to critical system application domains.
~ * Identify correct use of UML in the application domains.
~ * Resolve conflicts between flexibility and unambiguity in the meaning
~   of a notation.
~ * Improve 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 the third in a series of highly successful international
workshops on Critical Systems Development with UML (see
http://www4.in.tum.de/~csduml02 and http://www4.in.tum.de/~csduml03 for
the previous instances and the special section in the Springer Journal
on Software & Systems Modeling (SoSyM)).

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, ...)
and new developments (UML 2.0, MDA)

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

Aspect-oriented or Component-based Development of Critical Systems with UML

Non-functional requirements

Critical systems development methods

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

Case studies and experience reports

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


Please follow the submission instructions at
http://www4.in.tum.de/~csduml04 . 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. There will be a workshop
report jointly authored by the contributing participants of the workshop
~ which will be published in an LNCS volume on the UML satellite
workshops. 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

Doo-Hwan Bae, Korea Advanced Institute of Science and Technology
~  (KAIST), South Korea
Marko Boger, Gentleware
Eerke Boiten, Univ of Kent
Ruth Breu, University of Innsbruck
Manfred Broy, TU München
Alessandra Cavarra, University of Oxford
Betty H.C. Cheng, Michigan State University
Gregor Engels, University of Paderborn
Martin Gogolla, University of Bremen
Radu Grosu, State University of New York at Stony Brook
Holger Hermanns, University of Saarbrücken
Heinrich Hussmann, LMU München
Johan Lilius, Abo Akademi University
Ileana Ober, VERIMAG
Francesco Parisi-Presicce, Universita di Roma and George Mason
~  University
Andr'as Pataricza, Budapest University of Technology and Economics
Gianna Reggio, University of Genova
Peter Schmitt, University of Karlsruhe
Bran Selic, IBM Rational Software
RK Shyamasundar, Tata Institute of Fundamental Research, Bombay
Ketil St/olen, SINTEF ICT, Oslo
Jon Whittle, NASA Ames Research Center

... and the organizers.

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


Eduardo B. Fernandez, Florida Atlantic University
Robert France, Colorado State University
Jan Ju"rjens, TU Munich (contact: http://www4.in.tum.de/~juerjens)
Bernhard Rumpe, TU Braunschweig

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


Submission deadline:            July 15, 2004
Notification about acceptance:  Aug. 13, 2004
Camera-ready version:           Aug. 31, 2004
UML Conference:                 Oct. 11-15, 2004
Workshop:                       Oct. 12, 2004

- --
Software & Systems Engineering, TU Mu"nchen  -  tel. +49 89 289-17338
http://www4.in.tum.de/~juerjens  -  mobile +49 179 8804051

Version: GnuPG v1.0.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org


Date view Thread view Subject view Author view Attachment view