-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
UPDATE: Due to numerous requests for extensions of deadline and an
apparent server overload at the original deadline, papers can still be
submitted. Please contact http://www4.in.tum.de/~juerjens for details.
UPDATE: Invited speaker: Connie Heitmeyer, Naval Research Laboratory
UPDATE: Expert panel "Providing tool-support for critical systems
development
~ with UML: Problems and Challenges"
CALL FOR PAPERS:
~ 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"
- - ------------------------------------------------------------------------
~ * 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 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
following:
~ * 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.
History
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
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
systems
Case studies and experience reports
- - ------------------------------------------------------------------------
Submission
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
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
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.
- - ------------------------------------------------------------------------
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
- - ------------------------------------------------------------------------
Dates
Submission deadline: July 15, 2004 (EXTENDED, contact
http://www4.in.tum.de/~juerjens for details)
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
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iD8DBQFA+3wEhISmLyQq8B8RAvn/AKCpNPSbb2O4HY5f/DGvT9p3KtrsKQCglr6X
RctVDuxfUyaM3EcMaKYvEyo=
=xtQH
-----END PGP SIGNATURE-----
|