Call for Papers for The 5th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2006) IMPORTANT DATES Paper submission July 21, 2006 Notification of acceptance August 14, 2006 Camera-ready submission September 1, 2006 Workshop October 1, 2006 (Sunday) 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. 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 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 years 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 includes, 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 Deadline for paper submission is July 21, 2006. Please submit papers to: siv-hilde.houmb(at)telenor.com with the subject . Program Committee: 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 Jan Ø. Aagedal, Norway Workshop organisers: Siv Hilde Houmb, NTNU, Norway, Geri Georg, CSU, USA Jan Jürjens, TU Munich, Germany, Robert France, CSU, USA Dorina C. Petriu, Carleton University, Canada Please see the workshop website for details: http://www.cs.colostate.edu/csduml2006/