SDL 2010 - 15th International Conference on System Design Languages

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 multit!

ud!
e 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:

- Abstract submission deadline
(optional ? for feedback) : 01 February, 2011

- Paper submission deadline: 14 February, 2011

- Notification of acceptance: 14 March, 2011

- Camera-ready version deadline: 04 April, 2011

- Poster and exhibit proposals: 15 May, 2011

- Conference and related events: 05-07 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