Subject: SDL-News: Call for Papers : 16th International System Design Languages Forum - SDL 2013 (Model-driven dependability engineering)
From: Rick Reed (rickreed#tseng.co.uk)
Date: Fri Nov 16 2012 - 11:13:36 GMT
From: <Abdelouahed.Gherbi#etsmtl.ca> (forwarded by rickreed#tseng.co.uk)
Call for Papers SDL 2013
16th International System Design Languages Forum
Model-driven dependability engineering
June 26-28, 2013
Montreal, Canada
http://sdl-forum.org/Events/SDL16.htm
The SDL Forum is held every 2 years and is one of the most important open events in the calendar for anyone from industry and academia involved in System Design Languages and modelling technologies. It is a primary conferencefor 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 modelling, specification, and analysis of distributed systems, embedded systems, communication systems, and real-time systems are addressed.
The SDL Forum Society that runs the Forum is a non-profit organization established by language users and tool providers to promote the 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.
Objectives
We have come to depend heavily on software systems in virtually every sector of human activity, including telecommunications, aerospace, automotive, process automation, and this trend is further increasing. These software systems are increasingly complex because of ever growing demands for functionalities, features and improved user experience. The specification, design, validation, configuration, deployment and maintenance of such systems are accordingly complex tasks, to which the dependability requirements add yet another dimension. The dependability of software systems, which is a multi-attribute quality that includes reliability, availability and security, needs to be taken into account in the development process so that they meet thetarget requirements. Model-driven dependability engineering aims at developing dependable systems following the model driven paradigm.
Topics
The aim of the forum is to anticipate and influence 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:
Dependability (availability and reliability) engineering, approaches and standards: model based approaches for dependability, dependability analysis models and evaluation, open middleware services for dependability, implementations and compliance to availability standards, design and validation of configurations, design and validation of upgrade campaigns, standard-based highly-available applications and case studies, tool support for highly-available application development, deployment and management.
Industrial application reports: industrial usage reports, standardization activities, tool support and frameworks, domain-specific applicability (such as telecommunications, aerospace, automotive, control, etc.). Such reports should focus on what is effective (and ineffective) in applying a technique preferably backed up by some measurements. A report should not just describe an implementation, though new application areas are of interest.
System engineering models: semantics of system models, refinement of system designs into hardware/software implementations, integration ofsystem and software design models, non-functional aspects (such as performance, quality of service, real-time aspects, security, etc.) in system models, multi-core models.
Model-driven development: analysis and transformation of models, reuse approaches, verification and validation of models, systematic testing based on and applied to models.
Evolution of development languages: domain-specific language profiles especially for dependability, modular language design, language extensions, semantics and evaluation, methodology for application.
The conference programme will include:
* Presentations from invited speakers
* Tutorials
* Presentation of research papers
* Presentation of industrial experiences
* Tool demonstrations and posters
* Networking opportunities
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 on http://www.springer.com/lncs. Papers accepted o=
r under review for other events are ineligible for submission to SDL2013.
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, using http://www.easychair.org/conferences/?conf=3Dsdl2013 is mandatory. 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 SDL2013 by one of the authors. As in previous editions, the SDL2013 proceedings will be published in the Springer LNCS series (subject to approval by Springer).
Important Dates (tentative)
Authors should submit an abstract as soon as possible.
Abstract submission: February 15th, 2013
Paper submission deadline: February 22nd, 2013
Notification of acceptance: March 22nd, 2013
Camera-ready version deadline: April 02nd, 2013
Poster and exhibit proposals: May 15th, 2013
SDL Forum: June 26th - 28th, 2=013
Organization
Organization Chairs
Abdelouahed Gherbi Ecole de Technologie Superieure, Canada
Ferhat Khendek Concordia University, Canada
Maria Toeroe Ericsson, Canada
Members
Reinhard Gotzhein Chairman of SDL Forum Society
Martin von Loewis Treasurer of SDL Forum Society
Rick Reed Non-voting member of SDL Forum Society Board
Conference Co-Chairs
Abdelouahed Gherbi Ecole de Technologie Superieure, Canada
Ferhat Khendek Concordia University, Canada
Maria Toeroe Ericsson, Canada
Reinhard Gotzhein University of Kaiserslautern, Germany
(Chairman of SDL Forum Society)
Programme Committee
Amyot, Daniel University of Ottawa, Canada
Braek, Rolv NTNU, Norway
Brocks, Reinhard HTW Saarland, Germany
Bruel, Jean-Michel University of Toulouse, France
Doldi, Laurent Aeroconseil, France
Fonseca i Casas, Pau UPC, Spain
Fryer, John SAForum and OpenSAF, USA
Gaudin, Emmanuel PragmaDev, France
Gherbi, Abdelouahed Ecole de technologie superieure, Canada
Gotzhein, Reinhard University of Kaiserslautern,Germany
Grabowski, Jens University of Goettingen, Germany
Graubmann, Peter Siemens, Germany
Haugen, Oystein SINTEF, Norway
Helouet, Loic INRIA Rennes, France
Herrmann, Peter NTNU, Norway
Khendek, Ferhat Concordia University, Canada
Kim, Tae-Hyong KIT, Korea
Kristoffersen, Finn Cinderella, Denmark
Le Traon, Yves Luxembourg University, Luxembourg
Liu, Yan Concordia University
Majzik, Istvan, Budapest University of Tech. and Economics, Hungary
Medve, Anna University of Pannonia, Hungary
Merino Gomez, Pedro University of Malaga, Spain
Moller-Pedersen, Birger Oslo University, Norway
Monkevich, Os Sympatico, Canada
Mussbacher, Gunter Carleton University, Canada
Najm, Elie ENST, France
Ober, Ileana University of Toulouse, France
Ober, Iulian University of Toulouse, France
Pataricza , Andras Budapest University of Tech. and Economics, Hungary
Penkler, Dave HP, France
Petriu, Dorina Carlton University, Canada
Poncela Gonzalez, Javier Malaga University, Spain
Prinz, Andreas Agder University College, Norway
Reed, Rick TSE, UK
Rioux, Laurent Thales, France
Rodriguez-Cayetano, Manuel Valladolid University, Spain
Sanders, Richard SINTEF, Norway
Sarma, Amardeo NEC, Germany
Selic, Bran IBM Rational, Canada
Sherratt, Edel University of Wales, UK
Tam, Francis City University of Hong Kong, China
Troeger, Peter Potsdam University, Germany
Toeroe, Maria Ericsson, Canada
von Loewis, Martin Beuth University of Applied Sciences, Germany
Weigert, Thomas University of Missouri-Rolla, USA
--
This archive was generated by hypermail 2a23 : Thu May 09 2013 - 16:05:51 GMT