[aadl]: CfP for UML&AADL 2012 workshop

[Jérôme Hugues]

Dear all,

Please find attached the call for papers for the UML&AADL 2012 workshop, to be held in Paris on July 18th

---------------------------------------------------------------------------------------------------------------------------------------------------


**********************************************************************
                    CALL FOR PAPERS:  UML&AADL'2012
            http://www.iceccs.org/2012/-Workshops-2,209-.html

                Workshop held in conjunction with ICECCS 2012
               The seventeenth IEEE International Conference on
                   Engineering of Complex Computer Systems
                        http://www.iceccs.org/2012
                              July 18th, 2011
                               Paris, France

************************************************************************

              Submission deadline: February 15th, 2012
              ----------------------------------------



Topics
======

Distributed  real-time embedded systems (DRE) or Cyber-Physical systems (CPS) combine many challenges to meet requirements for reusability, interoperability, flexibility or dependability. The use of architecture description language helps building a global vision of the system to simulate, validate, verify or simply assess its functional and non functional properties.

The 7th workshop on UML&DDL seeks contributions from researchers and practitioners interested in all aspects of the representation, analysis, and implementation of DRE or CPS systems behavior and/or architecture models. We solicit papers (6 pages long, IEEE-CS format) related to, but not limited to, the following principal topics:

• Advances in modeling notations: MARTE, SysML, AADL, EAST-ADL, ...; and their associated tool support
• Modeling languages interoperability to form integrated process, e.g. combining MARTE and SysML, AADL and MARTE, third-party tools
• Definition of context-centric extensions, e.g. for avionics domain, or to meet particular analysis requirements (dependability, safety, security, ...)
• Automated System Engineering and System Composition through formalized association rules
• Model-based methodologies and multi-domain modeling
• Model-based engineering Process with the SAE AADL or OMG standards (UML, CCM, DDS ...)
• Architectural analysis domain methods
• Real-time Software/System development issues
• Integration of multiple domains of architectural analysis
• Model transformation and generative approaches
• Model Checking or Proof-based design of architecture specifications
• ADLs behavioral models simulation, Scheduling analysis and Worst-case  execution time prediction
• Assuring implementation correctness to architectural specification and analysis
• Experiments reports on tool chains facilitating architecture centric development

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 via
easychair at:
http://www.easychair.org/conferences/?conf=umlaadl2012

Papers should not exceed 6 pages. Submitted manuscripts should be in
English and formatted in the style of the IEEE Computer Society
Proceedings Format.
(ftp://pubftp.computer.org/press/outgoing/proceedings/instruct.doc)
Preferably, submissions should be in PDF format.

Slides will be made available through the workshop website.

All selected papers will be published in the IEEE Computer Society Press
Proceedings.

IMPORTANT DATES
===============
Submission deadline:             February 15th, 2012
All Notification of acceptance:  March    30th, 2012
Final version due:               April    15th, 2012
Workshop date:                   July     18th, 2012


Organizational sponsors
=======================
IEEE France
OMG

Organizers and Program Steering committee
=========================================

Etienne Borde (Telecom Paristech, France)
Sébastien Gérard (CEA-LIST, France)
Jérôme Hugues (ISAE, France)
Laurent Pautet (Telecom Paristech, France)
Isabelle Perseil (INSERM, France)
Thomas Robert (Telecom Paristech, France)

Program Chairs
==============

Jérôme Hugues (ISAE, France)
Isabelle Perseil (INSERM, France)

Publicity Chair
===============
Sun Meng (Peking University, China)

IEEE CS TCCX Coordinator
========================
Mike Hinchey (Lero, Ireland)

Programme Committee
===================
Marc Aiguier (École Centrale Paris, MAS, France)
Yamine Ait Ameur (IRIT, France)
Keijiro Araki (Kyushu University, Japan)
Etienne Borde (Telecom Paristech, France)
Radu Calinescu (University of Oxford, UK)
Daniela Cancila (CEA LIST, France - Sherpa Engineering, France)
Julien Delange (ESA, Netherlands)
Juan Antonio de la Puente (Universidad Politécnica de Madrid, Spain)
Pierre Dissaux (Ellidiss Technologies, France)
Vincent Englebert (University of Namur, Belgium)
Jean-Marie Farines (UFSC Florianópolis, Brazil)
Sandra C. P. Ferraz Fabbri (Federal University of São Carlos, Brazil)
Emmanuel Gaudin (PragmaDev, France)
Sébastien Gérard (CEA-LIST, France)
Mark Grechanik (University of Illinois, USA)
Jörgen Hansson (Linköping University, Sweden)
Jozef Hooman (Embedded Systems Institute, The Netherlands)
Espinoza Huascar (ESI Tecnalia, Spain)
Jérôme Hugues (ISAE, France)
Johan Lilius (Åbo Akademi University, Finland)
Ricardo J. Machado (University of Minho, Portugal)
Julio Medina (University of Cantabria, Spain)
Sun Meng (Peking University, China)
Thierry Millan (IRIT, France)
Henry Muccini (University of L'Aquila, Italy)
Ileana Ober (IRIT - University of Toulouse, France)
Laurent Pautet (Telecom ParisTech, France)
Alek Radjenovic (University of York, United Kingdom)
José Raúl Romero Salguero (Universidad de Córdoba, Spain)
Douglas C. Schmidt (Vanderbild University, USA)
Françoise Simonot Lion (LORIA, France)
Frank Singhoff (University of Brest, France)
Jörn Guy Süß ( University of Queensland, Australia)
Jing Sun (University of Auckland, New Zealand)
Jun Suzuki (University of Massachusetts, USA)
Bedir Tekinerdoğan (Bilkent University, Turkey)
Martin Törngren (KTH, Sweden)
Stefan Van Baelen (K.U.Leuven, Belgium)
Tullio Vardanega (University of Padua, Italy)
François Vernadat (CNRS-LAAS, France)
Thomas Vergnaud (THALES, France)
Eugenio Villar (Universidad de Cantabria, Spain)
Tim Weilkiens (oose GmbH, Germany)
Sergio Yovine (CNRS-Verimag, France / Universidad de Buenos Aires)
Bechir Zalila (University of Sfax, Tunisia)


--
Jérôme Hugues, ISAE/DMIA
Jerome.HUGUES at isae.fr - (+33) 5 61 33 91 84

-------------- next part --------------
A non-text attachment was scrubbed...
Name: Hugues J?r?me.vcf
Type: text/directory
Size: 437 bytes
Desc: not available
Url : http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20111204/dbdf5960/attachment.bin 
-------------- next part --------------