13th SDL Forum Call for Papers Design for Dependable Systems Extended deadlines ! Call for Papers in PDF Format Objectives Complexity in IT systems is growing rapidly and quality with reliability is ever more a priority. As UML is applied to real systems, the inherent ambiguity from allowed "semantic variations" in UML has raised an increasing need for profiles based on formal languages such as ITU-T Specification and Description Language. The ongoing standardization by the ITU-T of a UML profile based on the ITU-T Specification and Description Language demonstrates that need, and that is why the SDL2007 conference focuses on "Design for Dependable Systems". The SDL Forum addresses issues related to the modelling and analysis of reactive systems, distributed systems and real-time and complex systems such as telecommunications, automotive, aerospace and web-based applications. The conference programme will include: presentations from invited speakers tutorials presentation of research papers presentation of industrial experiences tool demonstrations and posters networking opportunities The intended audience includes users of modelling techniques in industrial, research and standardization contexts, as well as tool vendors and language researchers. The SDL Forum Society is accredited by ITU-T as an organization contributing to the System Design Language standards, and the timing of the 13th SDL Forum has been chosen to be an opportunity to forward issues to related ITU-T meetings scheduled for the following week.

Topics The aim of the forum is to anticipate and influence the future trends and to focus on issues that are important to its expected delegates. Authors are therefore invited to submit papers on topics related to System Design Languages including but not limited to: Design for Dependable Systems: model translation, exhaustive simulation techniques, methodology, new language constructs and semantics, profiling; evaluations of languages/notations; time, performance, security, and other non-functional aspects. Industrial application reports: Classical application areas such as telecommunication; emerging application areas such as automotive, aerospace, hardware, Web-centric; new telecommunication contexts; specification, implementation, verification and validation of real time and distributed systems. Promoting System Design Languages: Teaching, learning and describing the languages; standardization; integration of and relations between standards; methodology for the use of the languages. Integration of System Design Languages in theory and in tools: Use of models in a formal way; combined use of different System Design Languages; language and notation interoperability; integration of supporting tools. Model-driven development: Model-based systems engineering; analysis and transformation of models; reuse approaches; verification and validation of models; systematic testing based on and applied to models. Submissions Submissions should be previously unpublished, written in English, no longer than 16 pages (including the illustrations and bibliography) and using the LNCS style as described on http://www.springer.com/lncs. Submission will be done in electronic form via http://www.pragmadev.com/sdl07. Acceptable file formats for initial submission are PDF (preferred) and PostScript (compressed). The proceedings being published by Springer as a book in the well-known Lecture Notes in Computer Science (http://www.springer.com/lncs) series, which includes SDL2001, SDL2003, and SDL2005. New extended deadlines : May 15th, 2007 Paper Submission June 15th, 2007 Notifications to Authors June 30th, 2007 Final Copy from Authors September 18th to September 21st, 2007 Conference Accepted papers must be presented at the conference by one of the authors.