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
