CALL FOR PARTICIPATION: Early registration deadline: Upcoming sunday !
CALL FOR TOOLS
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
------------------------------------------------------------------------
NEW: * PRELIMINARY PROGRAM
NEW: * TOOLS SESSION
* Motivation
* Topics
* Submission
* Program committee
* Organizers
* Dates
------------------------------------------------------------------------
PRELIMINARY PROGRAM (subject to change, please refer to the workshop
web-page)
Opening
Session: Critical Systems Design with UML
09.00 An Approach to Designing Safety Critical Systems using the Unified
Modelling Language
R. Hawkins, I. Toyn, I. Bate (The University of York)
09.30 An Experiment in Applying UML 2.0 to the Development of an
Industrial Critical Application
S. Cigoli (PARVIS Systems and Services s.r.l), P. Leblanc
(Telelogic France), S. Malaponti (PARVIS), D. Mandrioli, M.
Mazzucchelli, A. Morzenti (Politecnico di Milano)
10.00 Creating security mechanism aspect models from abstract security
aspect models
G. Georg, R. France, I. Ray (Colorado State University)
10.30 Coffee Break and Poster Session
Session: UML as a Formal Design Notation
11.00 Exploring UML development through unification.
E. Boiten, M. Bujorianu (University of Kent)
11.30 Automated Formal Verification of Model Transformations
D. Varro, A. Pataricza, Budapest University of Technology and
Economics
12.00 Assert, Negate and Refinement in UML-2 Interactions
H. Stoerrle (Universitaet Muenchen)
12.30 Lunch and Poster Session
14.00 Bran Selic: The Use of Modeling Techniques in Safety-Critical
System Design (invited talk)
15.00 Discussion
15.30 Coffee Break and Poster Session
16.00 Panel (R. France, H. Hussmann, B. Selic and others):
"What's wrong with UML for critical systems design ?"
17.00 Tool Session:
SEE CALL BELOW
17.30 Closing
19.00 Dinner (and organization kickoff for CSDUML'04)
The contributed talks are 20 min. each, with 10 min. discussion.
Posters:
- Towards a UML Profile for Model-based Risk Assessment of
Security Critical Systems
S. Houmb, K. Hansen, Norwegian University of Science and
Technology
- Predicting Software Performance Based on UML Models during the
Unified Software Development Process
Zhongfu Xu (University of the Federal Armed Forces Munich),
J. Luethi (FHS KufsteinTirol), A. Lehmann (University of the
Federal Armed Forces Munich)
- A Dual Language Approach to the Development of Time-Critical
L. Lavazza, A. Morzenti (Politecnico di Milano), S. Morasca
(Università degli Studi dell’Insubria)
- A Study of New Approaches to Evaluate Real-Time Software
Architectures for Safety-Critical Systems
A. Kornecki (Embry-Riddle Aeronautical University), B. Sanden
(Colorado Technical University), J. Zalewski (Florida Gulf
Coast University)
- Actions as Activities and Activities as Petri nets
J. Barros (Instituto Politecnico de Beja), L. Gomes
(Universidade Nova de Lisboa)
------------------------------------------------------------------------
CALL FOR TOOLS (NEW)
There will be an informal tools session at the workshop. The aim is to
allow developers of tools supporting critical systems development with
UML to demonstrate their tools, exchange ideas, and discuss problems.
To be included in the proceedings, please send a one-page abstract
describing the tool to be presented to [log in to unmask] by 29 Sept.
After that date, please inquire with [log in to unmask] whether a
presentation is still possible.
------------------------------------------------------------------------
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
------------------------------------------------------------------------
Program committee
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
--
Jan Ju"rjens, Software & Systems Engineering, TU Munich
http://www4.in.tum.de/~juerjens - tel. +49 179 8804051
|