FWD: CSDUML 2005 - Call for Papers: short research papers and papers describing industrial experience



FWD: CSDUML 2005 - Call for Papers: short research papers and papers describing industrial experience

From: france ^lt;france@CS.ColoState.EDU>
Date: Wed 10 Aug 2005 - 02:18:24 BST
Message-ID: <430A77D6@webmail.colostate.edu>
Call for Papers to CSDUML 2005 - short research papers and papers
describing industrial experience

The 4th International Workshop on Critical Systems Development Using
Modeling Languages (CSDUML 2005)
will be held in Fredrikstad, Norway, 27 September 2005
(www.idi.ntnu.no/~sivhoumb/csduml2005.html).
The workshop is organised in conjunction with SAFECOMP 2005
(www.ife.no/safecomp2005).


IMPORTANT DATES

Paper submission            22 August 2005
Notification of acceptance  05 September 2005
Camera-ready submission     17 September 2005
Workshop                    27 September 2005


The main aim of the workshop is to gather researchers and practitioners to
discuss strategies and techniques to meet the challenges of using
modelling languages for high quality development of critical systems (for
example real-time, dependable, safety-critical or security-critical). The
workshop is organised in cooperation with the pUML (precise UML) group.
The three previous workshops, in Dresden 2002, in San Francisco 2003 and
in Lisbon 2004, focused on the modelling language UML, the Unified
Modeling Language. We have extended this focus and would like to invite
the submission of papers related to research and industrial experience
related to both UML and other modelling languages, such as Petri Nets
(PN), SDL, etc.


Motivation

High quality development of critical systems (for example real-time,
dependable, safety-critical or security-critical) is difficult. In many
cases correctness is in conflict with cost. Where formalised methods of
system design pose high cost through personnel training and use, they are
all too often avoided. Modelling languages offer an unprecedented
opportunity for high quality development of critical systems that is
feasible in an industrial context. Modelling offers a variety of rigor
from informal to precise. Along with the tools available for analysis,
testing, simulation and transformation, these languages are well fitted
for every-day development of systems in an industrial setting.

We welcome both short papers describing research results and papers
reporting from industrial experience on the use of modelling languages in
the development of critical systems. Papers should be submitted as
portable document format (pdf) or postscript (ps), with a maximum of 8
pages using the Springer LNCS format. Accepted papers will be included in
the workshop proceedings and published as a technical report of TU Munich.
We plan to submit a proposal to the Software and System Modeling (SoSyM) 
journal to publish revised and extended versions of the best papers in a
special section (this goes for both papers reporting on
industrial experience and papers describing research results).


Topics includes, but are not restricted to:

Application of modelling languages to
·real-time systems
·dependable systems
·safety-critical systems
·security-critical systems
·performance-critical systems
·embedded systems
·hybrid systems
·reactive systems


With particular emphasise on
·extensions of modelling languages (such as UML) for critical systems
development
·modelling, synthesis, model transformation, code generation, testing,
validation and verification of critical systems using modelling languages
·model-driven architecture (MDA) and model-driven  development (MDD)
·aspect-oriented or component-based development of critical systems
·case studies or experience reports on critical systems development methods


Submission of paper - 22 August 2005

Deadline for paper submission is Monday 22 August 2005.  We welcome both
short papers describing research results and papers describing experience
from the industry. Papers can be a maximum of 8 pages, preferable in the
Springer LNCS format. Please submit papers to sivhoumb(at)idi.ntnu.no with
the subject SHORT PAPER SUBMISSION CSDUML 2005,
CATEGORY=<<Experience/Research>>.


Workshop organisers
Dr. Jan Jürjens, TU Munich, Germany
Siv Hilde Houmb, NTNU, Norway
Dr. Robert France, CSU, USA
Received on Wed Aug 10 02:19:00 2005