UML & AADL 2007 Call For Papers

Workshop held in conjunction with ICECCS07, the twelfth IEEE International Conference on Engineering of Complex Computer Systems, July 14 , 2007 Auckland, New Zealand

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 modeling languages such as UML and/or AADL, ACME Behaviour Modeling (concerns are described above)

  • Formal semantics, in particular, semantic integration of heterogeneous systems
  • How to enhance modeling languages and ADLs to capture real time, embedded and distributed aspects in a convenient manner
  • Notations for defining the architecture of heterogeneous systems
  • How to specify real-time requirements and characteristics in modelling languages
  • RT/E platforms modeling, integration of scheduling aspects

Defining a suitable architecture based process development

  • Provide the method and techniques to reach the required level of granularity
  • Links between architecture design and other steps design (traceability)

Methods and tools for for undertaking an MDA approach

  • Automate the model transformations
  • 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:             May 30, 2007
All Notification of acceptance:  June 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)