[pUML] UML&AADL'2007 : CALL FOR PAPERS



[pUML] UML&AADL'2007 : CALL FOR PAPERS

From: Isabelle Perseil <isabelle.perseil_at_enst.fr>
Date: Tue, 20 Feb 2007 22:06:46 +0100
Message-ID: <45DB62E6.5000708@enst.fr>
************************************************************************
*                    CALL FOR PAPERS :  UML&AADL’2007                  *
*                   http://aadl.enst.fr/UMLandAADL2007.html            *
*                                                                      *
*              Workshop held in conjunction with ICECCS07              *
*             The twelfth IEEE International Conference on             *
*                Engineering of Complex Computer Systems               *
*                                                                      *
*                                                                      *
*        https://www.cs.auckland.ac.nz/iceccs07/index.php/ICECCS07     *
*                                                                      *
*                           July 14 , 2007                             *
*                       Auckland, New Zealand                          *
*                                                                      *
************************************************************************

                    Submission deadline: March 30, 2007
                    -------------------------------------


The first OMG sponsored “UML & AADL“ workshop was held in ENST Paris
(Telecom Paris) last year. The workshop was focused on embedded
real-time software intensive systems that are usually found in the
avionic, vehicular control and aerospace fields.

The workshop had clearly a main concern which was to determine what
architectural levels would be better described with UML as opposed to
AADL and vice versa, how to use these two standardised languages
together (integrating them using an MDA approach, e.g.: TOPCASED).

Now that the AADL standard is completed with a behaviour annex proposal
which enables a description of the functional aspect of components,
other concerns have naturally stood out, e.g.:

• How to better formalize the design
• How to specify functional and non functional properties of AADL
   components
• How to ensure predictability with a prior checking of certain
   properties
• Verification upon the system model given by AADL
• Which parts of the MARTE UML profile can be incorporated into an AADL
   PSM without over-complicating the language
• How to maintain the non-functional properties and aspects of the
   design throughout the whole software engineering process


Topics:
======

New real-time systems have increasingly complex architectures because of
the intricacy of the multiple interdependent features they have to
manage. They must meet new requirements of reusability,
interoperability, flexibility and portability. These new dimensions
favour the use of an architecture description language that offers a
global vision of the system, and which is particularly suited to handle
real-time characteristics.

Due to the even more increased complexity of distributed, real-time and
embedded systems (DRE), the need for a model-driven approach is more
obvious in this domain then in centralized RT systems. The purpose of
this workshop is to provide an opportunity to gather researchers and
industrial practitioners to survey existing efforts related to behaviour
modelling and model-based analysis of DRE systems.

An understanding of the semantics of the modelling notations is
necessary in order to carry out exchange of models for interoperability
and/or analysis. Other important issues in the domain of real-time are
methodology and modelling paradigms to reduce complexity, and tools
which are able to verify well-designed systems.

This workshop seeks contributions from researchers and practitioners
interested in all aspects of the representation, analysis, and
implementation of DRE behaviour and/or architecture models. To achieve
this purpose, we solicit short papers (about 4 pages long) as well as
full papers (not more than 20 pages) related to, but not limited to, the
following principal topics:

- Modeling RT/E using modelling languages such as UML and/or
   AADL, ACME…
     o Behaviour Modeling (concerns are described above)
     o Formal semantics, in particular, semantic integration of
       heterogeneous systems
     o How to enhance modelling languages and ADLs to capture real time,
       embedded and distributed aspects in a convenient manner
     o Notations for defining the architecture of heterogeneous systems
     o How to specify real-time requirements and characteristics in
       modelling languages
     o RT/E platforms modeling, integration of scheduling aspects
- Defining a suitable architecture based process development
     o Provide the method and techniques to reach the required level of
       granularity
     o Links between architecture design and other steps design
       (traceability)
- Methods and tools for for undertaking an MDA approach
     o Automate the model transformations
     o Specify the behavioural aspects through formal notations

Workshop Format
===============
This full-day workshop will consist of an introduction of the topic by
the workshop organizers, presentations of accepted papers, and in depth
discussion of previously identified subjects emerging from the
submissions. A summary of the discussions will be made available.

Submission and Publication
==========================
To contribute, please send a position paper or a technical paper to
agusti[dot]canals[at]c-s[dot]fr with “ICECCS07 UML&AADL Workshop” in the
title. Position papers should not exceed 5 pages, and technical papers
10 pages. Submitted manuscripts should be in English and formatted in
the style of the IEEE Computer Society Proceedings Format. Preferably,
submissions should be in PDF format.

Workshop proceedings will be distributed to all participants and made
available through the workshop website.

The seven best papers and a workshop overview will
be published in the IEEE Computer Society Press Proceedings.

Additionally, all selected papers will be availables in an “IEEE Xplore
Digital Library File Cabinet”.

IMPORTANT DATES
===============
Submission deadline:             March 30, 2007
Best papers camera-ready to IEEE April 8, 2007
All Notification of acceptance:  April 15, 2007
Workshop date :                  July 14, 2007


Organizers
==========
Agusti Canals (CS, France)
Sébastien Gérard (CEA-LIST, France)
Isabelle Perseil (ENST, France)


Programme Committee:
Yamine Ait Ameur (LISI / ENSMA, France)
Jean-Paul Bodeveix(IRIT, France)
Agusti Canals (CS, France)
David Chemouil (CNES, France)
Mamoun Filali(IRIT, France)
Robert France (Colorado State University, USA)
Sébastien Gérard (CEA-LIST, France)
Irfan Hamid (ENST, France)
Jerome Hugues (ENST, France)
Dominique Mery (LORIA, France)
Thierry Millan (IRIT, France)
Richard Paige (University of York, United Kingdom)
Oleg Sokolsky (University of Pennsylvania, USA)
Thomas Vergnaud (CNES, France)
François Vernadat (CNRS-LAAS, France)
Sergio Yovine (CNRS-Verimag, France)
André Windisch (EADS Military Aircraft, Germany)



------------------------------------------------------------------------
Isabelle PERSEIL | tel : (+33) (0)6 10 75 52 84
ENST-INFRES      |
46 rue Barrault  | http://www.infres.enst.fr/~perseil/
75013 PARIS      | e-mail: isabelle.perseil@enst.fr
------------------------------------------------------------------------
Received on Tue 20 Feb 2007 - 21:06:50 GMT