* Conference proceedings postponed until after the event*
* New call for papers deadline May 2nd, 2011 !*

For a number of logistic reasons, including overlap with the SAM 2010 LNCS proceedings, the SDL2011 programme committee decided to to postpone the publication of the LNCS SDL2011 proceedings until after the event - around September 2011. To be fair to everyone, the call for papers is reopened with a new date May 2nd. Please find below the revised call for papers.



15th International Conference on System Design Languages of the SDL Forum Society
"Integrating system and software modeling"

5-7 July, 2011

University of Toulouse, France
Institut de Recherche en Informatique de Toulouse (IRIT)
http://www.irit.fr/sdl2011


The SDL Forum is held every 2 years and is one of the most important open events in the calendar for anyone from academia or industry involved in System Design Languages and modeling technologies. It is a primary conference for discussion of the evolution and use of these languages. The most recent innovations, trends, experiences and concerns in the field are discussed and presented. System and software modeling, specification, and analysis of distributed systems, embedded systems, communication systems, and real-time systems are addressed. The 15th SDL Forum will be held during the second week of July 2011 at the University of Toulouse, France.

The SDL Forum Society that runs the Forum is a non-profit organization established by language users and tool providers to promote the ITU-T Specification and Description Language (SDL), Message Sequence Charts (MSC) and related System Design Languages (including but not limited to UML, ASN.1, TTCN, SysML and URN), to provide and disseminate information on the development and use of the languages, to support education on the languages and to plan and organize the "SDL Forum" series and events to promote the languages. The SDL Forum Society is accredited by ITU-T as an organization contributing to the System Design Language standards.


Objectives:

After an impressive growth in the use of modeling and model-driven engineering in software design, the last few years have seen this trend extending to system engineering. The motivation is that many actors in the industry, working on complex, distributed, embedded systems, identify the software crisis to be often rooted in a system crisis. The formalization of system engineering models and approaches is considered to be one of the major factors for further gains in productivity, quality and time-to-market for such complex systems. Although an ancient discipline, system engineering is currently renewing at high speed, driven forward by the maturation of model-driven approaches and by new standards such as OMG’s Systems Modeling Language (SysML), or various architecture description languages (ADLs). As a consequence, any contemporary, complete development process usually integrates a multitude of types of models, and necessitates their coherence to be handled so that multitude of tool “bridges” can be used.

In this context, there are many issues that remain to be tackled by the language and modeling community, such as the semantics of system models, the refinement of system designs into hardware/software implementations, or the integration of system and software design models. Papers on these topics are particularly welcome at SDL2011.

The conference program will include:
- keynotes by invited speakers
- tutorials
- presentation of research papers
- presentation of industrial experiences
- tool demonstrations and posters
- networking opportunities

The intended audience includes users of system and software modeling techniques in industrial, research and standardization contexts, as well as tool vendors and language researchers.


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 the following non-exclusive list of topics:

- System engineering models: semantics of system models, refinement of system designs into hardware/software implementations, integration of system and software design models, non-functional aspects (such as performance, quality of service, real-time aspects, security, etc.) in system models;

- Model-driven development: analysis and transformation of models, reuse approaches, verification and validation of models, systematic testing based on and applied to models;

- Industrial application reports: industrial usage and experience reports, applying methods, tool engineering and frameworks, domain-specific applicability (such as aerospace, automotive, telecommunication, control, networking);

- Evolution of development tools and languages: domain-specific profiles and extensions, modular language design, semantics and evaluation, methodology for application, standardization activities;

- Modeling in multi-core and parallel applications: experience reports, overview of modeling approaches targeting specifically multi-core and parallel architectures, the use of modeling in high-performance computing, etc.

- Education and Promotion of System Design Languages: Teaching design languages, methodology for the use of design languages, etc..

Papers with an industry perspective are particularly encouraged. An important aspect for such papers is the effectiveness of the languages, tools and methods used, particularly if measurements can be quoted and/or there is a comparison with previous similar work. If measurements are not available, another factor is what features (or lack of features) of languages, tools or methods produce a significant benefit (or difficulty). A paper that mainly describes the design or development of a product is unlikely to be accepted, unless the application is a new and interesting domain for the use of the languages or tools or methods. The Program Committee therefore strongly suggests that the authors of application papers submit an abstract in advance of the submission deadline, so that feedback can be provided, which may include suggesting collaborative authors to make the paper more useful to others.


Submission policy:

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 in ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/instruct/authors/typeinst.pdf. It is intended to publish papers in the LaTeX format that is preferred for LNCS, therefore authors are encouraged to adopt this format as soon as possible. Other formats are acceptable at the submission stage.

Submissions in the following categories are solicited:

- Full papers describing original, unpublished results (max. 16 pages in LNCS style)
- Short papers, describing work in progress (max. 8 pages in LNCS style)
- Posters and exhibits (submit poster and/or 400 word abstract)

Important: Electronic submission in PDF format is mandatory.
To submit a paper, visit: http://edas.info/newPaper.php?c=9793 .
Please refer to the conference homepage for more information.

The SDL Forum Program Committee will evaluate the technical contribution of each submission as well as its accessibility to the audience. Papers will be judged on significance, originality, substance, correctness, and clarity.

Accepted papers must be presented at SDL2011 by one of the authors. As in previous editions, the SDL2011 proceedings will be published in the Springer LNCS series.


Important Dates:


- Paper submission deadline: 02 May, 2011
- Notification of acceptance: 16 May, 2011
- Pre-event version deadline: 01 June, 2011
- Poster and exhibit proposals: 15 May, 2011
- Conference and related events: 05-07 July, 2011
- Final version for LNCS: around 21st July, 2011



Organizers:

Ileana Ober IRIT, University of Toulouse (co-chair)
Iulian Ober IRIT, University of Toulouse (co-chair)
Rick Reed SDL Forum Society
Reinhard Gotzhein Secretary SDL Forum Society
Martin von Löwis Treasurer SDL Forum Society

Program Committee:

Daniel Amyot University of Ottawa, Canada
Attile Bilgic Ruhr-University of Bochum, Germany
Marius Bozga Verimag - University of Grenoble, France
Rolv Braek NTNU, Norway
Reinhard Brocks HTW Saarland, Germany
Jean-Michel Bruel IRIT - University of Toulouse, France
Laurent Doldi Aeroconseil, France
Anders Ek IBM Rational, Sweden
Stein-Erik Ellevseth ABB Corporate Research, Norway
Joachim Fischer Humboldt University of Berlin, Germany
Pau Fonseca i Casas University of Catalonia, Spain
Emmanuel Gaudin PragmaDev, France
Birgit Geppert Avaya Labs, USA
Abdelouahed Gherbi University of Quebec, Canada
Reinhard Gotzhein University of Kaiserslautern, Germany
Jens Grabowski University of Göttingen, Germany
Peter Graubmann Siemens, Germany
Øysten Haugen SINTEF, Norway
Loïc Hélouët INRIA Rennes, France
Peter Herrmann NTNU, Norway
Dieter Hogrefe University of Göttingen, Germany
Michalea Huhn TU Braunschweig, Germany
Clive Jervis Motorola, USA
Ferhat Khendek Concordia University, Canada
Tae-Hyong Kim KIT, Korea
Hartmut König BTU Cottbus, Germany
Alexander Kraas T-Mobile, Germany
Frank Kraemer NTNU, Norway
Finn Kristoffersen Cinderella APs, Denmark
Thomas Kuhn Fraunhofer IESE, Germany
Yves Le Traon Luxembourg University, Luxembourg
Philippe Leblanc IBM, France
Martin von Löwis University of Postdam, Germany
David Lugato CEA CESTA, France
Zoubir Mammeri IRIT - University of Toulouse
Anna Medve University of Pannonia, Hungary
Pedro Merino Gómez University of Malaga, Spain
Tommi Mikkonen Tampere University, Finland
Birger Møller-Pedersen University of Oslo, Norway
Ostap Monkewich OMCI, Canada
Gunter Mussbacher University of Ottawa, Canada
Elie Najm ENST, France
Ileana Ober IRIT - University of Toulouse, France (Co-Chair)
Iulian Ober IRIT - University of Toulouse, France (Co-Chair)
Javier Poncela Gonzáles University of Malaga, Spain
Andreas Prinz Agder University College, Norway
Rick Reed TSE, UK
Laurent Rioux Thales, France
Manuel Rodriguez-Cayetano University of Valladolid, Spain
Nicolas Rouquette NASA JPL, USA
Richard Sanders SINTEF, Norway
Amardeo Sarma NEC, Germany
Ina Schieferdecker TU Berlin/Fraunhofer FOKUS, Germany
Bran Selic Malina Software, Canada
Edel Sherratt University of Wales, UK
Thomas Weigert University of Missouri-Rolla, USA
Frank Weil Uniquesoft, USA
Edith Werner University of Göttingen, Germany