5th International
Workshop on Critical Systems Development Using Modeling Languages (CSDUML
2006) http://www.cs.colostate.edu/csduml2006 in conjunction with MoDELS/UML 2006, October 1-6 Genova, Italy http://www.modelsconference.org/ IMPORTANT DATES 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) 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 |
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 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:
|