5th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2006)  
in conjunction with MoDELS/UML 2006, October 1-6
Genova, Italy



New deadline                          28 July 2006
Paper submission                     21 July 2006
Notification of acceptance        14 Aug 2006
Camera-ready submission          1 Sept 2006

Workshop date:        1 Oct 2006 (Sunday)

New! Workshop presentations
The 2 best papers from the workshop will be published in the MoDLES’06 workshop proceedings in the LNCS series by Springer.

Workshop Organizers  
Siv H. Houmb,
Telenor R&D, Norway
Geri Georg,
Colorado State University, USA
Jan Jürjens,
TU Munich, Germany
Robert France,
Colorado State University, USA
Dorina C. Petriu,
Carleton University, Canada
Program Committee
Jan Ø. Aagedal, Norway
James Bieman, USA
Alessandra Cavarra, UK
Betty Cheng, USA
Jürgen Doser, Germany
Gregor Engels, Germany
Sudipto Ghosh, USA
Martin Gogolla, Germany
Bjørn Axel Gran, Norway
Peter Herrmann, Germany
Mike Hinchey, USA
Heinrick Hußmann, Germany
Raffaela Mirandola, Italy
Ileana Ober, France
András Pataricza, Hungary
Dorina C. Petriu, Canada
Indrakshi Ray, USA
Judith Rossebø, Norway
Ketil Stølen, Norway
Atoosa P.J. Thunem, Norway
Wolfgang Theilmann, Germany
Jon Whittle, USA
Rune Winther, Norway
Steffen Zschaler, Germany

Download the Call for Papers

The main aim of the workshop is to gather researchers and practitioners and discuss strategies and techniques to meet the challenges of using modeling languages for high quality development of critical systems, such as real-time, dependable, safety-critical or security-critical, and techniques for expressing, evaluating and predicting non-functional properties of such systems.

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 formalized methods of system design pose high cost through personnel training and use, they are all too often avoided. Modeling languages offer an unprecedented opportunity for high quality development of critical systems that is feasible in an industrial context. Modeling 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. Also, the ability of component-based software engineering to address non-functional properties has emerged as an important paradigm for handling complexity. The workshop therefore also address issues related to the integration of non-functional property expression, evaluation, and prediction in secure system development. This includes semantic issues, questions of modeling language definition, support for automation, MDA-based approaches, and tool-support. Furthermore, special attention has to be given to the context and operational environment under which secure systems are deployed, as this might heavily influence various non-functional properties. As models are only really meaningful if used in the context of a software development process, we also welcome work in this area.

The three first CSDUML workshops, in Dresden 2002, in San Francisco 2003 and in Lisbon 2004, focused on the use of UML for critical system development. In last year’s workshop, which was organized in cooperation with SAFECOMP 2005 in Fredrikstad, the focus was extended to include research and industrial experience related to all types of modeling languages, such as UML, Petri Nets (PN), SDL, etc.

We welcome both full and short papers describing research results and experience papers reporting on results from relevant industrial experience on the development of critical systems. Papers should be submitted in Springer LNCS format and be a maximum of 15 pages for full papers and a 10 pages for experience papers and short research papers. Accepted papers will be published as a technical report by TU  München (TUM) as done for previous CSDUML workshops. Accepted papers will also be published as a research report by Telenor Research & Development  (ISSN and ISBN number). An improved and revised version of the two best papers from the workshop will also be published in a MoDELS’06 workshop proceedings in the LNCS series by Springer. In addition, extended and improved versions of selected papers will be considered for a special issue of SoSym, the Springer Journal on Software and Systems Modelling.

Topics include, but are not restricted to

Application of modeling languages to development of critical systems (real-time, reactive, interactive, embedded, and hybrid systems) with required properties such as dependability, safety, security, and performance:
  • extensions of modelling languages 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
Development process:
  • MDD and Risk Driven processes and techniques to support secure systems development
  • processes for engineering of non-functional properties in MDD
General modelling topics:
  • reuse of models and patterns for non-functional properties
  • AOM composition techniques in secure systems development 
  • AOM misuse composition and verification in Risk Driven Development (RDD) and secure systems development
  • analysis and verification of composed models in AOM
  • composition of non-functional properties
  • identification and analysis of conflicts between non-functional properties
  • dynamic management and monitoring of non-functional properties
  • modelling languages (both textual and graphical) suitable for expressing non-functional properties
Tools and experience reports:
  • case studies or experience reports on critical systems development methods
  • modelling, analysis and verification tool-support for AOM 
  • experience on AOM and non-functional properties composition
  • modelling and analysis tool support for component-based software and its non-functional properties
  • experience reports on the incorporation of non-functional requirements into component-based and model-based development